MDLUL/Ableitungsbeziehung

Start=Ableitungsbeziehung

MDLUL/Ableitungsbeziehung

Ziel=Prädikatenkalkül/Ableitbar/Definition