Prädikatenlogik/Leere Variablenmenge/Gleichheit/Symmetrie/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet einer prädikatenlogischen Sprache

mit einer leeren Variablenmenge. Zeige, dass man für Terme im Allgemeinen nicht ableiten kann.