Zum Inhalt springen

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.