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

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