Wahrheitsbelegung

Die Menge $var (φ)$ der Variablen einer Formel $φ$ ist die Menge $var (φ) := AVar \cap sub (φ)$ .
Eine Wahrheitsbelegung, oder kurz Belegung, ist eine partielle Funktion $β : AVar \to {0, 1}$ .
Eine Belegung $β$ ist eine Belegung für eine Formel $φ$ , oder ist passend für $φ$ , wenn $var (φ) \subseteq def (β)$ .