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

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