MDLUL/Folgerungsbeziehung (Aussagenlogik)

MDLUL/Folgerungsbeziehung (Aussagenlogik)

Start=Folgerungsbeziehung (Aussagenlogik)

Ziel=Aussagenlogik/Folgerung über Wahrheitsbelegung/Definition