Ableitungskalkül/Existenzeinführung im Sukzedens und Antezedens/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

a) Formuliere die Existenzeinführung im Sukzedens.

b) Formuliere die Existenzeinführung im Antezedens.

c) Zeige durch ein Beispiel, dass die Bedingung an die Variable in der Existenzeinführung im Antezedens wesentlich ist.
Eine Lösung erstellen