MDLUL/widersprüchlich (Aussagenlogik)

MDLUL/widersprüchlich (Aussagenlogik)

Start=widersprüchlich (Aussagenlogik)

Ziel=Aussagenlogik/Ausdrucksmenge/Widerspruchsfrei/Widersprüchlich/Definition