Springe zum Inhalt oder Footer
SerloDie freie Lernplattform

Kurse

Grundlagen der Logik

7Äquivalenz (in Arbeit)

Man nennt zwei logische Ausdrücke AA und BB äquivalent (Schreibweise: ABA\Leftrightarrow B), wenn beide wahr oder beide falsch sind.

Zwei Aussageverknüpfungen nennt man äquivalent, wenn der Wahrheitswert der Verknüpfungen für jede Kombination der Wahrheitswerte der einzelnen beteiligten Aussagen gleich ist. Als Schreibweise wird wieder \Leftrightarrow verwendet.

Die Äquivalenz von Aussageverknüpfungen kannst du mit Wahrheitswerttabellen nachweisen. Wenn du alle Möglichkeiten der einzelnen Wahrheitswerte auflistest und die fraglichen Ausdrücke immer denselben Wahrheitswert haben, sind sie äquivalent.

Eine andere Möglichkeit ist die Verwendung von logischen Regeln wie den de Morganschen Regeln oder der Distributivgesetze.

Beispiel: ((A¬B)(¬AB))(AB)(¬A¬B))\left((A\wedge \neg B)\vee(\neg A\wedge B)\right)\Leftrightarrow\left(A\vee B)\wedge(\neg A\vee \neg B)\right)

Als Abkürzung kann man C:(A¬B)(¬AB)C:\Leftrightarrow (A\wedge\neg B)\vee(\neg A\wedge B) und D:(AB)(¬A¬B)D:\Leftrightarrow (A\vee B)\wedge(\neg A\vee\neg B) verwenden, du musst also CDC\Leftrightarrow D nachweisen.

AA

BB

A¬BA\wedge \neg B

¬AB\neg A\wedge B

C\color{red}{C}

ABA\vee B

¬A¬B\neg A\vee \neg B

D\color{red}{D}

ww

ww

ff

ff

f\color{red}{f}

ww

ff

f\color{red}{f}

ww

ff

ww

ff

w\color{red}{w}

ww

ww

w\color{red}{w}

ff

ww

ff

ww

w\color{red}{w}

ww

ww

w\color{red}{w}

ff

ff

ff

ff

f\color{red}{f}

ff

ww

f\color{red}{f}

Also sind die Ausdrücke äquivalent.

Diese Verknüpfung ist also genau dann wahr, wenn eine der Aussagen AA und BB wahr sind, aber nicht beide.

Diese Verknüpfung hat den Namen "exklusives Oder" (nicht mit "Oder" verwechseln!)


Dieses Werk steht unter der freien Lizenz
CC BY-SA 4.0Was bedeutet das?