Es seien
Zeigen Sie mit Hilfe einer Wahrheitstafel, dass Aussage
Die zu beweisende Aussage besteht aus zwei Teilaussagen, die äquivalent sein sollen.
Zerlege, um dies zu zeigen, die Teilaussagen in kleine logische Einzelaussagen die aufeinander aufbauen und schreibe diese in die Kopfzeile einer Wahrheitstabelle. Schreibe alle Kombinationen von wahr
Aussage
Fülle den Rest der Tabelle aus:
Es fällt auf, dass Aussage
Für Aussage
Formuliere ein abschließendes Ergebnis:
Für Aussage
Somit ist gezeigt, dass Aussage
Die Aussage