Импликация
Материал из Википедии — свободной encyclopedia
Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Краткие факты Импликация, Определение ...
Импликация | |
---|---|
Не больше, IMPLY | |
| |
Определение | |
Таблица истинности | |
Логический вентиль | |
Нормальные формы | |
Дизъюнктивная | |
Конъюнктивная | |
Полином Жегалкина | |
Принадлежность предполным классам | |
Сохраняет 0 | Нет |
Сохраняет 1 | Да |
Монотонна | Нет |
Линейна | Нет |
Самодвойственна | Нет |
Закрыть
Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие.
Суждение, выражаемое импликацией, выражается также следующими способами[1][2]:
- посылка является условием, достаточным для выполнения следствия:
- следствие является условием, необходимым для истинности посылки.
Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы[3].
При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением[4].