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

Skizziere ein Verfahren, wie man (bei ${}V$ abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien aus ${}L^{V}$ erhalten kann.

Eine Lösung erstellen