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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Zur gelösten Aufgabe