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

Algebra.Com
Question 687974: Please help with this proof. Thank You
C→(D→H)
D∙~H
HvT ∴ ~C∙T
Answer by jim_thompson5910(35256)   (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

RELATED QUESTIONS

Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (answered by jim_thompson5910)
I need help with proofs. Thank you! D →(B→C), B & −C ├ −D (answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
Solve use reductio ad absurdum 1. ~P→(R∙S) 2.... (answered by math_helper)
Please help me with this proof! thank you in advance. A -> (C \/ B) ~(D \/ C) ~(E \/ (answered by Edwin McCravy)
How do you work this problem out? 1. P∙P 2. Q→~P... (answered by jim_thompson5910)
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) • (E ∨ G) (answered by jim_thompson5910)
1. (A∨~B)→(F∨(R∙G)) 2. A 3. F→L (answered by math_helper)
Hi! I really could use some help solving these two proofs below. I also included... (answered by jim_thompson5910)