Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe/Lösung

Wir betrachten ${}r_{1}=x$, ${}r_{2}=y$ und ${}s=c$, wobei ${}x,y$ Variablen seien und ${}c$ eine Konstante sei. Dann ist ${}r_{1}{\frac {s}{x}}=c$ und ${}r_{2}{\frac {s}{x}}=y$. Die Aussage lautet also in diesem Spezialfall

$x=y\rightarrow c=y.$

Dieser Ausdruck ist aber nicht allgemeingültig, da man ${}x$ und ${}y$ durch ein gemeinsames, von ${}c^{M}$ verschiedenes Element belegen kann.

Zur gelösten Aufgabe