Prädikatenlogik/Satz/Substitution/Aufgabe

Es sei ein Symbolalphabet $S$ einer Sprache erster Stufe gegeben. Es seien $x_1,\dots ,x_k$ paarweise verschiedene Variablen und $t_1,\dots ,t_k$ fixierte $S$-Terme. Zeige, dass für jeden $S$-Satz $\alpha \in L_0^S$ die Gleichheit

$\alpha \frac{t_1,\dots ,t_k}{x_1,\dots ,x_k}=\alpha$

gilt.

Zur Lösung, Alternative Lösung erstellen