Aussagenlogik (Semantik)

Belegung ist Abbildung b : V→{0, 1}

Wert einer Formel F unter einer Belegung b:

• wert(Wahr, b) = 1,wert(Falsch, b) = 0,
• für v∈V: wert(v, b) = b(v),
• wert(F₁∨F₂, b) = max(wert(F₁, b),wert(F₂, b))
• wert(F₁∧F₂, b) = ...

Notation: b $\models$ F für: wert(b, F) = 1