MDLUL/aussagenlogische Aussage

Start=aussagenlogische Aussage

MDLUL/aussagenlogische Aussage

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition