Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Termklasse/Identifizierung in Interpretation/Aufgabe

Es sei ${}S$ ein Symbolalphabet, ${}T$ die zugehörige Termmenge und ${}L^{S}$ die zugehörige Sprache. Es sei ${}\Gamma \subseteq L^{S}$ eine Ausdrucksmenge. Zeige, dass die Äquivalenzrelation ${}\sim _{\Gamma }$ aus Bemerkung die semantische Äquivalenz ${}\cong _{\Gamma }$ aus Aufgabe impliziert.

Eine Lösung erstellen