Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition/Begriff/Inhalt

Aus Wikiversity

Die Teilmenge heißt maximal widerspruchsfrei, wenn widerspruchsfrei ist und jede echt größere Menge widersprüchlich ist.