SOLUTION: 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...

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

RELATED QUESTIONS
(RvS) > (H & ~G) (k v r) > (G v ~H) /~R question2 n>r o<>r (o>r)>L /(n>o)&L (answered by solver91311)

1. (J > O) > ~N 2. N v [~N > (E > N)] 3. ~E > [E v (N v ~O)] 4. J > U Conclusion: ~O (answered by Edwin McCravy)

Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion:... (answered by Edwin McCravy)

Need help solving this proof: 1. ~O � K 2. ~O >(~R v A) 3. (~R > ~W) � (A > G) 4.... (answered by jim_thompson5910)

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following... (answered by jim_thompson5910)

1.(N V O) ⊃ (C • D) 2.(D V K) ⊃ (P V ~C) 3.(P V G) ⊃ (N • D) ∴... (answered by math_tutor2020)

Could you help me solve this px 6. (3 pts) Given U = {l, m, n, o, p, q, r, s, t, u,... (answered by vleith,asaad)

I don't think it is in the book but here is one I can not solve, please help. Given... (answered by user_dude2008)

55. 1. (L ≡ N) ⊃ C 2. (L ≡ N) v (P ⊃ ~E) 3. ~E ⊃ C 4. ~C /~P 56. (answered by math_tutor2020)