Английский ⇄ Русский Украинский +

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