Evan Harmon - Memex

Contraposition

In logic and mathematics, Contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as proof by contraposition. The contrapositive of a statement has its antecedent and consequent inverted and flipped.
wikipedia:: Contraposition
Proof by contrapositive - Wikipedia

For Example

For P > Q

The Inverse (logic) would be ~P > ~Q
The Converse would be Q > P
The Negation would be ~(P > Q)
The contrapositive of P > Q is ~P > ~Q

Contraposition
Interactive graph
On this page
Contraposition
For Example