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.
Eine Lösung erstellen