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

Question 585493: 1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴ ~G
Answer by jim_thompson5910(35256) (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

RELATED QUESTIONS
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) � (E ∨ G) (answered by jim_thompson5910)

1. (A∨~B)→(F∨(R∙G)) 2. A 3. F→L (answered by math_helper)

1. (A∨G)→K 2. K→(B→F) (answered by solver91311)

Prove This: 1. B∨~C 2. B→E 3. ~~C... (answered by jim_thompson5910)

I need help annotating this proof because I really dont understand. 1. ~H ∨ F (answered by Edwin McCravy)

1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)

1. (Q∨R)→(W∨U) 2. W→P 3. (answered by jim_thompson5910)

1. (E ⊃ A) � (F ⊃ A) 2. E ∨ G 3. F ∨ ∼G / A (answered by Edwin McCravy)

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)

SOLUTION: 1. (E&#8744;F)&#8594;~G 2. ~H 3. H&#8744;K 4. (K&#8744;L)&#8594;E &#8756; ~G

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