Start=Aussagenmenge

MDLUL/Aussagenmenge

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition