MDLUL/maximal widerspruchsfrei (Aussagenlogik)
MDLUL/maximal widerspruchsfrei (Aussagenlogik) |
---|
Start=maximal widerspruchsfrei (Aussagenlogik)
Ziel=Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition
MDLUL/maximal widerspruchsfrei (Aussagenlogik) |
---|
Start=maximal widerspruchsfrei (Aussagenlogik)
Ziel=Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition