SOLUTION: 1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) / M

Algebra ->  Proofs -> SOLUTION: 1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) / M      Log On


   

Question 568394: 1. ~H
2. H v K
3. L >H
4. ~(K.~L) v (~L.M) / M
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  ~H
2.  H v K
3.  L >H
4.  ~(K * ~L) v (~L * M) / M
-----------------------------
5.  K                       2,1   Disjunctive Syllogism
6.  ~L                      3,1   Modus Tollens
7.  K * ~L                  5,6   Conjunction
8.  ~~(K * ~L)              7     Double Negation
9.  ~L * M                  4,8   Disjunctive Syllogism  
10. M * ~L                  9     Commutation
11. M                       10    Simplification