Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Maximal widerspruchsfrei (Aussagenlogik)

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