MDLUL/Ableitung (Aussagenlogik)
Start=Ableitung (Aussagenlogik)
MDLUL/Ableitung (Aussagenlogik) |
---|
Ziel=Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition
Start=Ableitung (Aussagenlogik)
MDLUL/Ableitung (Aussagenlogik) |
---|
Ziel=Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition