Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Maximal widerspruchsfrei (Aussagenlogik)

Eine Teilmenge ${}\Gamma \subseteq L^{V}$ zu einer Menge ${}V$ an Aussagenvariablen heißt maximal widerspruchsfrei, wenn ${}\Gamma$ widerspruchsfrei ist und jede echt größere Menge ${}\Gamma \subset \Gamma '$ widersprüchlich ist.