Aussagenlogik/Maximal widerspruchsfrei/Eigenschaften/Fakt/Beweis/Aufgabe
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.
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.