Roland Meyer SoSe 2013

Semantik der Prädikatenlogik erster Stufe (Fort.)
Annahme: Strukturen sind passend zu Signaturen gewählt.
Beachte: Gleichheit ist ein logisches Symbol, nicht Teil der Signatur.
Wird nicht durch die Struktur interpretiert.
Definition 4.8 (Belegung)
Eine Belegung der Variablen in M = (D,I) ist eine Abbildung
σ : V → D.
Die Modifikation σ{x/d} von σ ist die Belegung mit
{
d, falls y = x
σ{x/d}(y) :=
σ(y), sonst.
Die Menge aller Belegungen wird mit D V bezeichnet.
Roland Meyer (TU Kaiserslautern) Logik SoSe 2013 117 / 189