Aussagenlogik/Wahrheitsbelegung/Definition

Wahrheitsbelegung

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

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

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