Aussagenlogik/Maximal widerspruchsfrei/Vollständigkeit/Fakt/Beweis/Aufgabe

Aus Wikiversity

Es sei eine Menge an Aussagenvariablen und eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik. Zeige, dass für jedes entweder oder gilt.