MDLUL/folgt (Aussagenlogik)