Making Sense of Proof by Contradiction [pdf]

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