MDLUL/Symbolalphabet (Prädikatenlogik)