Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Termklasse/Identifizierung in Interpretation/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei ein Symbolalphabet, die zugehörige Termmenge und die zugehörige Sprache. Es sei eine Ausdrucksmenge. Zeige, dass die Äquivalenzrelation aus Bemerkung die semantische Äquivalenz aus Aufgabe
impliziert.