MDLUL/aussagenlogisch