Angielski ⇄ Rosyjski Ukraiński +

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