Aufgabe:
∃x ¬Pxa ⊢ ∃z ¬∀y Pyz
Das Folgende soll durch Anwendung von Gentzens System des natürlichen Schließens hergeleitet werden.
Problem/Ansatz:
Ich würde mit der Konklusion beginnen, und also von unten ausgehend so verfahren:
¬∀y Pyz
------- ∃Intro
∃x ¬Pxa ⊢ ∃z ¬∀y Pyz
Leider weiß danach auch gar nicht mehr, wie man weiter vorgehen soll. Ich erbitte dringend um Hilfe, uns wurden hierfür online nur einige wenige Folien zur Verfügung gestellt und das Thema ist doch unfassbar komplex!
