0 Daumen
377 Aufrufe

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!

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community