Logik:Klausuren/28.02.2003/2.5 Aufgabe

1. Aufgabenstellung

Beweisen Sie mit dem Resolutionsverfahren, dass die prädikatenlogische Formel

$ (\exists Z)(\exists X)(\forall Y )(\neg q(Z) \vee \neg(p(Y ) \wedge (\neg p(X) \vee \neg q(X)))) $

eine Tautologie ist.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2003