MDLUL/Tautologie (syntaktisch, Aussagenlogik)

Start=Tautologie (syntaktisch, Aussagenlogik)

MDLUL/Tautologie (syntaktisch, Aussagenlogik)

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