6.2.9 Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln

Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln

Die Äquivalenz zweier aussagenlogischer Formeln lässt sich auf zwei Arten zeigen:

1. mit Hilfe einer Wahrheitstafel
2. mit Hilfe von Umformungen anhand der logischen Identitäten

Beweisführung anhand einer Wahheitstafel

Aufgabe

Beweise mit Hilfe einer Wahrheitstafel:

$(A\leftrightarrow B)\equiv (A\to B)\wedge (B\to A)$

Das folgende Video zeigt die Beweisführung:

YouTube

Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.

Inhalt ansehen und nicht erneut fragen

 Med. : Beweis der Äquivalenz bei logischen Identitäten

http://youtu.be/vcklrdE8sKs

CC-BY

Beweisführung anhand der Anwendung logischer Identitäten

Aufgabe

Beweise durch Anwendung von logischen Identitäten:

$(\mathrm{\neg }A\wedge B)\vee A\equiv (B\vee A)$

Der Beweis umfasst die folgenden Schritte:

$\begin{array}{rlrl}& (\mathrm{\neg }A\wedge B)\vee A& & \text{jetzt Distributivgesetz anwenden}\\ \equiv & (\mathrm{\neg }A\vee A)\wedge (B\vee A)& & \text{jetzt Komplementärgesetz anwenden}\\ \equiv & 1\wedge (B\vee A)& & \text{jetzt Neutralitätsgesetz anwenden}\\ \equiv & (B\vee A)& & \text{fertig}\end{array}$