Logik:Klausuren/28.02.2001/A.3 Aufgabe

1. Aufgabenstellung

Seien $ p, q\; $ und $ r\; $ aussagenlogische Variable. Beweisen Sie im Kalkül des natürlichen Schliessens, dass die Formel $ ((\neg r \or (p \and q)) \rightarrow ((r \rightarrow p) \and (r \rightarrow q)))\; $ eine Tautologie ist.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2001