Wahrheitswertefunktion - LinkFang.de





Wahrheitswertefunktion


Eine Wahrheitswertefunktion, auch kurz Wahrheitsfunktion, ist eine mathematische Funktion, die Wahrheitswerte auf Wahrheitswerte abbildet. Der Definitionsbereich einer n-stelligen Wahrheitsfunktion ist die Menge aller n-Tupel von Wahrheitswerten, ihr Wertebereich die Menge der Wahrheitswerte. In der klassischen Logik umfasst die zugrunde liegende Wahrheitswertemenge {w, f} nur die beiden Werte "wahr" (w) und "falsch" (f); Wahrheitsfunktionen auf dieser Basis heißen daher genauer n-stellige zweiwertige.

Die Wahrheitswertefunktionen spielen in der formalen Logik eine zentrale Rolle, da sie die (extensionale) Form der logischen Verknüpfung einer Zusammenstellung von Komponenten eindeutig bestimmt angeben, und können als Junktoren zusammengesetzter Aussagen wie auch als Gatter in Zusammensetzungen von Schaltelementen interpretiert werden.

Beispiel

Der Wahrheitswert des gesamten Satzes „Peter kommt und die Queen kommt“ ist abhängig von den Wahrheitswerten der Teilsätze "Peter kommt" (p) und "die Queen kommt" (q). Der Satz "p und q" ist dann wahr, wenn sowohl p als auch q wahr sind, ansonsten falsch. Als Modell für die hier durch und ausgedrückte Konjunktion kann also eine Funktion mit zwei Argumenten (p,q) dienen, die dem Tupel <w,w> – beide Argumente sind wahr – den Funktionswert w zuordnet – der Satz ist wahr – und den drei anderen möglichen 2-Tupeln je den Wert f (als Werteverlauf im Schema: wfff). Diese Wahrheitsfunktion heißt AND(p,q) oder auch et-Funktion et(p,q).

Das Exempel verallgemeinernd lassen sich nun 16 verschiedene 2-stellige Wahrheitsfunktionen definieren, indem jedem der vier 2-Tupel – das sind: <w,w>, <w,f>, <f,w>, <f,f> – je einer der beiden Wahrheitswerte zugeordnet wird. Siehe dazu die Tabelle unten.

Mit dieser Definition kann einer bestimmten Abbildung aller vier 2-Tupel – beispielsweise: <w,w>, <f,f> sind wahr, die beiden übrigen falsch (im Schema: wffw) – eindeutig eine logische Verknüpfungsform zweier Teilsätze – beispielsweise "p genau dann, wenn q" in dem Satz „Peter kommt genau dann, wenn die Queen kommt“ – zugewiesen werden. Die Wahrheitsfunktion des letzteren Beispiels wird auch äq-Funktion äq(p,q) genannt, da sie der (materialen) Äquivalenz entspricht, dem Bikonditional.

Damit können auch mögliche Junktoren als Wahrheitsfunktion aufgefasst werden; dies kennzeichnet die klassische Aussagenlogik und setzt sie zum Beispiel von der modalen Aussagenlogik ab.

Vermöge der Zuordnung w→1 und f→0 (oder alternativ w→0 und f→1, siehe Logikpegel) entspricht jede Wahrheitswertefunktion einer Booleschen Funktion, die sich in einer Schaltalgebra darstellen lässt.

Gegenbeispiel

Der Wahrheitswert des Satzes "Peter kommt, weil die Queen kommt" ist keine Funktion der Wahrheitswerte seiner Teilsätze – da selbst wenn beide Teilsätze wahr sind, damit ja noch nicht feststeht, dass Peter kommt, weil die Queen kommt, aus ebendiesem Grund. Diese Kausalität ist nicht als wahrheitsfunktionale Verknüpfung der Teilsätze darzustellen. Für die kausale Begründung braucht es daher einen weiteren Zusammenhang.

Wahrheitstabellen

Eine einfache Möglichkeit, eine Wahrheitswertefunktion für endlich viele Wahrheitswerte zu definieren, ist die Wahrheitstabelle.

