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.