Der Folgerungsbegriff

eine Formel F mathend000# folgt aus einer Formelmenge M mathend000#:

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

Beispiele/Übung (beweise!)

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

  (aus einer widersprüchlichen Formelmenge folgt jede Formel)

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

  (Hinzunahme einer Folgerung ändert die Modellmenge nicht)