Обратная импликация

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Обратная импликациялогическая функция, которая ложна в том и только в том случае, когда условие истинно, а следствие ложно.

В обратной импликации первый аргумент — следствие, а второй — условие. Условие имплицирует следствие.

Обозначения[править]

x1 — 1-ый аргумент функции — следствие, заключение;

x2 — 2-ой аргумент функции — условие, посылка;

x1←x2 – функция обратная импликация.

Таблица истинности[править]

ТИ26.png

Эквиваленции[править]

ЭК26.png

Другие функции:[править]


Ссылки[править]