Prädikatenlogik/Verschiedene Terme/Verschiedene Interpretation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und die zugehörige Sprache. Es seien verschiedene Terme. Zeige, dass es eine -Interpretation mit

gibt.
Eine Lösung erstellen