Prädikatenlogik/Ausdruck/Substitution/Gültigkeit/Aufgabe/Lösung

Die Sprache enthalte Konstanten  $c\ne d$  und es sei eine Interpretation mit  $I(c)\ne I(d)$ 

gegeben. Die Variable $x$ sei bei der Interpretation durch $I(c)$ belegt. Dann gilt $I\models x=c$. Die Substitution $\frac{d}{x}$ führt den Ausdruck $x=c$ in $d=c$ über, und dieser gilt nicht unter der Interpretation.

Zur gelösten Aufgabe