MDLUL/Satz (Prädikatenlogik)