Anglais ⇄ Russe Ukrainien +

propositional inference
informat.	ви́сновок m; одержаний засобами пропозиційного рахунку (числення висловів, висловлювань, речень); пропозиці́йний ви́сновок