אנגלית ⇄ רוסית +

two-valued predicate calculus מתח
.הִגָי	двузначное исчисление предикатов; классическое исчисление предикатов
.מָתֵי	двузначное исчисление предикатов (классическое)