Zum Inhalt springen

MDLUL/Tautologie (syntaktisch, Aussagenlogik)