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.Com
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)   (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

RELATED QUESTIONS

7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)
5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E... (answered by jim_thompson5910)
3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (answered by jim_thompson5910)
6) I can only use the 8 rules of inference... 1. (~B • ~C) → (D → C) 2. ~B (answered by jim_thompson5910)
1) I can only use the 8 rules of inference... 1. P v Q 2.(Q • ~R) → S 3. R... (answered by jim_thompson5910)
4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P (answered by jim_thompson5910)
I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O... (answered by jim_thompson5910)
I can only use the 8 implicational rules. I've tried but can seem to get it. someone... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)