SOLUTION: Please help with this proof. Thank You C→(D→H) D∙~H HvT ∴ ~C∙T

Algebra ->  Proofs -> SOLUTION: Please help with this proof. Thank You C→(D→H) D∙~H HvT ∴ ~C∙T       Log On


   

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