Grundlagen: Mathematik

Was bedeutet eine Implikation $A\Rightarrow B$?

$A\Rightarrow B$ bedeutet: Wenn $A$ wahr ist, muss $B$ wahr sein. Sie ist nur dann falsch, wenn $A$ wahr und $B$ falsch ist.

Äquivalent: $A\Rightarrow B \equiv \neg A\lor B$.