Folien (.pdf)

Logik und Berechenbarkeit 10
Wichtig: Σ-Strukturen S = (M,VS) für Σ = (ΣF,ΣR)
Definition 2.7 [Belegung von Variablen]
Es sei S = (M,VS) eine Σ-Struktur.
Eine Abbildung β : {vi : i ∈ N} → M heißt Belegung der Variablen. ❏
Notation: Ist β : {vi : i ∈ N} → M eine Belegung so setzen wir
β a
(y) :=
v
⎧
⎪⎨
⎪⎩
β(y) , für y = v und
a , für y = v.