Aussagenlogik/Ableitung/Eine Variable/Unendlich viele/Aufgabe

Aus Wikiversity

Zeige, dass man aus unendlich viele Aussagen ableiten kann, die keine Tautologien

sind.