MDLUL/allgemeingültig (Aussagenlogik)

Aus Wikiversity
MDLUL/allgemeingültig (Aussagenlogik)

Start=allgemeingültig (Aussagenlogik)

Ziel=Aussagenlogik/Semantische Tautologie/Definition