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

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