Aussagenlogik/Tautologien und Kontradiktionen/Mindestens eine Aussagenvariable mehrfach/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in einer aussagenlogischen Tautologie (und ebenso in einer aussagenlogischen Kontradiktion) mindestens eine Aussagenvariable

mehrfach vorkommen muss.