Prädikatenlogik/Substitution/Rang unverändert/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

eines Ausdrucks nicht ändert.
Eine Lösung erstellen