Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe

Aus Wikiversity

Zeige durch ein Beispiel, dass für Terme und eine Variable einer prädikatenlogischen Sprache der Ausdruck

nicht ableitbar

sein muss.