Existenzeinführung im Antezedens/Alleinführung im Sukzedens/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beweise aus der Existenzeinführung im Antezedens die Alleinführung im Sukzedens. Sie besagt, dass man aus

unter der Bedingung, dass weder in noch in frei vorkommt, auf

schließen kann.
Eine Lösung erstellen