MDLUL/aussagenlogische Tautologie