Start=atomar

MDLUL/atomar

Ziel=Prädikatenlogik/Atomarer Ausdruck/Definition