13 points | by surprisetalk 4 days ago ago
2 comments
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).
This reminds me of the first time I was shown this in college.
I loved this method so much that in my first formal logic test I tried to solve all of the problems via this method. It was a fun experience lol
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).
This reminds me of the first time I was shown this in college.
I loved this method so much that in my first formal logic test I tried to solve all of the problems via this method. It was a fun experience lol