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

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


   

Question 1026080: 1. ~ ( H v ~K )
2. L --> H / L --> M

Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~(Hv~K) 
2. L-->H      /L-->M

3. ~H&~~K      1, DM    (DeMorgan's law) 
4. ~H&K        3, DN    (double negation)
5. ~H          4, simp. (simplification)
6. ~L          2,5, MT  (Modus tollens)
7. ~LvM        6, add.  (addition)
8. L-->M       7, MI    (material implication)


[This is an illustration of the fact that a false statement
implies anything. :)  ]

Edwin