Logik:Klausuren/27.02.2004/2.3 Aufgabe

1. Aufgabenstellung

Beweisen Sie mit dem Resolutionsverfahren, dass die Formel

$ ((\forall X)(p(X) \rightarrow q(X)) \rightarrow ((\exists X)(q(X) \rightarrow r(X)) \rightarrow (\exists X)(p(X) \rightarrow r(X)))) $

allgemeingültig ist.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 27.02.2004