Вы здесь

  • Импликация (лат. implicatio — связь) — бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка ⇒ {\displaystyle \Rightarrow } следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие). Суждение, выражаемое импликацией, выражается также следующими способами: Посылка является условием, достаточным для выполнения следствия; Следствие является условием, необходимым для...