Logik:Klausuren/20.02.2002/B.3 Aufgabe

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)). $

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 20.02.2002