Ein Wahrheitswert (logischer Wert) gibt in der Logik den Grad der Wahrheit eines Satzes an. Gibt es in einem logischen System mehr als zwei Wahrheitswerte, spricht man oft lieber von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten. Unter einer Wahrheitswertzuordnung (synonym: Wahrheitsfunktion, Wahrheitswertefunktion, Denotationsfunktion oder Bewertungsfunktion) versteht man eine Funktion im mathematischen Sinn, die die Menge der Aussagen einer (meist formalen) Sprache auf die Menge ihrer Wahrheitswerte abbildet.