MDLUL/ableitbar (Prädikatenlogik Menge)

Start=ableitbar (Prädikatenlogik Menge)

MDLUL/ableitbar (Prädikatenlogik Menge)

Ziel=Prädikatenlogik/Ausdrucksmenge/Ableitbar/Definition