Logik:Klausuren/27.02.2004/2.4 Aufgabe

1. Aufgabenstellung

Beweisen Sie im Kalkül des natürlichen Schließens, dass

$ (((\exists X)p(X) \rightarrow ((\exists Y )q(Y ) \rightarrow c)) \rightarrow ((\exists Z)(p(Z) \wedge q(Z)) \rightarrow c)) $

eine Tautologie ist. Alle Lemmata, die auf den Übungsblättern des letzten Studienjahres
oder im Lehrbuch angegeben wurden, dürfen verwendet werden.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 27.02.2004