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 \,.$

Zur Lösung, Alternative Lösung erstellen