Wahrheitstabelle – Serlo „Mathe für Nicht-Freaks“

Wir stellen im Folgenden die Wahrheitswerttabelle, kurz „Wahrheitstabelle“, vor. Eine solche Tabelle ist hilfreich, um Aussagen der Logik zu untersuchen.

Die Wahrheitstabelle Bearbeiten

Ein Video zur Erklärung und Anwendung von Wahrheitstabellen. (YouTube-Video vom Kanal Serlo Education)

Stell dir vor, du hast eine Aussage, die eine Verknüpfung von mehreren atomaren Aussagen $A$ , $B$ , $C$ , … mit Junktoren ist. Der Wahrheitswert dieser zusammengesetzten Aussage ist eindeutig aus den Wahrheitswerten dieser Teilaussagen bestimmbar, denn für jeden Junktor ist festgelegt, wie sich der Wahrheitswert der zusammengesetzten Aussage aus den Teilaussagen ergibt. Ein Beispiel hierfür ist die mit dem Junktor „und“ zusammengesetzte Aussage $A\land B$ :

kommentierte Wahrheitstabelle

Dementsprechend gibt es für eine mit mehreren Junktoren zusammengesetzte Aussage eine eindeutig festgelegte Vorschrift, die bestimmt, wie der Wahrheitswert dieser verknüpften Aussage in Abhängigkeit von dessen atomaren Aussagen ist. Daher können alle möglichen Belegungen der Aussagen $A$ , $B$ , $C$ , … und der dazugehörige resultierende Wahrheitswert der gesamten Aussage in einer Tabelle dargestellt werden. Eine solche Tabelle wird Wahrheitstabelle genannt. Die folgende Tabelle verdeutlicht das Prinzip von Wahrheitstabellen:

Atomare Aussagen $A$ , $B$ , $C$ …	zusammengesetzte Aussage
1. Belegung für die Teilaussagen $A$ , $B$ , $C$ … mit „wahr“ bzw. „falsch“	resultierender Wahrheitswert
2. Belegung für die Teilaussagen $A$ , $B$ , $C$ … mit „wahr“ bzw. „falsch“	resultierender Wahrheitswert
⋮	⋮
Letzte Belegung für die Teilaussagen $A$ , $B$ , $C$ … mit „wahr“ bzw. „falsch“	resultierender Wahrheitswert

Eine Wahrheitstabelle dient also dazu, den Wahrheitswert einer zusammengesetzten Aussage in Abhängigkeit von den Wahrheitswerten seiner atomaren Aussagen darzustellen. Dabei kann die Anzahl der Zeilen schnell groß werden.

Verständnisfrage: Wie viele Zeilen sind bei $n$ atomaren Aussagen notwendig?

Es sind $2^{n}$ Zeilen notwendig, da für jede der $n$ atomaren Aussagen die zwei Wahrheitswerte „wahr“ und „falsch“ als Belegung möglich sind. So sind bei 2 Teilaussagen 4, bei 3 Teilaussagen 8 und bei 4 Teilaussagen 16 Zeilen notwendig.

Damit Du auch bei vielen atomaren Aussagen mit den möglichen Kombinationen nicht durcheinanderkommst, ist es eine gute Strategie, sich am Binärsystem zu orientieren. Die binäre Darstellung einer Zeilennummer wird dabei in die Wahrheitswerte ${\mathsf {W}}$ für 1 und ${\mathsf {F}}$ für 0 umgesetzt:

Zeile	Binär	$A$	$B$	$C$	$D$
15	1 1 1 1	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
14	1 1 1 0	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$
13	1 1 0 1	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$
12	1 1 0 0	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$
$\cdots$
3	0 0 1 1	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$
2	0 0 1 0	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$
1	0 0 0 1	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$
0	0 0 0 0	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$

Wahrheitstabellen erstellen Bearbeiten

Ein Video zu Anwendungsbeispielen und Tipps bei Wahrheitstabellen. (YouTube-Video vom Kanal Serlo Education)

Wie viele Spalten brauchen wir in der Wahrheitstabelle? Da ja die zusammengesetzte Aussage schrittweise aus den Teilaussagen aufgebaut wurde, braucht man für jede dieser Teilaussagen eine Spalte. Die ersten Spalten sind die atomaren Aussagen, dann folgen die weiteren Teilaussagen und in der letzten Spalte steht dann die gesamte Aussage.

Nehmen wir als Beispiel die Formel

(A\Rightarrow B)\land (B\Rightarrow C)\Rightarrow (A\Rightarrow C)

.

Sie hat 3 atomare Teilaussagen, nämlich $A$ , $B$ und $C$ . Daher hat die Tabelle $2^{3}=8$ Zeilen. Weiterhin sind Teilaussagen $(A\Rightarrow B)$ , $(B\Rightarrow C)$ , $(A\Rightarrow C)$ . Die ersten beiden bilden die Teilaussage $((A\Rightarrow B)\land (B\Rightarrow C))$ , denn $\land$ bindet stärker als $\Rightarrow$ . Und schließlich haben wir noch die gesamte Aussage. Insgesamt ergibt das $8$ Teilaussagen, also $8$ Spalten.

$A$	$B$	$C$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$

In den ersten drei Spalten sind alle möglichen Belegungen für die drei atomaren Teilaussagen mit Wahrheitswerten aufgelistet. Nun ist die Tabelle ziemlich breit geworden. Deswegen notieren wir das platzsparender und machen die Spalten in der gesamten Aussage jeweils unter dem Junktor der jeweiligen Teilformel. Das sieht dann so aus:

