Logik:Klausuren/25.07.2003/5 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
() |
(kein Unterschied)
|
Aktuelle Version vom 22. Februar 2005, 00:05 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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[Bearbeiten]
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.
