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