Example Of Propositional Logic Argument