document.write( "Question 250703: can you help me solve this proof using the first 13 rules of inference please?
\n" ); document.write( "1.Ev~(DvC)
\n" ); document.write( "2(Ev~D)->C
\n" ); document.write( "the desired answer is E. \n" ); document.write( "
Algebra.Com's Answer #182651 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  E v ~(D v C)\r\n" );
document.write( "2.  (E v ~D) -> C      / :. E\r\n" );
document.write( "-----------------------------\r\n" );
document.write( "3.  E v (~D & ~C)              1      De Morgan's Law\r\n" );
document.write( "4.  (E v ~D) & (E v ~C)        3      Distribution\r\n" );
document.write( "5.  (E v ~C) & (E v ~D)        4      Commutation\r\n" );
document.write( "6.  E v ~D                     4      Simplification\r\n" );
document.write( "7.  C                          2,6    Modus Ponens\r\n" );
document.write( "8.  E v ~C                     5      Simplification\r\n" );
document.write( "9.  ~C v E                     8      Commutation\r\n" );
document.write( "10. C -> E                     9      Material Implication\r\n" );
document.write( "11. E                          10,7   Modus Ponens\r\n" );
document.write( "
\n" ); document.write( "
\n" );