contraposition

The statement that P implies Q is equivalent to the statement that not Q implies not P. (P → Q) ↔ (¬Q → ¬P)