document.write( "Question 194330: Please help me solve this problem....\r
\n" ); document.write( "\n" ); document.write( "1. J v (I * S)
\n" ); document.write( "2. J-> S / S.\r
\n" ); document.write( "\n" ); document.write( "I need to find the proof for it and I am horrible at this. I appreciate any kind of help. Thank you! \n" ); document.write( "
Algebra.Com's Answer #145834 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  J v (I * S)\r\n" );
document.write( "2.  J-> S / S\r\n" );
document.write( "------------------\r\n" );
document.write( "3.  (J v I) * (J v S)              1       Distribution\r\n" );
document.write( "4.  (J v S) * (J v I)              3       Commutation\r\n" );
document.write( "5.  J v S                          4       Simplification \r\n" );
document.write( "6.  S v J                          5       Commutation\r\n" );
document.write( "7.  ~~S v J                        6       Double Negation\r\n" );
document.write( "8.  ~S -> J                        7       Material Implication\r\n" );
document.write( "9.  ~S -> S                      8,2       Hypothetical Syllogism\r\n" );
document.write( "10.  S v S                         9       Material Implication\r\n" );
document.write( "11.  S                            10       Tautology\r\n" );
document.write( "
\n" ); document.write( "
\n" );