Zwei Aussagen $A$ und $B$ sind logisch äquivalent, wenn sie immer denselben Wahrheitswert haben.
Notation: $A\Leftrightarrow B$ oder $A\equiv B$.