Импликация

Материал из Мегапедии
Версия от 07:48, 21 октября 2024; Logic-samara (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

Обозначения

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

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

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

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

ТИ25.png

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

ЭК25.png

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