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