Prädikatenlogik/Substitution/Rang unverändert/Aufgabe
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.Zeige durch Induktion über den Aufbau der Ausdrücke, dass sich bei einer Termsubstitution der Rang
eines Ausdrucks nicht ändert.