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