Question 980294: Very lost, can somebody please help me finish this proof?
1. (N > K) & (S > L)
2.(N > O) &(G > N)
3. (O > N) & (R > G)
4. O v R
5. ~N
/ K v L
What I have so far...
6. N > K Simp. line 1
7. N > O Simp. line 2
8. O > N Simp. line 3
9. N v G CD line 3 and 4
10. G DS line 5 and 9
I'm extremely lost...can anybody guide me in the right direction?
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | (N > K) & (S > L) | | | | 2 | (N > O) & (G > N) | | | | 3 | (O > N) & (R > G) | | | | 4 | O v R | | | | 5 | ~N | | | | :. | K v L | | | | 6 | N v G | 3,4 | Constructive Dilemma | | 7 | O v N | 2,6 | Constructive Dilemma | | 8 | N v O | 7 | Commutation | | 9 | O | 8,5 | Disjunctive Syllogism | | 10 | O > N | 3 | Simplication | | 11 | N | 10,9 | Modus Ponens | | 12 | N v S | 11 | Addition | | 13 | K v L | 1,12 | Constructive Dilemma |
|
|
|
