MDLUL/Interpretation (Aussagenlogik)