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

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