MDLUL/atomarer Ausdruck

Start=atomarer Ausdruck

MDLUL/atomarer Ausdruck

Ziel=Prädikatenlogik/Atomarer Ausdruck/Definition