Zwei Terme/Termeinsetzung/Nicht ableitbar/Aufgabe
Erscheinungsbild
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.