Angielski ⇄ Rosyjski Ukraiński +

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