MDLUL/Ableiten (Prädikatenlogik)

Start=Ableiten (Prädikatenlogik)

MDLUL/Ableiten (Prädikatenlogik)

Ziel=Prädikatenkalkül/Ableitbar/Definition