document.write( "Question 616557: 1. D
\n" ); document.write( "2. ~C
\n" ); document.write( "3. (A v B) -> C
\n" ); document.write( "4. [(~A • D) • ~B] -> (P -> Q) :. ~P v Q \n" ); document.write( "
Algebra.Com's Answer #387791 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. D\r\n" );
document.write( "2. ~C\r\n" );
document.write( "3. (A v B) -> C \r\n" );
document.write( "4. [(~A • D) • ~B] -> (P -> Q) :. ~P v Q\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "6. ~(A v B)                                    3,2      Modus Tollens\r\n" );
document.write( "7. ~A • ~B                                     6        De Morgan's Law\r\n" );
document.write( "8. (~A • ~B) • D                               7,1      Conjunction\r\n" );
document.write( "9. ~A • (~B • D)                               8        Association\r\n" );
document.write( "10. ~A • (D • ~B)                              9        Commutation\r\n" );
document.write( "11. (~A • D) • ~B                              10       Association\r\n" );
document.write( "12. P -> Q                                     4,11     Modus Ponens\r\n" );
document.write( "13. ~P v Q                                     12       Material Implication\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "
\n" );