Title: Picklo's Theory of Propositional Logic in Discrete Mathematics