Импликация (implication, IF-THEN operation, conditional implication operation) — бинарная булева операция, результат которой имеет булево значение 0 в том и только в том случае, если первый операнд имеет булево значение 0, а второй операнд — булево значение 1. Нерекомендованный синоним: Условное включение.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Импликация — логическая операция (связка) для двух выражений. Результирующее выражение ложно тогда, когда первое выражение истинно, а второе ложно (операция И. некоммутативна). Стандартное обозначение импликации: ®.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]