Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gleichheit aller Terme/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine unter Ableitungen abgeschlossene Teilmenge, die zu je zwei Termen die Gleichheit enthalte. Wie viele Termklassen im Sinne von Bemerkung

gibt es? Ist widersprüchlich?
Eine Lösung erstellen