document.write( "Question 735290: 1. (P>K) V (F>Y)
\n" ); document.write( "2. (PvF) . (KvY)
\n" ); document.write( "3. [(P>K)>~N]. [(F>Y)>O]
\n" ); document.write( "4. K . ~Y
\n" ); document.write( "/ ~NvO
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!
You can derive the conclusion ~N v O in one step like so\r
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1.  (P>K) V (F>Y)\r\n" );
document.write( "2.  (PvF) . (KvY)\r\n" );
document.write( "3.  [(P>K)>~N]. [(F>Y)>O]\r\n" );
document.write( "4.  K . ~Y\r\n" );
document.write( "/     ~NvO\r\n" );
document.write( "5.  ~N v O                lines 3,1     Constructive Dilemma (CD)\r\n" );
document.write( "

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The other premises (lines 2,4) aren't needed.
\n" ); document.write( " \n" ); document.write( "

\n" );