Fomal Logic Propositional Logic Question Need answered

SoccerBoss
Category:
Philosophy
Price: $5 USD

Question description

Part 1:
Select an argument from below to solve and discuss. 

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)

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)

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)

Part 2:
Translate the selected argument into symbolic form, using the letters in the order in which they are listed. Then use indirect proof and the eighteen rules of inference to derive the conclusion. Having done so, attempt to derive the conclusion without using indirect proof.

Part 3:
Share your translation and conclusion

Studypool has helped 1,244,100 students
Ask your homework questions. Receive quality answers!

Type your question here (or upload an image)

1826 tutors are online

Brown University





1271 Tutors

California Institute of Technology




2131 Tutors

Carnegie Mellon University




982 Tutors

Columbia University





1256 Tutors

Dartmouth University





2113 Tutors

Emory University





2279 Tutors

Harvard University





599 Tutors

Massachusetts Institute of Technology



2319 Tutors

New York University





1645 Tutors

Notre Dam University





1911 Tutors

Oklahoma University





2122 Tutors

Pennsylvania State University





932 Tutors

Princeton University





1211 Tutors

Stanford University





983 Tutors

University of California





1282 Tutors

Oxford University





123 Tutors

Yale University





2325 Tutors