Hacker News new | ask | show | jobs
by kqr 1119 days ago
Modus tollens. If X -> Y, then the only way for Y to be false is if X is false.