Zum Inhalt springen

MDLUL/syntaktische Tautologie (Aussagenlogik)