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.
Dontsük el az alábbi állításokról, hogy igazak, vagy hamisak.
a) Esik az eső és a mamut piros.
b) Esik az eső vagy a mamut piros.
c) Ha esik az eső, akkor a mamut piros.