MDLUL/Sprache der Aussagenlogik