Aussagenlogik: Semantik

• Wertebereich $\mathbb {B}$ = {0, 1}, Halbring ($\mathbb {B}$, $\vee$ , $\wedge$ , 0, 1)
• Belegung ist Abbildung b : V$\to$$\mathbb {B}$
• Wert einer Formel F unter Belegung b: val(F, b)
• wenn val(F, b) = 1, dann ist f ein Modell von f, Schreibweise: b $\models$ f
• Modellmenge Mod(F) = {b | b $\models$ F}
• F erfüllbar, wenn Mod(F) $\neq$ $\emptyset$