document.write( "Question 980294: Very lost, can somebody please help me finish this proof?\r
\n" ); document.write( "\n" ); document.write( "1. (N > K) & (S > L)
\n" ); document.write( "2.(N > O) &(G > N)
\n" ); document.write( "3. (O > N) & (R > G)
\n" ); document.write( "4. O v R
\n" ); document.write( "5. ~N\r
\n" ); document.write( "\n" ); document.write( "/ K v L\r
\n" ); document.write( "\n" ); document.write( "What I have so far...\r
\n" ); document.write( "\n" ); document.write( "6. N > K Simp. line 1
\n" ); document.write( "7. N > O Simp. line 2
\n" ); document.write( "8. O > N Simp. line 3
\n" ); document.write( "9. N v G CD line 3 and 4
\n" ); document.write( "10. G DS line 5 and 9\r
\n" ); document.write( "\n" ); document.write( "I'm extremely lost...can anybody guide me in the right direction? \n" ); document.write( "

Algebra.Com's Answer #601461 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
\n" ); document.write( "\n" ); document.write( "

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

\n" ); document.write( "

\n" );