Zwei Terme/Termeinsetzung/Nicht ableitbar/Aufgabe
Es seien Terme einer prädikatenlogischen Sprache und sei eine Variable. Zeige durch ein Beispiel, dass
nicht ableitbar
sein muss.Es seien Terme einer prädikatenlogischen Sprache und sei eine Variable. Zeige durch ein Beispiel, dass
nicht ableitbar
sein muss.