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

logical implication מתח
.מָתֵי	логическая импликация
.תִכנו	логическое следование (в логическом программировании ssn)