Symbolic Logic: Conditional/Indirect Proofs and Proving Theorems

Question 1

Hint: You can nest CP and IP subproofs inside one another. This one is a little harder. Maybe try #2 and #3 first.

Question 2

Question 3

Go on to the next page for the answers!