Wahrheitswertzuordnung

Als Wahrheitswertzuordnung bezeichnet man in der Aussagenlogik eine Funktion, die den Aussagen einer formalen aussagenlogischen Sprache Wahrheitswerte zuordnet. Die Wahrheitswertzuordnung ist damit der aussagenlogische Spezialfall einer Bewertungsfunktion (Denotationsfunktion).

Beim Festlegen einer Wahrheitswertzuordnung sind zwei unterschiedliche Ansätze möglich:

1. Die Wahrheitswertzuordnung wird nur über den atomaren Aussagen der Sprache definiert. Die Wahrheitswerte komplexer Aussagen sind dann alle aus den Wahrheitswerten der atomaren Aussagen berechenbar (siehe Wahrheitsfunktion).
2. Die Wahrheitswertzuordnung wird über allen Aussagen der Sprache definiert. Da die Wahrheitswerte komplexer Aussagen trotzdem aus denen der atomaren berechnet werden können, sind in diesem Fall in der Definition der Wahrheitswertfunktion entsprechende Einschränkungen für die Werte komplexer Aussagen zu treffen. Für die Konjunktion (Und-Verknüpfung) ∧ wäre dies z. B. die, dass für jede Wahrheitswertzuordnung F und für beliebige Aussagen A, B gilt: F(A ∧ B) = F(A) $\cdot$ F(B).

Bei der Unterscheidung zwischen 1. und 2. handelt es sich lediglich um ein technisches Detail.