Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Maximal widerspruchsfrei (Aussagenlogik)

Eine Teilmenge zu einer Menge an Aussagenvariablen heißt maximal widerspruchsfrei, wenn widerspruchsfrei ist und jede echt größere Menge widersprüchlich ist.