MDLUL/maximal widerspruchsfrei (Aussagenlogik)

Start=maximal widerspruchsfrei (Aussagenlogik)

MDLUL/maximal widerspruchsfrei (Aussagenlogik)

Ziel=Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition