Wahrheitstafel

Allgemeines Vorgehen

1) Zerlege die zu beweisende Aussage in möglichst kleine logische Einzelaussagen die aufeinander aufbauen und schreibe diese in die Kopfzeile der Wahrheitstabelle. Starte bei den atomaren Teilaussagen , dann die aufeinander aufbauenden Teilaussagen und in der letzten Spalte die gesamt Aussage aus der Aufgabenstellung.

2) Bilde alle möglichen Kombinationen aus wahr und falsch für die atomaren Teilaussagen und schreibe diese in die ersten Spalten.

3) Fülle den Rest der Tabelle, unter Beachtung folgender Regeln (Bsp. ), systematisch aus:

• bekommt denselben Wahrheitswert wie die Variable .
• ist wahr, wenn die Variable den Wert (Falsch) bekommt, und umkehrt.
• ist genau dann wahr, wenn und wahr sind.
• ist genau dann wahr, wenn oder wahr sind (oder beide).