document.write( "Question 687974: Please help with this proof. Thank You\r
\n" ); document.write( "\n" ); document.write( "C→(D→H)
\n" ); document.write( "D∙~H
\n" ); document.write( "HvT ∴ ~C∙T
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #425432 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  C → ( D → H)\r\n" );
document.write( "2.  D ∙ ~H\r\n" );
document.write( "3.  H v T ∴  ~C ∙ T\r\n" );
document.write( "-------------------\r\n" );
document.write( "4.  ~~D ∙ ~H         2     Double Negation\r\n" );
document.write( "5.  ~(~D v H)        4     De Morgan's Law\r\n" );
document.write( "6.  ~(D → H)         5     Material Implication\r\n" );
document.write( "7.  ~C               1,6    Modus Tollens\r\n" );
document.write( "8.  ~H ∙ D           2      Commutation\r\n" );
document.write( "9.  ~H               8      Simplification \r\n" );
document.write( "10. T                3,9    Disjunctive Syllogism\r\n" );
document.write( "11. ~C ∙ T           7,10   Conjunction\r\n" );
document.write( "
\n" ); document.write( "
\n" );