Prädikatenlogik/Verschiedene Terme/Verschiedene Interpretation/Aufgabe

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache. Es seien ${}s,t$ verschiedene Terme. Zeige, dass es eine ${}S$-Interpretation ${}I$ mit

${}I(s)\neq I(t)\,$

gibt.

Eine Lösung erstellen