Programmieren mit Prolog

Formeln auswerten (Forts.)• Der Wert einer geschlossenen Formel hängt nicht voneiner Variablenzuweisung ab.• Der Wert einer Formel mit freien Variablen sei der ihresAllabschlusses.• Eine Formel A gilt in einer Struktur M, wenn sie dortden Wert w hat. Dann heißt M Modell von A .• Die Struktur M ist Modell einer Formelmenge,wenn M Modell aller ihrer Formeln ist.Aufgabe: Sind N, Z bzw. S Modelle der Formeln (mit Variablen x, y, z)• G(add(x, x))• U(add(x, x))• G(x) → U(s(x))• U(x) → U(s(x))• K(x, y) → K(y, x)• K(x, y) ∧ K(y, z) → K(x, z)• ∃x.∀y.K(x, y)• ∀y.∃x.K(x, y)Hochschule Darmstadt, Januar 2009 – p.17/54