====== Contraposition ======
A [[logic:inferences:index|valid inference]] in which the [[glossary:antecedent|antecedent]] and [[glossary:consequent|consequent]] of a [[glossary:subjunction|subjunction]] are exchanged and both negated.
As a formula, this looks as follows:
> ''( A → B ) ⇔ ( ⌐B → ⌐A )''
For example:
> When it rains, the road gets wet.
> ⇒ If the road does not get wet, it does not rain.
===== Description =====
The contraposition is a logical transformation rule that follows from the [[logic:inferences:modus_tollens|Modus Tollens]]. It is valid in both directions, which means that the two forms ''A → B'' as well as ''⌐B → ⌐A'' are equivalent.
In the table below the valid transformations and a selection of invalid ones are compared:
| ^ //Contraposition// \\ (valid forms) ^^ ^ //Invalid forms// ^^
^Origin | A → B \\ (if A, then B | ⌐B -> ⌐A \\ (if not‑B, then not‑A) | | A → B \\ (if A, then B) | A → B \\ (if A, then B) |
^Transformation | ⌐B -> ⌐A \\ (if not‑B, then not‑A) | A → B \\ (if A, then B | | B → A \\ (if B, then A) | ⌐A → ⌐B \\ (if not‑A, then not‑B) |
^See also: | [[logic:inferences:modus_tollens|Modus Tollens]] || | [[logic:formal_fallacies:affirming_the_consequent|Affirming the consequent]] | [[logic:formal_fallacies:denying_the_antecedent|Denying the antecedent]] |
===== See also =====
* [[logic:inferences:modus_tollens|Modus Tollens]]
* [[glossary:subjunction|Subjunction]]
===== More Information =====
* [[wp>Contraposition]] on //Wikipedia//