MDLUL/erfüllbar (Prädikatenlogik)