Der Folgerungsbegriff

eine Formel F folgt aus einer Formelmenge M:

• Notation: M $\models$ F,     Definition: Mod(M)⊆Mod(F)

Beispiele/Übung (beweise!)

• {x,¬y} $\models$ x∨y
• ∀M : (Mod(M) = ∅)$\iff$(∀F : M $\models$ F).

  (aus einer widersprüchlichen Formelmenge folgt jede Formel)

• ∀M, F : (M $\models$ F)$\iff$(Mod(M) = Mod(M∪{F}))

  (Hinzunahme einer Folgerung ändert die Modellmenge nicht)