MDLUL/Tautologie (Prädikatenlogik)