Aussagenlogik/Maximal widerspruchsfrei/Vollständigkeit/Fakt

Aus Wikiversity

Es sei eine Menge an Aussagenvariablen und eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.

Dann gilt für jedes entweder oder .