Waarheidstoewijzing
Waarheidstoewijzing is een concept uit de propositionele logica. Het is een functie die aan elke proposionele variabele van een formule een waarde toekent uit de set {waar, onwaar}. Deze toewijzing wordt vervolgens uitgebreid naar complexere formules via een inductieve definitie: v(¬φ) is de negatie van v(φ); v(φ ∧ ψ) is waar als zowel v(φ) als v(ψ) waar zijn; v(φ ∨ ψ) is waar als ten minste één van de twee waar is; en v(φ → ψ) is waar tenzij φ waar en ψ onwaar is (equivalentie met ¬v(φ) ∨ v(ψ)).
Een waarheidstoewijzing bepaalt of een formule waar is onder die specifieke toewijzing. Een formule is waar
In de semantiek van logica fungeert een waarheidstoewijzing als een model voor de variabelen van een taal.
Voorbeelden helpen bij begrip: als v(p) = waar en v(q) = onwaar, dan geldt v(p ∧ q) = onwaar en