Prädikatenlogik/Substitution/Hintereinander/2/Aufgabe

Es seien ${}x_{1},x_{2}$ Variablen, ${}t_{1},t_{2}$ Terme und ${}\alpha$ ein Ausdruck in einer prädikatenlogischen Sprache. Zeige, dass

${\left(\alpha {\frac {t_{1}}{x_{1}}}\right)}{\frac {t_{2}}{x_{2}}}\rightarrow \alpha {\frac {t_{1},t_{2}}{x_{1},x_{2}}}$

im Allgemeinen nicht allgemeingültig ist.

Zur Lösung, Alternative Lösung erstellen