Prädikatenlogik/Substitution/Hintereinander/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

im Allgemeinen nicht allgemeingültig ist.
Zur Lösung, Alternative Lösung erstellen