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

Aus Wikiversity
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.
Eine Lösung erstellen