Contraposition

In <a href="/facts/Logic/8JnpJLtt">logic</a> and <a href="/facts/Mathematics/pxTouaz4">mathematics</a>, contraposition, or transposition, refers to the <a href="/facts/Inference/RBbe95bP">inference</a> of going from a <a href="/facts/Conditional_sentence/qJvIK5y4">conditional statement</a> into its <a href="/facts/Logically_equivalent/ysCWmsxA">logically equivalent</a> contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its <a href="/facts/Antecedent_(logic)/8VVVqa06">antecedent</a> and <a href="/facts/Consequent/UIzcuaKF">consequent</a> <a href="/facts/Negation/q5AQBvBj">negated</a> and <a href="/facts/Conversion_(logic)/VhlUrxxx">swapped</a>.
<a href="/facts/Material_conditional/hYf4b7AE">Conditional statement</a> 
 
 
 
 P
 →
 Q
 
 
 {\displaystyle P\rightarrow Q}
 
. In <a href="/facts/Logical_connective/VkPhUs6M">formulas</a>: the contrapositive of 
 
 
 
 P
 →
 Q
 
 
 {\displaystyle P\rightarrow Q}
 
 is 
 
 
 
 ¬
 Q
 →
 ¬
 P
 
 
 {\displaystyle \neg Q\rightarrow \neg P}
 
.
If P, Then Q. — If not Q, Then not P. "If it is raining, then I wear my coat." — "If I don't wear my coat, then it isn't raining."
The law of contraposition says that a conditional statement is true if, and only if, its contrapositive is true.
Contraposition (
 
 
 
 ¬
 Q
 →
 ¬
 P
 
 
 {\displaystyle \neg Q\rightarrow \neg P}
 
) can be compared with three other operations:

<a href="/facts/Inverse_(logic)/oBKQJ15R">Inversion</a> (the inverse), 
 
 
 
 ¬
 P
 →
 ¬
 Q
 
 
 {\displaystyle \neg P\rightarrow \neg Q}

"If it is not raining, then I don't wear my coat." Unlike the contrapositive, the inverse's <a href="/facts/Truth_value/SY4e2w8l">truth value</a> is not at all dependent on whether or not the original proposition was true, as evidenced here.
<a href="/facts/Converse_(logic)/VhlUrxxx">Conversion</a> (the converse), 
 
 
 
 Q
 →
 P
 
 
 {\displaystyle Q\rightarrow P}

"If I wear my coat, then it is raining." The converse is actually the contrapositive of the inverse, and so always has the same truth value as the inverse (which as stated earlier does not always share the same truth value as that of the original proposition).
<a href="/facts/Negation/q5AQBvBj">Negation</a> (the logical complement), 
 
 
 
 ¬
 (
 P
 →
 Q
 )
 
 
 {\displaystyle \neg (P\rightarrow Q)}

"It is not the case that if it is raining then I wear my coat.", or equivalently, "Sometimes, when it is raining, I don't wear my coat." If the negation is true, then the original proposition (and by extension the contrapositive) is false.
Note that if 
 
 
 
 P
 →
 Q
 
 
 {\displaystyle P\rightarrow Q}
 
 is true and one is given that 
 
 
 
 Q
 
 
 {\displaystyle Q}
 
 is false (i.e., 
 
 
 
 ¬
 Q
 
 
 {\displaystyle \neg Q}
 
), then it can logically be concluded that 
 
 
 
 P
 
 
 {\displaystyle P}
 
 must be also false (i.e., 
 
 
 
 ¬
 P
 
 
 {\displaystyle \neg P}
 
). This is often called the law of contrapositive, or the <a href="/facts/Modus_tollens/sqf3PTlf">modus tollens</a> <a href="/facts/Rule_of_inference/QV5NklQ9">rule of inference</a>.

Contraposition open-in-new

Contraposition