Prädikatenlogik/Verschiedene Terme/Verschiedene Interpretation/Aufgabe
Es sei ein Symbolalphabet und die zugehörige Sprache. Es seien verschiedene Terme. Zeige, dass es eine -Interpretation mit
gibt.
Es sei ein Symbolalphabet und die zugehörige Sprache. Es seien verschiedene Terme. Zeige, dass es eine -Interpretation mit
gibt.