Logik:Klausuren/20.02.2002/B.3 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 23. November 2004, 16:33 Uhr

1. Aufgabenstellung[Bearbeiten]

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[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 20.02.2002