MDLUL/aussagenlogische Sprache