goto: Sidebar Contents

---

Contrapositive

If [A => B] is true, then the contrapositive [not B => not A] must also be true.

The converse [B => A] and inverse [not A => not B] are not necessarily true, but are equivalent to each other.