Logik - Fachgebiet Theoretische Informatik - Universität Kassel

AUFGABE 3. [Prädikatenlogik: Modelle]
Sei F die prädikatenlogische Formel
F := ∀x∀y∀z( (P (x, y) ∧ P (y, z)) → P (f(x, y), z) ).
Sei A = (U A , I A ) eine zu F passende Struktur mit U A = R (die reellen Zahlen) und
I A (P ) = { (r, s) | r, s ∈ R mit s = r 2 }.
Bestimmen Sie die Interpretation I A (f) derart, dass A damit zu einem Modell für F
wird.
Hinweis: Sie müssen die Funktion I A (f) angeben und dann nachweisen, dass
die entstandene Struktur tatsächlich ein Modell für F ist.
5