# 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](https://en.wikipedia.org/wiki/Contraposition) | | | [Proof by contrapositive - Wikipedia](https://en.wikipedia.org/wiki/Proof_by_contrapositive) | ## For Example For P > Q The [[Inverse (logic)]] would be ~P > ~Q The [[Converse (logic)|Converse]] would be Q > P The [[Negation]] would be ~(P > Q) The contrapositive of P > Q is ~P > ~Q