Aussagenlogik/Ableitung/Eine Variable/Unendlich viele/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

sind.
Eine Lösung erstellen