SOLUTION: 2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive with me...help please! 1. (E v F) → ~G 2. ~H 3. H v K 4. (K v L) → E /

Algebra ->  Proofs -> SOLUTION: 2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive with me...help please! 1. (E v F) → ~G 2. ~H 3. H v K 4. (K v L) → E /       Log On


   

Question 189538: 2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive with me...help please!
1. (E v F) → ~G
2. ~H
3. H v K
4. (K v L) → E / ~G
________________________
5.
6.
7.
8.
9.

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