Prädikatenlogik/Existenzeinführung im Antezedens/Korrektheit/Fakt

Die Existenzeinführung im Antezedens ist eine korrekte Regel.

Zum Beweis, Alternativen Beweis erstellen