Prädikatenlogik/Substitution/Reihenfolge/Aufgabe

Es sei ${}\alpha \in L^{S}$. Zeige, dass die Gleichheit

${}{\left(\alpha {\frac {y}{x}}\right)}{\frac {z}{y}}=\alpha {\frac {y,z}{x,y}}\,$

im Allgemeinen nicht gilt.

Eine Lösung erstellen