MDLUL/Ableitung (Aussagenlogik)

Start=Ableitung (Aussagenlogik)

MDLUL/Ableitung (Aussagenlogik)

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