Start=Aussagenvariable

MDLUL/Aussagenvariable

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition