Hacker News new | ask | show | jobs
by Tyr42 3439 days ago
Contrapositive is the fancy word for that technique.

A -> B iff not(B) -> not(A)