Substitution/Hintereinanderschaltung/Formel/Ausdrücke/Extremer/Aufgabe

Es sei ein Symbolalphabet $S$ einer Sprache erster Stufe gegeben. Es seien $x,z$ verschiedene Variablen, $t$ ein $S$-Term und $\alpha$ ein $S$-Ausdruck, wobei $z$ weder in $t$ noch in $\alpha$ vorkomme. Gilt dann die Gleichheit

$\left(\alpha \frac{z}{x}\right)\frac{t}{z}=\alpha \frac{t}{x}?$

Eine Lösung erstellen