Prädikatenlogik/Substitution/Rang unverändert/Aufgabe
Zeige durch Induktion über den Aufbau der Ausdrücke, dass sich bei einer Termsubstitution der Rang
eines Ausdrucks nicht ändert.Zeige durch Induktion über den Aufbau der Ausdrücke, dass sich bei einer Termsubstitution der Rang
eines Ausdrucks nicht ändert.