Contrapositive equivalence

Layer 0 — Mathematicsin the logic subtree

A conditional is logically equivalent to its contrapositive. Basis for proof by contrapositive: to prove p → q, prove ¬q → ¬p instead.