MDLUL/syntaktische Tautologie (Aussagenlogik)