document.write( "Question 388751: ~Bv[(C>D)•(E>D)]
\n" ); document.write( "B•(CvE)
\n" ); document.write( "Conclusion: D \n" ); document.write( "
Algebra.Com's Answer #275127 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  ~B v [ (C -> D) * (E -> D)]\r\n" );
document.write( "2.  B * (C v E)                  /:. D\r\n" );
document.write( "-------------------------\r\n" );
document.write( "3.  (C v E) * B                 2      Commutation\r\n" );
document.write( "4.  B                           2      Simplification\r\n" );
document.write( "5.  C v E                       3      Simplification\r\n" );
document.write( "6.  E v C                       5      Commutation\r\n" );
document.write( "7.  ~~E v C                     6      Double Negation\r\n" );
document.write( "8.  ~E -> C                     7      Material Implication\r\n" );
document.write( "9.  (C -> D) * (E -> D)         1,4    Modus Ponens\r\n" );
document.write( "10. (E -> D) * (C -> D)         9      Commutation\r\n" );
document.write( "11. C -> D                      9      Simplification\r\n" );
document.write( "12. E -> D                      10     Simplification\r\n" );
document.write( "13. ~D -> ~E                    12     Transposition\r\n" );
document.write( "14. ~E -> D                     8,11   Hypothetical Syllogism\r\n" );
document.write( "15. ~D -> D                     13,14  Hypothetical Syllogism\r\n" );
document.write( "16. ~~D v D                     15     Material Implication   \r\n" );
document.write( "17. D v D                       16     Double Negation\r\n" );
document.write( "18. D                           17     Tautology\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "If you need more help, email me at jim_thompson5910@hotmail.com\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Also, feel free to check out my tutoring website\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Jim \n" ); document.write( "
\n" );