Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition
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.