Proof by contrapositive

In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. More specifically, the contrapositive of the statement "if A, then B" is "if not B, then not A." A statement and its contrapositive are logically equivalent, in the sense that if the statement is true, then its contrapositive is true and vice versa.[1]

In mathematics, proof by contrapositive, or proof by contraposition, is a rule of inference used in proofs, where one infers a conditional statement from its contrapositive.[2] In other words, the conclusion "if A, then B" is inferred by constructing a proof of the claim "if not B, then not A" instead. More often than not, this approach is preferred if the contrapositive is easier to prove than the original conditional statement itself.

Logically, the validity of proof by contrapositive can be demonstrated by the use of the following truth table, where it is shown that pq and qp share the same truth values in all scenarios:

p q p q pq qp
TTFFTT
TFFTFF
FTTFTT
FFTTTT

Difference with proof by contradiction

Proof by contradiction: Assume (for contradiction) that is true. Use this assumption to prove a contradiction. It follows that is false, so is true.

Proof by contrapositive: To prove , prove its contrapositive statement, which is .

Example

Let be an integer.

To prove: If is even, then is even.

Although a direct proof can be given, we choose to prove this statement by contraposition. The contrapositive of the above statement is:

If is not even, then is not even.

This latter statement can be proven as follows: suppose that x is not even, then x is odd. The product of two odd numbers is odd, hence is odd. Thus is not even.

Having proved the contrapositive, we can then infer that the original statement is true.[3]

See also

References

  1. Sheldon, Frederick. "Conditional Statement Forms". www.csm.ornl.gov. Retrieved 2019-10-26.
  2. Cusick, Larry. "Proofs by Contrapositive". zimmer.csufresno.edu. Retrieved 2019-10-26.
  3. Franklin, J.; A. Daoud (2011). Proof in Mathematics: An Introduction. Sydney: Kew Books. ISBN 978-0-646-54509-7. (p. 50).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.