Prädikatenlogik/Substitution/Hintereinander/Aufgabe

Es seien ${}x_{1},x_{2}$ Variablen, ${}t_{1},t_{2}$ Terme und ${}\alpha$ ein Ausdruck in einer prädikatenlogischen Sprache. Zeige, dass

\alpha {\frac {t_{1},t_{2}}{x_{1},x_{2}}}\rightarrow {\left(\alpha {\frac {t_{1}}{x_{1}}}\right)}{\frac {t_{2}}{x_{2}}}

im Allgemeinen nicht allgemeingültig ist.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.