Aussagenlogik/Ableitungskalkül/Skizziere vollständige Auflistung/Aufgabe

Aus Wikiversity

Skizziere ein Verfahren, wie man (bei abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien

aus erhalten kann.