Logik:Klausuren/01.02.2002/A.5 Aufgabe

1. Aufgabenstellung

Seien $ p, q, r\; $ aussagenlogische Variable. Beweisen Sie mit Hilfe des Resolutionsverfahrens die Allgemeingültigkeit der Formel $ F = ((((p \and q) \rightarrow r) \and \neg r) \rightarrow (p \rightarrow (q \rightarrow r)))\; $

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 01.02.2002
Aufgaben-Kategorie AL - Resolution