Logik:Klausuren/01.02.2002/A.6 Aufgabe

1. Aufgabenstellung

Seien $ p, q, r\; $ aussagenlogische Variable. Beweisen Sie mit Hilfe des Kalküls des natürlichen Schließ�ens die Allgemeingültigkeit der Formel $ F = ((p \rightarrow q) \rightarrow ((r \rightarrow p) \rightarrow (r \rightarrow q)))\; $ Verwenden Sie dazu nur die im ursprünglichen Kalkül vorkommenden Regeln.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 01.02.2002
Aufgaben-Kategorie Al - Kalkül des natürlichen Schließens