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