document.write( "Question 582129: 1. A > [B>(C*~D)]
\n" ); document.write( "2. (BvE)>(DvE)
\n" ); document.write( "Therefore,
\n" ); document.write( "3. (A*B) > (C*E)\r
\n" ); document.write( "\n" ); document.write( "Using conditional proof and 18 rules derive the conclusion to prove it is valid \n" ); document.write( "
Algebra.Com's Answer #371954 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.   A > [B > (C * ~D)]\r\n" );
document.write( "2.   (B v E) > (D v E)           /    (A*B) > (C*E) \r\n" );
document.write( "---------------------------------------------\r\n" );
document.write( "3.   A * B       Conditional Proof(assume antecedent of conclusion is true)\r\n" );
document.write( "4.   B * A                       3       Commutation\r\n" );
document.write( "5.   A                           3       Simplification\r\n" );
document.write( "6.   B                           4       Simplification\r\n" );
document.write( "7.   B > (C * ~D)                1,5     Modus Ponens\r\n" );
document.write( "8.   C * ~D                      7,6     Modus Ponens\r\n" );
document.write( "9.   C                           8       Simplification\r\n" );
document.write( "10.  ~D * C                      8       Commutation\r\n" );
document.write( "11.  ~D                          10      Simplification\r\n" );
document.write( "12.  B v E                       6       Addition\r\n" );
document.write( "13.  D v E                       2,12    Modus Ponens\r\n" );
document.write( "14.  E                           13,11   Disjunctive Syllogism  \r\n" );
document.write( "15.  C * E                       9,14    Conjunction\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
\n" );