Aussagenlogik: Semantik

• Wertebereich $\mathbb {B}$ = {0, 1}, Halbring ($\mathbb {B}$,∨,∧, 0, 1)

  Übung: weitere Halbringe mit 2 Elementen?

• Belegung ist Abbildung b : V→$\mathbb {B}$
• Wert einer Formel F unter Belegung b: val(F, b)
• wenn val(F, b) = 1, dann ist b ein Modell von F, Schreibweise: b $\models$ F
• Modellmenge Mod(F) = {b | b $\models$ F}
• F erfüllbar, wenn Mod(F)≠∅

• Modellmenge einer Formelmenge: Mod(M) = {b | ∀F∈M : b $\models$ F}