Logik - Fachgebiet Theoretische Informatik - Universität Kassel
Logik - Fachgebiet Theoretische Informatik - Universität Kassel
Logik - Fachgebiet Theoretische Informatik - Universität Kassel
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
AUFGABE 5. [Prädikatenlogik: Herbrand-Modelle]<br />
Sei F die prädikatenlogische Formel:<br />
F := ∀x(P (x) ∨ ¬P (f(f(x)))) ∧ ∀x(¬P (x) ∨ P (f(f(x)))) ∧ ∀x(¬P (f(x))).<br />
(a) Bestimmen Sie eine zu F äquivalente Aussage in bereinigter Pränexform mit<br />
minimaler Anzahl von Quantoren.<br />
(b) Geben Sie ein Herbrand-Modell A für F an.<br />
Hinweis: Hier müssen Sie das Universum von A und die Interpretationsfunktion<br />
I A angeben und anschließend nachweisen, dass tatsächlich A(F ) = 1 gilt.<br />
9