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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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