Wahrheitswertefunktion
aus Wikipedia, der freien Enzyklopädie
Eine Wahrheitswertefunktion (kurz: Wahrheitsfunktion) ist eine Funktion im mathematischen Sinn, die Wahrheitswerte auf Wahrheitswerte abbildet. Formal gesprochen ist der Wertebereich einer Wahrheitswertefunktion die Menge der Wahrheitswerte, in der klassischen Logik also die Menge { wahr, falsch }. Ihr Definitionsbereich ist bei einer einstelligen Wahrheitsfunktion ebenfalls die Menge der Wahrheitswerte; bei einer n-stelligen Wahrheitsfunktion ist der Definitionsbereich die Menge aller n-Tupel aus Wahrheitswerten.
Eine einfache Möglichkeit, eine Wahrheitswertefunktion für endlich viele Wahrheitswerte zu definieren, ist die Wahrheitstabelle.
Siehe auch: Junktor, Wahrheitswert, Wahrheitstabelle, Boolesche Algebra
