Wahrheitstabelle

Eine Wahrheitstabelle ist eine Tabelle, die in der Aussagenlogik jeder Kombination einer bestimmten Anzahl von Wahrheitswerten (häufig zwei) einen bestimmten Resultatwert zuordnet. Sie wird genutzt um boolesche Funktionen darzustellen und um einfache aussagenlogische Beweise zu führen. Sie ordnet der rein beschreibenden Form (Syntax), einer Aussagenverknüpfung, eine Bedeutung (Semantik) zu.

Darstellung boolescher Funktionen

Die einfachste Wahrheitstabelle zeigt das Ergebnis der Negation einer Aussage:

Die folgende Tabelle gibt für jeden Wahrheitswert der Aussagen a und b das Resultat der entsprechenden Verknüpfung an:

Die oben dargestellten Verknüpfungen sind vier von, bei 2 Eingangsvariablen, 16 möglichen logischen Funktionen.

Wichtig sind auch noch folgende:

Beweisverfahren

Wahrheitstabellen eignen sich dazu, einfache aussagenlogische Beweise zu führen, insbesondere für die Gültigkeit von grundlegenden Gesetzen, auf denen andere Beweisverfahren aufbauen. Z.B. zeigt die Gleichheit der 3. und 4. Spalte in den folgenden Wahrheitstabellen die Gültigkeit der De Morganschen Gesetze:

nicht (a und b) = (nicht a) oder (nicht b)

nicht (a oder b) = (nicht a) und (nicht b)

Diese Art der Beweisführung eignet sich aber nur für Aussagen mit einer kleinen Anzahl von Aussagenvariablen, da die Größe exponentiell in der Anzahl der Variablen wächst.

Siehe auch: Charles Peirce