Die nachstehende Tafel gibt alle 1-stelligen zweiwertigen Wahrheitsfunktionen an. Eine Wahrheitsfunktion bildet stets alle Tupel ihres Definitionsbereichs – hier beide 1-Tupel <w> und <f> in Spalte p des Arguments – in der Wahrheitswertemenge ab. Dabei sind [math]f_1^1[/math] und [math]f_4^1[/math] konstante Funktionen; [math]f_2^1[/math] ist die identische einstellige Wahrheitsfunktion; [math]f_3^1[/math] ist die Negationsfunktion non(p), auch kurz Negation.

[math]\begin{array}{|c||c|c|c|c|} \hline p & f_1^1\ & f_2^1\ & f_3^1\ & f_4^1 \\ \hline w & w & w & f & f \\ f & w & f & w & f \\ \hline \end{array}[/math]

Die folgende Übersicht zeigt die 16 möglichen Belegungsmuster 2-stelliger zweiwertiger Wahrheitswertefunktionen durch die Werte 1 und 0 (mit der Zuordnung w→1 und f→0). Die oben besprochene et-Funktion oder AND ist hier die Funktion [math]f_8^2[/math]; die äq-Funktion oder XNOR ist die Funktion [math]f_7^2[/math].

Des Weiteren ist [math]f_{10}^2[/math] die aut-Funktion oder XOR; [math]f_2^2[/math] ist die vel-Funktion oder OR; [math]f_{15}^2[/math] ist die Peirce-Funktion oder NOR; [math]f_9^2[/math] ist die Sheffer-Funktion oder NAND; [math]f_5^2[/math] ist die seq-Funktion und entspricht dem Konditional oder der materialen Implikation.

[math]\begin{array}{|c|c||c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|} \hline p & q & f_1^2\ & f_2^2\ & f_3^2\ & f_4^2\ & f_5^2\ & f_6^2\ & f_7^2\ & f_8^2\ & f_9^2\ & f_{10}^2 & f_{11}^2 & f_{12}^2 & f_{13}^2 & f_{14}^2 & f_{15}^2 & f_{16}^2 \\ \hline 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 1 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 \\ 0 & 1 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 & 1 & 0 \\ \hline \end{array}[/math]

[math]f_1^2[/math] und [math]f_{16}^2[/math] sind dabei konstante Funktionen, die für alle möglichen Eingaben stets den gleichen Wert liefern: [math]1[/math] beziehungsweise [math]0[/math]; sie werden auch als Tautologie beziehungsweise als Kontradiktion interpretiert (und daher gelegentlich Verum bzw. Falsum genannt).

Weniger übersichtlich würden sich die möglichen Belegungsmuster dreiwertiger Wahrheitswertefunktionen zeigen lassen. Der Aussage (p) wäre dann neben "w" und "f" noch ein dritter Wert zuordenbar – beispielsweise "u" für unbestimmt – und gleiches gilt für die möglichen Funktionswerte. Daraus ergeben sich 33 = 27 verschiedene 1-stellige dreiwertige Wahrheitswertefunktionen[1]. Für die Angabe 2-stelliger dreiwertiger müssten in den beiden Spalten p und q anstatt der 22 = 4 dann 32 = 9 Zeilen abgetragen werden. In den folgenden Spalten wären 39 = 19.683 mögliche Variationen der Wahrheitswerte zu tabellieren für alle 2-stelligen dreiwertigen Wahrheitsfunktionen (gegenüber den oben aufgeführten 16 aller 2-stelligen zweiwertigen).

Die Anzahl 3-stelliger Wahrheitswertefunktionen beträgt auf zweiwertiger Basis [math]2^{2^{3}}[/math] = 28 = 256 und auf dreiwertiger dann [math]3^{3^{3}}[/math] = 327 = 7.625.597.484.987 (welche sich hier noch weniger übersichtlich zeigen ließen).

Anmerkungen

  1. Daher auch: „Es soll sich a priori angeben lassen, ob ich z.B. in die Lage kommen kann, etwas mit dem Zeichen einer 27stelligen Relation bezeichnen zu müssen.“ (Ludwig Wittgenstein: Tractatus logico-philosophicus. Kegan Paul, Trench, Trubner & Co., London 1922, Nummer 5.5541 ).

Kategorien: Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Wahrheitswertefunktion (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.