Wikiversity

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

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

mehrfach vorkommen muss.
Eine Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Aussagenlogik/Tautologien_und_Kontradiktionen/Mindestens_eine_Aussagenvariable_mehrfach/Aufgabe&oldid=839866“