MDLUL/aussagenlogischer Widerspruch

Start=aussagenlogischer Widerspruch

MDLUL/aussagenlogischer Widerspruch

Ziel=Aussagenlogik/Semantische Kontradiktion/Definition