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

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