Semantik der Prädikatenlogik

• Universum, Funktion, Relation,
• Struktur, die zu einer Signatur paßt
• Belegung, Interpretation
• Wert
  • eines Terms
  • einer Formel
  in einer Struktur, unter einer Belegung

die Modell-Relation (S, b) $\models$ F sowie S $\models$ F

Erfüllbarkeit, Allgemeingültigkeit (Def, Bsp)