英语 ⇄ 俄语 +

two-valued predicate calculus 强调
数学	двузначное исчисление предикатов (классическое)
逻辑	двузначное исчисление предикатов; классическое исчисление предикатов