Aussagenlogik/Maximal widerspruchsfrei/Eigenschaften/Fakt/Beweis/Aufgabe

Aus Wikiversity
Wechseln zu: Navigation, Suche

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.

Zur Lösung, Alternative Lösung erstellen