Англійська ⇄ Китайська Російська Французька +

logical implication наголоси
мат.	логическая импликация
прогр.	логическое следование (в логическом программировании ssn)