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

Die Variable ${}x$ ist in ${}\forall x\alpha$ nicht frei. Daher ist die Menge der relevanten zu substituierenden Variablen leer und somit auch die Menge der substituierenden Terme. Also ist ${}v=x$ und daher

{}(\forall x\alpha ){\frac {t}{x}}=\forall x(\alpha {\frac {x}{x}})=\forall x\alpha \,.

Zur gelösten Aufgabe

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.