Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

nicht ableitbar

sein muss.
Zur Lösung, Alternative Lösung erstellen