MDLUL/Sprache der Aussagenlogik

Start=Sprache der Aussagenlogik

MDLUL/Sprache der Aussagenlogik

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition