Aussagenlogik/Ausdrucksmenge/Widerspruchsfrei/Definition/Begriff

Eine widersprüchsfreie Ausdrucksmenge in einer aussagenlogischen Sprache.