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

< Prädikatenlogik/Existenzeinführung im Antezedens/Korrektheit/Fakt | Beweis

Zeige, dass die Existenzeinführung im Antezedens eine korrekte Regel ist.

Zur Lösung, Alternative Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Existenzeinführung_im_Antezedens/Korrektheit/Fakt/Beweis/Aufgabe&oldid=858525“