$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$.