Aussagenlogik/Ausdrucksmenge/Widerspruchsfrei/Definition/Begriff/Inhalt

Die Menge heißt widersprüchsfrei, wenn es keinen Ausdruck mit und gibt.