contrapositive

American  

[kon-truh-poz-i-tiv] / ˌkɒn trəˈpɒz ɪ tɪv /

adjective

1. of or relating to contraposition.

---

noun

1. a contrapositive statement of a proposition.

contrapositive British  

/ ˌkɒntrəˈpɒzɪtɪv /

adjective

1. placed opposite or against

---

noun

1. logic

   1. a conditional statement derived from another by negating and interchanging antecedent and consequent

   2. a categorial proposition obtained from another, esp validly, by any of a number of operations including negation, transferring the terms, changing their quality, and also possibly weakening from universal to particular

Etymology

Origin of contrapositive

First recorded in 1855–60; contraposit(ion) + -ive

Explanation

In logic, a contrapositive is a new version of a statement like "If the sun rises there, then that's east" that reverses and negates it, but is still logically sound: "If that's not east, then the sun doesn't rise there." Contrapositive is derived from the Latin contraponere, "to place opposite." To form a contrapositive, you take a conditional statement, also called an "If…then" statement, flip around the hypothesis and conclusion, and make both negative. If the original statement is true, the contrapositive will be true, too. For example, if you start with the sentence "If a shape has three sides, it's a triangle," its contrapositive, "If a shape isn't a triangle, it does not have three sides," is also valid.