英语 ⇄ 中文 俄语 法语 +

logical implication 强调
数学	логическая импликация
编程	логическое следование (в логическом программировании ssn)