document.write( "Question 737908: 1. K > ~K
\n" ); document.write( "2. (~S v U)> K
\n" ); document.write( "/ S \n" ); document.write( "
Algebra.Com's Answer #524952 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  K > ~K\r\n" );
document.write( "2.  (~S v U)> K\r\n" );
document.write( "/  S\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "3.  ~~K > ~K                                    1      DN\r\n" );
document.write( "4.  ~K v ~K                                     3      MI\r\n" );
document.write( "5.  ~K                                          4      Taut\r\n" );
document.write( "6.  ~(~S v U)                                   2,5    MT                                  \r\n" );
document.write( "7.  ~~S & ~U                                    6      DM\r\n" );
document.write( "8.  S & ~U                                      7      DN\r\n" );
document.write( "9.  S                                           8      Simp\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms Used:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "DN = Double Negation
\n" ); document.write( "MI = Material Implication
\n" ); document.write( "Taut = Tautology
\n" ); document.write( "MT = Modus Tollens
\n" ); document.write( "DM = De Morgan's Law
\n" ); document.write( "Simp = Simplification \n" ); document.write( "
\n" );