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

Eine Lösung erstellen