Def. eine Gleichung
l r ist gültig in einer
Σ-Algebra
A = (DA,[⋅]A),
geschrieben
A
l
r,
falls für jede Belegung
α : Var(l )∪Var(r) DA gilt:
[l, α]A = [r, α]A
Def. eine Σ-Algebra A = (DA,[⋅]A) heißt Modell
für ein Gls. E über Σ, wenn
∀(l r)∈E : A
l
r.
Übung: gibt es andere Modelle dafür?
(über
? Ja:
[P](x, y) = y,[S](x) = x,[Z] = 0.
über anderen Bereichen, z.B.:
, Wörter, endlicher Bereich?)