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