MDLUL/aussagenlogische