MDLUL/Ableitung (Prädikatenlogik)

Start=Ableitung (Prädikatenlogik)

MDLUL/Ableitung (Prädikatenlogik)

Ziel=Prädikatenlogik/Ableitbar/Definition