Zum Inhalt springen

MDLUL/syntaktische Tautologien (Aussagenlogik)