Anglais ⇄ Russe Ukrainien +

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