Contraposition (traditional logic)

Controposition 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.