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