SOLUTION: 1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴ ~G

Algebra ->  Proofs -> SOLUTION: 1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴ ~G      Log On


   

Question 585493: 1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴ ~G
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. (E∨F) → ~G 
2. ~H 
3. H∨K 
4. (K∨L)→E         /  ∴ ~G
-------------------------------
5. K                  3,2    Disjunctive Syllogism
6. K∨L                5      Addition
7. E                  4,6    Modus Ponens
8. E∨F                7      Addition
9. ~G                 1,8    Modus Ponens