MDLUL/syntaktische Tautologien (Aussagenlogik)