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

two-valued predicate calculus ударения
лог.	двузначное исчисление предикатов; классическое исчисление предикатов
мат.	двузначное исчисление предикатов (классическое)