MDLUL/widersprüchlich (Aussagenlogik)