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