Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Funktion/Dreifacher Nachfolger/Aufgabe

Das Symbolalphabet bestehe neben Variablen aus einer Konstanten und einem einstelligen Funktionssymbol . Wir betrachten die Teilmengen

mit

Es seien die zugehörigen Äquivalenzrelationen gemäß Bemerkung auf der Termmenge.

  1. Gelten die Äquivalenzen
  2. Gelten die Äquivalenzen
  3. Welche Inklusionsbeziehungen bestehen zwischen ?
  4. Wie viele Termklassen gibt es zu , wenn die Variablenmenge nur aus besteht?