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

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

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

Обозначения

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

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

x₁←x₂ – функция обратная импликация.

Таблица истинности

Эквиваленции

Другие функции:

1. отрицание;
2. дизъюнкция;
3. конъюнкция;
4. разделительная дизъюнкция;
5. импликация;
6. обратная импликация;
7. эквиваленция;
8. стрелка Пирса;
9. штрих Шеффера;
10. полином Жегалкина.

Ссылки

• Участник:Logic-samara