logoalt Hacker News

dhosektoday at 3:18 AM0 repliesview on HN

Worth noting, a lot of times, what people think is proof by contradiction is in fact proving the contrapositive (i.e., if you want to prove, “if p then q”, proving “if not q then not p” will also suffice).