The contrapositive of a statement negates the conclusion as well as the hypothesis. It is logically equivalent to the original statement asserted. Often it is easier to prove the contrapositive than the original statement. This section will demonstrate this fact.

## The ConceptEdit

The idea of the contrapositive is proving the statement "There is no *x* such that *P(x)* is false." as opposed to "*P(x)* is true for every *x*."

This is not to be confused with a Proof by Contradiction. If we are trying to prove the statement , we can do it constructively, by assuming that *P* is true and showing that the logical conclusion is that *Q* is also true. The contrapositive of this statement is , so we assume that *Q* is false and show that the logical conclusion is that *P* is also false. However, in a proof by contradiction, we assume that *P* is true and *Q* is false and arrive at some sort of illogical statement such as "1=2."

### A proof revisitedEdit

The most basic example would be to redo a proof given in the last section. We proved Theorem 2.1.4 to be true by the constructive method. Now we can prove the same result using the contrapositive method. For ease of reading, I will change the wording of the theorem.

**Theorem 2.2.1**(also Theorem 2.1.4).*If A and B are finite sets and then .*

The wording is probably more natural in the 2.1.4 version, but this shows how the proof is to be done. We assume that we have two finite sets *A* and *B* and that they do not have the same number of elements. So let and . Then, number the elements in *A* and *B*, so and . Since , either or . Without loss of generality, we assume that . Consider the set . Since *A* has only *n* elements, we can take out at most *n* elements from *B*, leaving at least *m-n* elements in *B-A*. This shows that there is at least one element in *B* that is not in *A*, therefore .

### ArithmeticEdit

I'm sure we all know how to do arithmetic already, but mathematicians like to be "rigorous." That means that we like to have clear definitions of everything we use.

**Axiom 7.**The numbers 0 and 1 exist.**Definition 2.2.2.**The operator + is defined so that 1+0=1 and is an infinite set. We write the elements of this set as and define .**Definition 2.2.3.**The operator is defined so that and We also define

The above definitions are just formalities. We know what numbers are and how they work. This is just a mathematical definition. Notice that only integer multiplication has been defined. Now we need one more definition to prove the following theorem.

**Definition 2.2.4.**An integer is said to be*even*if it is a multiple of two. That is, 'n' is even if*n = 2k*for some integer*k*. If this is not true, then it is said to be*odd.*The property of whether a number is even or odd is its*parity.***Theorem 2.2.5.***If x and y are integers such that is odd, then*

To prove this by contrapositive, we assume that and show that is even. If , then , which by Definition 2.2.3 is , so is a multiple of 2 and is therefore even.

## BiconditionalsEdit

Proofs by contrapositive are very helpful in proving biconditional statements. Recall that a biconditional is of the form To prove a biconditional we need to prove that and However, if we use the contrapositive we can show and

### More ArithmeticEdit

Prime numbers are very interesting in number theory, but also in arithmetic. In fact, the Fundamental Theorem of Arithmetic has to do with primes. Here we will not give a proof, just a statement of the the theorem.

**Definition 2.2.6.**A*prime number*is a positive integer that has no multiple other than 1 and itself. A number that is not prime is called*composite.***Theorem 2.2.7 (Fundamental Theorem of Arithmetic).**Every integer has a unique factorization of primes, excluding reorderings.

This theorem will be very useful in the proof of the next theorem.

**Theorem 2.2.8.***An integer n is even if and only if its square is even.***Proof**- First we do a constructive proof. Suppose that
*n*is an even integer. Then by defintion of even, for some integer*k*. Then . Since is an integer because it is the product of integers, we see that is even. This shows the "only-if" part of the theorem. - To show the "if" part, we use a proof by contrapositive. Assume that
*n*is*not*even, or that*n*is odd. Let be the prime factorization of*n*. Then none of the are 2 for any*i*. We consider the square and notice that there are no multiples that are equal to 2, so we conclude that is odd. This proves the theorem.

- First we do a constructive proof. Suppose that

## ExercisesEdit

- Prove the following by contrapositive:
- An integer
*n*is even if and only if*n+1*is odd. - If
*n*and*m*have the same parity then*n+m*is even.

- An integer