MDLUL/ableiten (Aussagenlogik)

Start=ableiten (Aussagenlogik)

MDLUL/ableiten (Aussagenlogik)

Ziel=Aussagenlogik/Ausdrucksmenge/Ableitungsbeziehung/Definition