MDLUL/Ableitung (Aussagenlogik)