Conversion and Negation in Propositional Logic