Prädikatenlogik/Terme/Identifizierung in Interpretationen/Äquivalenzrelation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und die zugehörige Sprache und die zugehörige Termmenge. Es sei eine Ausdrucksmenge.

  1. Zeige, dass durch

    eine Äquivalenzrelation auf definiert wird.

  2. Wenn man vergrößert, werden dann die Äquivalenzklassen größer oder kleiner?
Zur Lösung, Alternative Lösung erstellen