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

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