MDLUL/semantische Tautologie (Aussagenlogik)

Start=semantische Tautologie (Aussagenlogik)

MDLUL/semantische Tautologie (Aussagenlogik)

Ziel=Aussagenlogik/Semantische Tautologie/Definition