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