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

AUFGABE 2.
1. Geben Sie eine Formel an, die keine Hornformel ist.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Wie zeigt man mittels Resolution, dass eine aussagenlogische Formel gültig (Tautologie)
ist
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Geben Sie eine prädikatenlogische Formel an, die eine endliche Herbrand-Expansion
besitzt.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4. Kreuzen Sie an: unerfüllbar erfüllbar gültig
((¬A ∨ ¬B) ∨ ((A ∧ B) ∨ C)) ✷ ✷ ✷
¬(∃xP (x) → ¬∀x¬P (x)) ✷ ✷ ✷
Folgende Fragen sind mit wahr oder falsch zu beantworten. Für jede richtige Antwort
erhalten Sie einen Punkt, für jede falsche wird Ihnen ein Punkt abgezogen.
wahr falsch
5. Jede prädikatenlogische Formel besitzt ein Modell mit
abzählbarem Universum. ✷ ✷
6. Eine Formelmenge ist erfüllbar, wenn jede in ihr enthaltene
Formel erfüllbar ist. ✷ ✷
7. Ist K eine erfüllbare Formelmenge, so ist jede in K
enthaltene Formel erfüllbar. ✷ ✷
8. Die Stützmengen-Resolution ist vollständig für Hornformeln. ✷ ✷
9. Jedes Hornklauselprogramm hat für jede Zielklausel mindestens
eine endliche Rechnung. ✷ ✷
3