Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gleichheit aller Terme/Aufgabe
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?