MDLUL/syntaktische Tautologien (Aussagenlogik)

Start=syntaktische Tautologien (Aussagenlogik)

MDLUL/syntaktische Tautologien (Aussagenlogik)

Ziel=Aussagenlogik/Syntaktische_Tautologien/Implikation,_Negation,_Konjunktion/Axiom