Logik:Klausuren/20.02.2002/B.3 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung


a) Sei p eine aussagenlogische Variable. Beweisen Sie mit Hilfe des aussagenlogischen
Resolutionsverfahrens, dass $ (p \rightarrow p) $ eine Tautologie ist.


b) Sei p ein 2-stelliges Relationssymbol. Beweisen Sie mit Hilfe des Kalküls des natürli-
chen Schließens die Allgemeingültigkeit der Formel

$ ((\forall X)(\forall Y )(p(X, Y ) \rightarrow \neg p(Y, X)) \rightarrow (\forall X)\neg p(X, X)). $

2. Lösung

3. Lösungsweg

4. Alternativen/Diskussion/Hinweise etc.


zur Klausur 20.02.2002