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

So geht es weiter:

Gliederung

6.2.9 Beweis der logischen Äquivalenz zweier aussagenlogischer Formeln

6.2.9.1 Beweisführung anhand einer Wahrheitstafel

6.2.9.2 Beweisführung anhand der Anwendung logischer Identitäten