MDLUL/ableiten (Aussagenlogik)