Term/Termeinsetzung/Tautologie/Aufgabe
Erscheinungsbild
Es seien Terme einer prädikatenlogischen Sprache und seien verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes die Ableitbarkeit
Es seien Terme einer
prädikatenlogischen Sprache
und seien
verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes
die Ableitbarkeit