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

logic of strict implication מתח
.מָתֵי	логика строгой импликации