MDLUL/folgt (Aussagenlogik)

MDLUL/folgt (Aussagenlogik)

Start=folgt (Aussagenlogik)

Ziel=Aussagenlogik/Folgerung über Wahrheitsbelegung/Definition