MDLUL/syntaktische Tautologie (Aussagenlogik)

Start=syntaktische Tautologie (Aussagenlogik)

MDLUL/syntaktische Tautologie (Aussagenlogik)

Ziel=Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition