Wahrheitswertefunktion

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Äq)
Zur Navigation springen Zur Suche springen

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.

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.

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.

Die Paradoxien der materialen Implikation motivierten dazu, nach Alternativen zur klassischen Logik zu suchen. Entweder durch Entwicklung mehrwertiger Logiken oder durch Verzicht auf Wahrheitsfunktionen „im üblichen Sinne“ bei der semantischen Begründung eines Logikkalküls (vgl. Modallogik).[1]

Wahrheitstabellen

[Bearbeiten | Quelltext bearbeiten]

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 und konstante Funktionen; ist die identische einstellige Wahrheitsfunktion; ist die Negationsfunktion non(p), auch kurz Negation.

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 ; die äq-Funktion oder XNOR ist die Funktion .

Des Weiteren ist die aut-Funktion oder XOR; ist die vel-Funktion oder OR; ist die Peirce-Funktion oder NOR; ist die Sheffer-Funktion oder NAND; ist die seq-Funktion und entspricht dem Konditional oder der materialen Implikation.

und sind dabei konstante Funktionen, die für alle möglichen Eingaben stets den gleichen Wert liefern: beziehungsweise ; 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.[2] 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 = 28 = 256 und auf dreiwertiger dann = 327 = 7.625.597.484.987 (welche sich hier noch weniger übersichtlich zeigen ließen).

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Vgl. Kuno Lorenz: Wahrheitsfunktion, in: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. 2. Auflage. Band 8: Th - Z. Metzler, Stuttgart 2018, ISBN 978-3-476-02107-6, S. 386.
  2. Daher womöglich 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).