Logik:Klausuren/25.07.2003/5 Aufgabe

1. Aufgabenstellung

Beweisen Sie, ohne das Resolutionsverfahren oder den Kalkül des natürlichen Schließens zu benutzen:

$ \models_p (\exists X)(a(X) \rightarrow (\forall Y)a(Y)) $

2. Lösung

Nach Satz 3.12 ist eine Formel genau dann allgemeingültig, wenn $ \neg F $ unerfüllbar ist.

$ \vdots $

$ ((\forall X)a(X) \wedge (\exists Y)\neg a(Y)) $ unerfüllbar

$ \vdots $

Für alle $ X $ aus der Domäne gilt die Eigenschaft $ a(X) $ und es gibt ein $ Y $ in der Domäne für das $ a(Y) $ nicht gilt. Widerspruch, damit ist die Formel allgemeingültig.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 25.07.2003