Term/Termeinsetzung/Tautologie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien Terme einer prädikatenlogischen Sprache und seien verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes die Ableitbarkeit