## 4. Show that the additive inverse, or negative, of an even number is an even number using a direct proof

Let’s refresh the concept of direct proof. “A direct proof of a conditional statement p → q is constructed when the first step is the assumption that p is true; subsequent steps are constructed using rules of inference, with the final step showing that q must also be true. A direct proof shows that a […]