Start=Tautologie

MDLUL/Tautologie

Ziel=Aussagenlogik/Semantische Tautologie/Definition