Prädikatenlogik/Substitution/Hintereinander/2/Aufgabe

Aus Wikiversity

Es seien Variablen, Terme und ein Ausdruck in einer prädikatenlogischen Sprache. Zeige, dass

im Allgemeinen nicht allgemeingültig ist.