Обратная импликация
Перейти к навигации
Перейти к поиску
Обратная импликация — логическая функция, которая ложна в том и только в том случае, когда условие истинно, а следствие ложно.
Условие имплицирует следствие.
Обозначения[править]
x1 – 1-ый аргумент функции – следствие, заключение;
x2 – 2-ой аргумент функции – условие, посылка;
x1←x2 – функция обратная импликация.
Таблица истинности[править]
Эквиваленции[править]
Другие функции:[править]