Es sei ${\displaystyle {}V}$ eine Menge von Variablen und ${\displaystyle {}L^{V}}$ die zugehörige aussagenlogische Sprache. Unter einer Wahrheitsbelegung versteht man eine Abbildung

${\displaystyle \lambda \colon V\longrightarrow \{0,1\}}$

(oder mit ${\displaystyle {}\{f,w\}}$ als Wertebereich).