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

implicational logic מתח
.מָתֵי	импликационная логика; импликативная логика (ssn)