What Is Propositional Logic In Discrete Mathematics