MDLUL/syntaktische Tautologie

Start=syntaktische Tautologie

MDLUL/syntaktische Tautologie

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