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.