Example 5 Prepositional Logic Problems Discrete Mathematics In 2022 - Propositional Calculus Proving That A Hypotheses Implies A