SOLUTION: Please help with this logic proof: 1. E v T 2. T -> (B * H) 3. (B v E) -> K conclusion K

Question 297361: Please help with this logic proof:
1. E v T
2. T -> (B * H)
3. (B v E) -> K conclusion K
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  E v T
2.  T -> (B * H)
3.  (B v E) -> K               :. K
-----------------------------------
4.  ~~E v T                        1     Double Negation
5.  ~E -> T                        4     Material Implication
6.  ~E -> (B * H)                  5,1   Hypothetical Syllogism   
7.  ~~E v (B * H)                  6     Material Implication
8.  E v (B * H)                    7     Double Negation
9.  (E v B) * (E v H)              8     Distribution
10. E v B                          9     Simplification
11. B v E                          10    Commutation
12. K                              3,11  Modus Ponens

RELATED QUESTIONS
Please help with this logic proof: 1. S v B 2. B -> D 3. S -> G conclusion D v... (answered by Theo)

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)

What is the proper way to solve this proof? 1. (T ● K) v (C ● E) 2. K... (answered by Edwin McCravy)

1) (A&B) > ~(S v T) 2) ~E 3) (S v T) v ~(~E & ~F) 4) (~E v F) > (A&B) Conclusion: E (answered by solver91311)

I have no idea what do with this one help please INSTRUCTIONS: Construct a regular... (answered by robertb)

I'm stumped on this problem, could someone please help me construct a proof? 1. (G *... (answered by jim_thompson5910)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)