Contraposition rule

The contraposition rule is a rule in logic which states that "if P then Q" implies and is implied by "if not Q, then not P".

The rule may be expressed formally as:

α → β is equivalent to ¬β → ¬α