Prädikatenlogik/Substitution/Gebundenes x ersetzen/Aufgabe

Es sei ${}x$ eine Variable, ${}t$ ein Term und ${}\alpha \in L^{S}$ ein Ausdruck. Zeige

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

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