Contraposition - Definition and Overview

In logic, contraposition is the tautology

<math>(P \rightarrow Q) \Leftrightarrow (\neg Q \rightarrow \neg P).<math>

In logic, it is often useful when proving a

<math>P \rightarrow Q<math>-type

statement, to simply prove its contrapositive.