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