$A$	$B$	$C$	$((A\Rightarrow B)$	$\,\land \,$	$(B\Rightarrow C))$	$\Rightarrow$	$(A\Rightarrow C)$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$
$\color {red}{\text{1}}$	$\color {red}{\text{2}}$	$\color {red}{\text{3}}$	$\color {red}{\text{4}}$	$\color {red}{\text{7}}$	$\color {red}{\text{5}}$	$\color {red}{\text{8}}$	$\color {red}{\text{6}}$

In der letzten Zeile haben wir mit $\color {red}{\text{roten Zahlen}}$ angegeben, welche Spalte aus der Tabelle darüber dieser Spalte entspricht. In dieser Reihenfolge werden nun die resultierenden Wahrheitswerte in die Spalten geschrieben. Dabei bestimmt der Junktor, wie sich der Wahrheitswert errechnet.

$A$	$B$	$C$	$((A\Rightarrow B)$	$(B\Rightarrow C))$	$(A\Rightarrow C)$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$

Als Letztes werden die Spalten $\color {red}{\text{7}}$ und $\color {red}{\text{8}}$ gefüllt. Das Ergebnis für die gesamte Aussage ist fett geschrieben:

$A$	$B$	$C$	$((A\Rightarrow B)$	$\land$	$(B\Rightarrow C))$	$\Rightarrow$	$(A\Rightarrow C)$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {F}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$

Wir ersehen daraus: diese Aussage ist immer wahr.

Übungsaufgaben Bearbeiten

Aufgabe 1 Bearbeiten

Aufgabe

Erstelle die Wahrheitstabelle für die Aussage $(A\Rightarrow B)\Leftrightarrow (\neg B\Rightarrow \neg A)$ .

Diese Aussage ist immer wahr. $\neg B\Rightarrow \neg A$ wird Kontraposition von $A\Rightarrow B$ genannt.

Lösung

$A$	$B$	$(A\Rightarrow B)$	$\Leftrightarrow$	$(\neg B\Rightarrow \neg A)$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {F}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {W}}}$	${\mathsf {W}}$

Aufgabe 2 Bearbeiten

Aufgabe

Sei ${\mathsf {Aussage\,1}}:=(A\Rightarrow B)\land (B\Rightarrow C)\land (C\Rightarrow A)$ und ${\mathsf {Aussage\,2}}:=(A\Leftrightarrow B)\land (B\Leftrightarrow C)\land (C\Leftrightarrow A)$ .
Zeige mit Wahrheitstafeln, dass ${\mathsf {Aussage\,1}}$ und ${\mathsf {Aussage\,2}}$ äqivalent sind.

Um die Äquivalenz mehrerer Aussagen zu beweisen, genügt es also, einen „Ringschluss“ wie in ${\mathsf {Aussage\,1}}$ zu zeigen!

Lösung

${\mathsf {Aussage\,2}}$ ist offensichtlich nur dann ${\mathsf {W}}$ , wenn alle drei Aussagen $A$ , $B$ und $C$ ${\mathsf {W}}$ oder alle drei ${\mathsf {F}}$ sind. Das gilt auch für ${\mathsf {Aussage\,1}}$ , wie die folgende Tabelle zeigt:

$A$	$B$	$C$	$A\Rightarrow B$	$B\Rightarrow C$	$C\Rightarrow A$	${\mathsf {Aussage\,1\,}}$	${\mathsf {Aussage\,2\,}}$
$\color {Red}{\mathsf {W}}$	$\color {Red}{\mathsf {W}}$	$\color {Red}{\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	$\color {Red}{\boldsymbol {\mathsf {W}}}$	$\color {Red}{\boldsymbol {\mathsf {W}}}$
${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
${\mathsf {F}}$	${\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {F}}$	${\boldsymbol {\mathsf {F}}}$	${\boldsymbol {\mathsf {F}}}$
$\color {Red}{\mathsf {F}}$	$\color {Red}{\mathsf {F}}$	$\color {Red}{\mathsf {F}}$	${\mathsf {W}}$	${\mathsf {W}}$	${\mathsf {W}}$	$\color {Red}{\boldsymbol {\mathsf {W}}}$	$\color {Red}{\boldsymbol {\mathsf {W}}}$	Tautologien → Fragen? Feedback? Interesse an der Mitarbeit? Wenn du Fragen zum Inhalt hast oder etwas nicht verstanden hast, kontaktiere uns. Wir werden dir deine Fragen gerne beantworten! Auch für Kritik und Anmerkungen sind wir sehr dankbar! Unsere Artikel sind gewissenhaft recherchiert, aber vereinzelte Fehler können nicht ausgeschlossen werden und wir sind sehr dankbar für alle Hinweise. Melde dich auch bei uns, wenn du unsere Vision, Hochschulmathematik verständlich zu erklären, unterstützen möchtest! Unsere Kontaktmöglichkeiten: E-Mail: hochschulmathematik@serlo.org Channel #hochschulmathe des Serlo Community Chats Telegram-Gruppe: https://t.me/serlo_hochschule Hinweis: Telegram ist ein externer Chatdienst, der nicht von Serlo oder der Wikimedia betrieben wird. Bitte informiere dich selbstständig, ob du mit ihren Datenschutzbestimmungen einverstanden bist. Dieser Artikel steht unter einer freien CC-BY-SA 3.0 Lizenz. Damit kannst du ihn frei verwenden, bearbeiten und weiterverbreiten, solange du „Mathe für Nicht-Freaks“ als Quelle nennst und deine Änderungen am Text unter derselben CC-BY-SA 3.0 oder einer dazu kompatiblen Lizenz stellst. Auf der Seite „Kopier uns!“ erklären wir dir detailliert, was du bei der Benutzung unsere Texte, Bilder und Videos beachten musst.