Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...

AUFGABE 3.
a) Geben Sie für die Formel
F = (∀x(P (x, f(x)) ∨ ¬Q(g(x, a))) → ¬∃xP (g(x, x), f(y)))
eine passende Struktur mit dem Universum U = {+, −, ∗, ↑} an.
b) Bestimmen Sie eine zu F erfüllbarkeitsäquivalente geschlossene Formel G in Skolemform.
c) Geben Sie ein Herbrand-Modell H für G an mit P H ≠ ∅ und Q H ≠ ∅.
Hinweis: Sie müssen insbesondere zeigen, dass die von Ihnen angegebene Herbrandstruktur
tatsächlich ein Modell für G ist.
5