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

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


   

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) About Me  (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