Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gamma leer/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und die zugehörige Sprache. Zeige, dass zu

die in Bemerkung

eingeführte Äquivalenzrelation die Identität ist.
Eine Lösung erstellen