Implication

[ˌɪmplɪˈkeɪʃ(ə)n]
сущ. импликация
 Логическая операция (связка) для двух выражений. Результирующее выражение ложно тогда, когда первое выражение истинно, а второе ложно (операция импликации некоммутативна). Стандартное обозначение импликации: →.

— Игорь Мостицкий (обсуждение) 14:18, 9 января 2026 (MSK)