Импликация — различия между версиями
м |
м |
||
Строка 20: | Строка 20: | ||
{{Список ЛФун}} | {{Список ЛФун}} | ||
− | [[Категория:Дискретная математика]][[Категория:Логика]][[Категория:Функции]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]][[Категория:Функции]] |
Текущая версия на 07:48, 21 октября 2024
Импликация — логическая функция, которая ложна в том и только в том случае, когда условие истинно, а следствие ложно.
В импликации первый аргумент — условие, а второй — следствие. Условие имплицирует следствие.
Обозначения
x1 — 1-ый аргумент функции — условие, посылка;
x2 — 2-ой аргумент функции — следствие, заключение;
x1→x2 — функция импликация.