Start=Kontradiktion

MDLUL/Kontradiktion

Ziel=Aussagenlogik/Semantische Kontradiktion/Definition