MDLUL/allgemeingültig (Aussagenlogik)

Start=allgemeingültig (Aussagenlogik)

MDLUL/allgemeingültig (Aussagenlogik)

Ziel=Aussagenlogik/Semantische Tautologie/Definition