Prädikatenlogik/Substitution/Abbildung/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.

a) Interpretiere die Termsubstitution $\frac{t_1,\dots ,t_k}{x_1,\dots ,x_k}$ als Abbildung.

b) Interpretiere die Substitution von Ausdrücken $\frac{t_1,\dots ,t_k}{x_1,\dots ,x_k}$ als Abbildung.

Eine Lösung erstellen