Tautologische Termgleichheit/Zeichenketten/Aufgabe

Es sei ${}S$ ein Symbolalphabet einer Sprache erster Stufe. Es seien ${}S$-Terme ${}s,t$ mit

$\vdash s=t$

gegeben. Zeige, dass es sich bei ${}s$ und ${}t$ um eine identische Zeichenreihe handelt.

Eine Lösung erstellen