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