Значение слова "импликация"

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



Импликация записывается как посылка















⇒











{\displaystyle \Rightarrow }



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



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



Посылка является условием, достаточным для выполнения следствия;



Следствие является условием, необходимым для истинности посылки.

Источник: Wipedia.org