Logic 101 (#42): Nested Proofs

Logic 101

Proofs by contradiction and conditional proofs do not need to be done one at a time. Instead, you can layer them as necessary to prove what you are looking for. This video gives an example of a nested proof and discusses some of the rules for them.