Prädikatenlogik/Leere Variablenmenge/Gleichheit/Symmetrie/Aufgabe
Es sei ein Symbolalphabet einer prädikatenlogischen Sprache mit einer leeren Variablenmenge. Zeige, dass man für Terme im Allgemeinen nicht ableiten kann.
Es sei ein Symbolalphabet einer prädikatenlogischen Sprache mit einer leeren Variablenmenge. Zeige, dass man für Terme im Allgemeinen nicht ableiten kann.