Interpretation/Termwertgleichheit/Äquivalenzrelation/Aufgabe

Es sei ${}S$ ein Symbolalphabet einer Sprache erster Stufe, ${}T$ die Menge der ${}S$-Terme und ${}I$ eine ${}S$-Interpretation. Zeige, dass auf ${}T$ durch

$s\sim t,{\text{ falls }}I(s)=I(t),$

eine Äquivalenzrelation definiert wird.

Eine Lösung erstellen