Zwei Terme/Termeinsetzung/Nicht ableitbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Terme einer prädikatenlogischen Sprache und sei eine Variable. Zeige durch ein Beispiel, dass

nicht ableitbar

sein muss.