Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие.
Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы[3].
При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением[4].
В булевой логике импликация — это функция двух переменных (они же — операнды операции, они же — аргументы функции). Переменные могут принимать значения из множества . Результат также принадлежит множеству . Вычисление результата производится по простому правилу либо по таблице истинности. Вместо значений может использоваться любая другая пара подходящих символов, например или или «ложь», «истина».
прямая импликация(от a к b, ) (материальная импликация , материальный кондиционал )