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).