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