Logic question, philosophy homework help

Select an argument from below to solve and discuss. I have translated the selected argument into symbolic form, using the letters in the order in which they are listed and started the indirect proof. Using the rules for  indirect proof and the eighteen rules of inference attempt to derive the conclusion. Having done so, attempt to derive the conclusion without using indirect proof. Share your translation and conclusions with the class. [For examples, see pages 437-438 of the text. ]

As this discussion progresses, compare and contrast your classmates’ proofs with your own. Include any comments or questions you have on this discussion that will extend the conversation.

1. If either the sea turtle population continues to decrease or rescue efforts are commenced to save the sea turtle from extinction, then nesting sanctuaries will be created and the indiscriminate slaughter of these animals will be halted. If either nesting sanctuaries are created or poachers are arrested, then if the indiscriminate slaughter of these animals is halted, then the sea turtle population will not continue to decrease. Therefore, the sea turtle population will not continue to decrease. (C, R, N, I, P)

1. (C ∨ R) ⊃ (N • I)

2. (N ∨ P) ⊃ (I ⊃ ∼C) / ∼C

     3. C AIP

     4. C ∨ R 3, Add

   

2. Either deposits should be required on beer and soft drink containers, or these containers will be discarded along highways and the countryside will look like a dump. If these containers will be discarded either in parks or along highways, then deposits should be required on soft drink containers. Therefore, deposits should be required on soft drink containers. (B, S, H, C, P)

1. (B • S) ∨ (H • C)

2. (P ∨ H) ⊃ S / S

      3. ∼S AIP

      4. ∼(P ∨ H) 2, 3, MT

      5. ∼P • ∼H 4, DM

      6. ∼H • ∼P 5, Com

3. If asbestos workers sue their employers, then if punitive damages are awarded, then their employers will declare bankruptcy. If asbestos workers sue their employers, then punitive damages will be awarded. If asbestos workers contract asbestosis, then either they will sue their employers or their employers will declare bankruptcy. Therefore, either asbestos workers will not contract asbestosis or their employers will declare bankruptcy. (S, P, B, C)

1. S ⊃ (P ⊃ B)

2. S ⊃ P

3. C ⊃ (S ∨ B) / ∼C ∨ B

     4. C • ∼B AIP