Implikation
- Mathematische Aussage, die den Wahrheitswert einer Aussage B in Abhängigkeit von einer anderen Aussage A bestimmt
- Wahrheitswert der Implikation als ganzes ist falsch, wenn $A$ wahr und $B$ falsch ist; in allen anderen Fällen ist sie wahr.
| $A$ | $B$ | $A \Rightarrow B$ |
|---|---|---|
| wahr | wahr | wahr |
| wahr | falsch | falsch |
| falsch | wahr | wahr |
| falsch | falsch | wahr |