Interpretation/Termwertgleichheit/Äquivalenzrelation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet einer Sprache erster Stufe, die Menge der -Terme und eine -Interpretation. Zeige, dass auf durch

eine Äquivalenzrelation

definiert wird.
Eine Lösung erstellen