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

classical propositional calculus מתח
.מָתֵי	классическое пропозициональное исчисление; классическое исчисление высказываний