Contraposition (traditional logic)

In logic, contraposition is the tautology

${\displaystyle (P\rightarrow Q)\Leftrightarrow (\neg Q\rightarrow \neg P).}$

In logic, it is often useful when proving a

${\displaystyle P\rightarrow Q}$-type

statement, to simply prove its contrapositive.