MDLUL/widerspruchsfrei (Aussagenlogik)