Логические операции: импликация и эквиваленция

Импликация (лат. implicatio — связь) — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).

Суждение, выражаемое импликацией, выражается также следующими способами: Посылка является условием, достаточным для выполнения следствия; Следствие является условием, необходимым для истинности посылки.

Таблицы истинности:

таблица

Эквиваленция (или эквивалентность) — двуместная логическая операция.

Таблицы истинности:

таблица вперед вперед

середина