Prädikatenlogik/Ausdruck/Substitution/Gültigkeit/Aufgabe

Es sei ein Symbolalphabet ${}S$ einer Sprache erster Stufe gegeben, ${}\alpha \in L^{S}$ und ${}I$ eine Interpretation mit ${}I\vDash \alpha$. Zeige durch ein Beispiel, dass daraus nicht im Allgemeinen die Gültigkeit ${}I\vDash \alpha {\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}$ unter einer Substitution folgt.

Zur Lösung, Alternative Lösung erstellen