MDLUL/Aussagenvariablenmenge

Start=Aussagevariablenmenge

MDLUL/Aussagenvariablenmenge

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition