Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe

Zeige durch ein Beispiel, dass für Terme ${}r_{1},r_{2},s$ und eine Variable ${}x$ einer prädikatenlogischen Sprache ${}L^{S}$ der Ausdruck

$r_{1}=r_{2}\rightarrow r_{1}{\frac {s}{x}}=r_{2}{\frac {s}{x}}$

nicht ableitbar

sein muss.

Zur Lösung, Alternative Lösung erstellen