Tautologien/Registeraufzählbar/Aufgabe
Es sei ein Symbolalphabet mit einer -Aufzählung der in vorkommenden Variablen, Konstanten, Funktionssymbole und Relationssymbole. Zeige, dass es auch eine -Aufzählung der -Tautologien
gibt.Es sei ein
Symbolalphabet
mit einer
-Aufzählung der in
vorkommenden Variablen, Konstanten, Funktionssymbole und Relationssymbole. Zeige, dass es auch eine
-Aufzählung der
-Tautologien