Zwei Terme/Eine Termeinsetzung/Nicht ableitbar/Aufgabe
Erscheinungsbild
Zeige durch ein Beispiel, dass für Terme und eine Variable einer prädikatenlogischen Sprache der Ausdruck
nicht ableitbar sein muss.
Zeige durch ein Beispiel, dass für Terme und eine Variable einer prädikatenlogischen Sprache der Ausdruck
nicht ableitbar sein muss.