MDLUL/syntaktischen Tautologie (Aussagenlogik)

Aus Wikiversity
MDLUL/syntaktischen Tautologie (Aussagenlogik)

Start=syntaktischen Tautologie (Aussagenlogik)

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