Logikai műveletek | Implikáció

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$