Theoretische Informatik SS2022

Übungsblatt 3
Aufgabe 1:
Gegeben seien folgende Prädikate, Funktionen und Konstanten:
Stuermer(x) . . . x ist ein Stürmer Startelf (x) . . . x ist in der Startelf
Spieler(x) . . . x ist ein Spieler M ag(x, y) . . . x mag y

Schreiben Sie folgende deutsche Sätze als prädikatenlogische Formeln unter Verwendung
der obigen Prädikate:
(i) Jeder Stürmer ist ein Spieler.
(ii) Alle Stürmer spielen in der Startelf.
(iii) Jeder Spieler kann jemanden aus der Mannschaft nicht leiden.
(iv) Es gibt keinen Spieler in der Startelf, der jemanden aus der Startelf nicht leiden
kann.
Hinweis: Sie können davon ausgehen, dass:
1. alle Objekte Menschen sind;
2. jemand ein Spieler ist genau dann wenn er zur Mannschaft gehört.
Sie müssen das in Ihren Formeln also nicht gesondert überprüfen.

Aufgabe 2:
Betrachten Sie die Formeln F1 , F2 , F3 , F4 aus Aufgabe 1. Änderen Sie die Variablennamen
in den Formeln sodass alle Formeln verschiedene Variablen verwenden.
1. Bringen Sie alle Aussagen in Pränexform.
2. Bringen Sie die Konjunktion der Aussagen in Pränexform.

Aufgabe 3:
Geben Sie die (i) Skolemform, (ii) die Matrixformel und (iii) die Matrixklauselform der
Formeln F1 − F4 in Pränexform an.

Aufgabe 4:
Betrachten Sie die Aussage
• Alle Stürmer können einander gut leiden.
und lösen sie die folgenden Aufgaben.
1. Formalisieren Sie den Satz mit Prädikatenlogik unter Verwendung der schon vorhan-
denen Prädikate.
2. Zeigen Sie das die Aussage mit den anderen konsistent ist indem Sie ein gemein-
sames Modell angeben.
Aufgabe 5:
Betrachten Sie die Aussage
• Alle Stürmer können einander gut leiden.
und lösen sie die folgenden Aufgaben.
1. Formalisieren Sie den Satz mit einer Formel in Pränexform unter Verwendung der
schon vorhandenen Prädikate.
2. Zeigen Sie mit Hilfe des Grundresolutionsalgorithmus dass die Aussage aus den
anderen vier Aussagen folgt.
Hinweis:
a) Verwenden Sie die Widerspruchsmethode und zeigen Sie dass F1 ∧ F2 ∧ F3 ∧
F4 ∧ ¬F5 unerfüllbar ist. Dafür:
b) Bringen Sie F1 ∧ F2 ∧ F3 ∧ F4 ∧ ¬F5 in Skolemform.
Bei der Konjunktion von mehreren Formeln kann man zunächst die Skolem-
form für jede einzelne Formeln bilden und diese dann zu einer gemeinsamen
Skolemform kombinieren. Dabei muss man aber bei verschiedenen Teilformeln
unterschiedliche Funktionssymbole verwenden.
c) Bilden Sie die Matrixklauselform.
d) Bilden Sie das Herbrand Universum
e) Bilden Sie die Herbrand Expansion
f) Zeigen Sie die Unerfüllbarkeit mit dem Grundresolutions-Algorithmus.

Aufgabe 6:
Betrachten Sie die Aussage
• Alle Stürmer können einander gut leiden.
und lösen sie die folgenden Aufgaben.
1. Formalisieren Sie den Satz mit einer Formel in Pränexform unter Verwendung der
schon vorhandenen Prädikate.
2. Zeigen Sie mit Hilfe der Resolution der Prädikatenlogik dass die Aussage aus den
anderen vier Aussagen folgt.
Hinweis:
a) Verwenden Sie die Widerspruchsmethode und zeigen Sie dass F1 ∧ F2 ∧ F3 ∧
F4 ∧ ¬F5 unerfüllbar ist. Dafür:
b) Bringen Sie F1 ∧ F2 ∧ F3 ∧ F4 ∧ ¬F5 in Skolemform.
c) Bilden Sie die Matrixklauselform.
d) Stellen Sie sicher dass alle Klauseln verschiedene Variablen verwenden.
e) Zeigen Sie die Unerfüllbarkeit mit der Resolution der Prädikatenlogik.