Question Home |
Position:Home>Philosophy> Sentential Logic Problem - No CP or IP - NEED HELP QUICK?Question:I am having a really hard time with this problem, I've attempted it over the past two hours. I am sure I am missing something but can't figure it out. The proof can not make use of the CP or IP rule. I've attempted to find the solution through a constructed dilemma to no avail (Need (J v ~G)) I tried to get that through a hypothetical syllogism but couldn't get it either. So I figure I need to make better use of distribution or exportation but I just can't see what I'm doing wrong.... Please any help is appreciated, approaches, solutions, hints - whatever! Thanks a million in advance. 1. F > (G & H) 2. I > (~G & ~J) / (I & F) > K Best Answer - Chosen by Asker: I am having a really hard time with this problem, I've attempted it over the past two hours. I am sure I am missing something but can't figure it out. The proof can not make use of the CP or IP rule. I've attempted to find the solution through a constructed dilemma to no avail (Need (J v ~G)) I tried to get that through a hypothetical syllogism but couldn't get it either. So I figure I need to make better use of distribution or exportation but I just can't see what I'm doing wrong.... Please any help is appreciated, approaches, solutions, hints - whatever! Thanks a million in advance. 1. F > (G & H) 2. I > (~G & ~J) / (I & F) > K Depending on the rules in your book, you may need to adjust this: 1. F -> (G & H) 2. I -> (~G & ~J)............/ (I & F) -> K 3. ~F v (G & H).............1, Impl 4. (~F v G) & (~F v H)..3, Dist 5. ~F v G.......................4, Simp 6. F -> G.......................5, Impl 7. ~I v (~G &~J)............2, Impl 8. (~I v ~G) & (~I v ~J)..7, Dist 9. ~I v ~G......................8, Simp 10. ~G v ~I......................9, Com 11. G -> ~I....................10, Impl 12. F-> ~I...................6,11, HS 13. ~F v ~I....................12, Impl 14. ~I v ~F.....................13, Com 15. ~(I & F)....................14, DM 16. ~(I & F) v K.............15, Add 17. (I & F) -> K..............16, Impl It's been a few years, so I don't remember what CP and IP are, but here's how I would do it: 3:~G&~J > ~G 4: I>~G (2,3) 5: G>~I (4) 6: G&H>G 7: F>G (1,6) 8: F>~I (5,7) Remember the schema: (X>~Y) <> ~(X&Y) 9: ~(I&F) (8) Remember the schema: ~X>(X>Y) so: 10: (I&F)>K This is pretty much all done with RPL (Rule of propositional logic). |