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

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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

aus

{}L^{V}

erhalten kann.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Aussagenlogik/Ableitungskalkül/Skizziere_vollständige_Auflistung/Aufgabe&oldid=548932“

Ableitungskalkül der Aussagenlogik/Aufgaben