Law-Forums.org

[menw]

I'm supposed to translate the following argument into symbolic form, using the letters provided in the order in which they are listed and then complete a proof for this argument, but I can't finish the proof, so I'm assuming I just translated it wrong... but where did I go wrong?

If either medical fees or malpractice awards escape restrictions, then health care costs will soar and millions of poor will go uninsured. If the lawyers get their way, then malpractice awards will escape restrictions. If the doctors get their way, then medical fees will escape restrictions. Either the doctors or the lawyers will get their way, and insurance companies will restrict reform. Therefore, health care costs will soar. FAHPLDI

1. (F v A) > (H • P)
2. L > A
3. D > F
4. (D v L) • I /H
5. D v L 4 SIMP
6.

[advent]

1. (F v A) > (H + P)
2. L > A
3. D > F
4. (D v L) + I Deduce: H

Your symbolization is correct.

5. D v L 4 SIMP
6. F v A 5,3,2 CD
7. H + P 1,6 MP
8. H 7 SIMP

Edit: CD is Constructive Dilemma and MP is Modus Ponens.

[byron92]

Health care is a cunundrom a riddle that can't be solved.