< Prädikatenlogik < Substitutionslemma < Fakt < Beweis

Beweise die Termaussage des Substitutionslemmas.

Zur Lösung, Alternative Lösung erstellen
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.