Prädikatenlogik/Substitution/Gebundenes x ersetzen/Aufgabe/Lösung


Die Variable ist in nicht frei. Daher ist die Menge der relevanten zu substituierenden Variablen leer und somit auch die Menge der substituierenden Terme. Also ist und daher