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...