Aussagenlogik/Maximal widerspruchsfrei/Eigenschaften/Fakt

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. 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 .
Zum Beweis, Alternativen Beweis erstellen