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

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