Импликация
Перейти к навигации
Перейти к поиску
Импликация (от лат. implicatio — «связь»[1]) — логическая функция, которая ложна в том и только в том случае, когда условие истинно, а следствие ложно.
Условие имплицирует следствие.
Обозначения[править]
x1 — 1-ый аргумент функции — условие, посылка;
x2 — 2-ой аргумент функции — следствие, заключение;
x1→x2 — функция импликация.