ПРОПОЗИЦИОННЫЙ ВЫВОД Русско-английский перевод ПРОПОЗИЦИОННЫЙ ВЫВОД матем. propositional inference Большой Русско-Английский словарь. New big Russian-English dictionary. 2012