MDLUL/folgt (Aussagenlogik)
Start=folgt (Aussagenlogik)
MDLUL/folgt (Aussagenlogik) |
---|
Ziel=Aussagenlogik/Folgerung über Wahrheitsbelegung/Definition
Start=folgt (Aussagenlogik)
MDLUL/folgt (Aussagenlogik) |
---|
Ziel=Aussagenlogik/Folgerung über Wahrheitsbelegung/Definition