MDLUL/maximal widerspruchsfrei (Aussagenlogik)

Aus Wikiversity
MDLUL/maximal widerspruchsfrei (Aussagenlogik)

Start=maximal widerspruchsfrei (Aussagenlogik)

Ziel=Aussagenlogik/Ausdrucksmenge/Maximal widerspruchsfrei/Definition