MDLUL/Tautologien (syntaktisch, Aussagenlogik)

Aus Wikiversity
MDLUL/Tautologien (syntaktisch, Aussagenlogik)

Start=Tautologien (syntaktisch, Aussagenlogik)

Siehe=Tautologie (syntaktisch, Aussagenlogik)
MDLUL/Tautologie (syntaktisch, Aussagenlogik)
Ziel=Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition