Prädikatenlogik/Substitutionslemma/Fakt/Beweis/Aufgabe

< Prädikatenlogik/Substitutionslemma/Fakt | Beweis

Beweise die Termaussage des Substitutionslemmas.

Zur Lösung, Alternative Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Substitutionslemma/Fakt/Beweis/Aufgabe&oldid=467895“