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

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