MDLUL/aussagenlogische Sprache

Start=aussagenlogische Sprache

MDLUL/aussagenlogische Sprache

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition