MDLUL/Ableitungsbeziehung (Aussagenlogik)