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

Links hinzufügen
Aus Wikiversity

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“