document.write( "Question 981189: stuck on this problem please help
\n" ); document.write( "Can use rules of implication and first five rules of replacement\r
\n" ); document.write( "\n" ); document.write( "K>S
\n" ); document.write( "(~S&K)v(~S&~Q)
\n" ); document.write( "/~QvU \n" ); document.write( "

Algebra.Com's Answer #602219 by Edwin McCravy(20060) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "stuck on this problem please help
\n" ); document.write( "Can use rules of implication and first five rules of replacement
\n" ); document.write( "

\r\n" );
document.write( " 1.  K>S\r\n" );
document.write( " 2.  (~S&K)v(~S&~Q)\r\n" );
document.write( "                    /~QvU\r\n" );
document.write( "\r\n" );
document.write( " 3. ~S&(Kv~Q)             2, Distribution    [\"Factoring\" out ~S&] \r\n" );
document.write( " 4. ~S                    3, Simplicication\r\n" );
document.write( " 5. (Kv~Q)&~S             3, Commutation\r\n" );
document.write( " 6. Kv~Q                  5, Simplification\r\n" );
document.write( " 7. ~S>~K                 1, Transposition\r\n" );
document.write( " 8. ~K                  7,4, Modus ponens\r\n" );
document.write( " 9. ~Q                  6,8, Disjunctive syllogism\r\n" );
document.write( "10. ~QvU                  9, Addition                               \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );