Aussagenlogik/Ableitung/Eine Variable/Unendlich viele/Aufgabe

Zeige, dass man aus ${}\Gamma =\{p\}$ unendlich viele Aussagen ableiten kann, die keine Tautologien sind.

Eine Lösung erstellen