Aussagenlogik/Ableitungskalkül/Skizziere vollständige Auflistung/Aufgabe
Skizziere ein Verfahren, wie man (bei abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien
aus erhalten kann.Skizziere ein Verfahren, wie man (bei abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien
aus erhalten kann.