Consider the universal conditional:
Vn (On -> En)
Note: On is a predicate that is true only when the integer n is odd, and En is a predicate that is true only when the integer n is even.
Prove the statement is true using the proof method "Proof by contraposition." You must use the proof method contraposition and within it, you must show you understand the formal definition of odd and even integers.
Because of the limitations of Canvas, you should write your proof as a sequence of formal statements followed by English-language justifications. You do not need to create a Canvas table. For full credit, justify every statement and explicitly begin and end the proof as shown in lectures. If you find it is too hard to use the Canvas insert math tool, then formalize in English. For example, instead of the formal problem statement, I could have written: If n is an integer and the expression 7n+3 evaluates as an odd integer, then the integer n must have been even.
