Aussagenlogik/Tautologien und Kontradiktionen/Mindestens eine Aussagenvariable mehrfach/Aufgabe
Zur Navigation springen
Zur Suche springen
Zeige, dass in einer aussagenlogischen Tautologie (und ebenso in einer aussagenlogischen Kontradiktion) mindestens eine Aussagenvariable
mehrfach vorkommen muss.