Start=aussagenlogische

MDLUL/aussagenlogische

Siehe=aussagenlogisch
MDLUL/aussagenlogisch
Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition