MDLUL/ableitbar (Prädikatenlogik)

Start=ableitbar (Prädikatenlogik)

MDLUL/ableitbar (Prädikatenlogik)

Ziel=Prädikatenlogik/Ableitbar/Definition