Aussagenlogik/Maximal widerspruchsfrei/Eigenschaften/Fakt

Aus Wikiversity

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

  1. Für jedes ist entweder oder .
  2. Aus folgt .
  3. Es ist genau dann, wenn und .
  4. Es ist genau dann, wenn oder .