two of the proofs below and use one of the indirect proof techniques (reductio ad absurdum or conditional proof) presented in chapter 8 to demonstrate the validity of the arguments. the proofs below may use any of the rules of inference or replacement rules given in chapter 8. g