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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

aus erhalten kann.
Eine Lösung erstellen