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

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache. Zeige, dass zu

{}\Gamma =\emptyset \,

die in Bemerkung

eingeführte Äquivalenzrelation die Identität ist.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gamma_leer/Aufgabe&oldid=462623“

Der Vollständigkeitssatz/Aufgaben