Grundlagen: Mathematik

Was bedeutet logische Äquivalenz?

Zwei Aussagen AA und BB sind logisch äquivalent, wenn sie immer denselben Wahrheitswert haben.

Notation: ABA\Leftrightarrow B oder ABA\equiv B.