A "ha $A$, akkor $B$" kapcsolatnak megfelelő logikai műveletet nevezzük implikációnak. Az implikáció akkor hamis, ha $A$ igaz és $B$ hamis, minden más esetben igaz.
Jele: $A \Rightarrow B$
Az implikáció akkor hamis, ha $A$ igaz és $B$ hamis, minden más esetben igaz.