Импликация

Материал из Мегапедии
Перейти к: навигация, поиск

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

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

Обозначения

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

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

x1→x2 — функция импликация.

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

ТИ25.png

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

ЭК25.png

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