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

implicational calculus מתח
.מָתֵי	импликативное исчисление