I need help solving proofs from Exercise 5-7 #24-36 (on page 60 of the PDF NOT Textbook page # like 271)
Construct the deductions for each of the following proofs. By the given premises, use the rules for deduction to get to the “:.” answer. For each line provide the rule used & number the lines.
1. P -> Q (Premise)
2. R -> S (Premise)
3. Q -> ~S (Premise) /:. P -> ~R
4. P -> ~S CA 1,3
5. ~S -> ~R CONTR 2
:. 6. P -> ~R CA 4,6