document.write( "Question 199525: If you could help me to solve thiss proof I would really appreciate it. I think that I need to set up either a constructive dilema or Demorgans Rule but I can't seem to figure out how.\r
\n" ); document.write( "\n" ); document.write( "F>(S>~J)
\n" ); document.write( "D>(F.J) solution: ~Dv~S \n" ); document.write( "
Algebra.Com's Answer #149923 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  F -> (S -> ~J)\r\n" );
document.write( "2.  D -> (F.J)      :. ~D v ~S\r\n" );
document.write( "----------------------------\r\n" );
document.write( "3.  F -> (~~J -> ~S)              1      Transposition\r\n" );
document.write( "4.  F -> (J -> ~S)                3      Double Negation\r\n" );
document.write( "5.  (F.J) -> ~S                   4      Exportation\r\n" );
document.write( "6.  D -> ~S                     2,5      Hypothetical Syllogism\r\n" );
document.write( "7.  ~D v ~S                       6      Material Implication\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );