Propositional Logic Examples In Discrete Mathematics