< Prädikatenlogik < Substitution < Rang unverändert

Zeige durch Induktion über den Aufbau der Ausdrücke, dass sich bei einer Termsubstitution der Rang

eines Ausdrucks nicht ändert.
Eine 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.