SOLUTION: please help me solve this: 1.(F v G) > (H & I) 2. I > K 3.~k.: ~F

Algebra.Com
Question 1071953: please help me solve this: 1.(F v G) > (H & I)
2. I > K
3.~k.: ~F
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
please help me solve this: 

The word is "prove", not "solve"

 1. (F v G) > (H & I)
 2. I > K
 3. ~K.       : ~F

 4. ~I        2,3, Modus tollens
 5. ~I v ~H   4, Addition
 6. ~H v ~I   5, Commutation
 7. ~(H & I)  6, DeMorgan
 8. ~(F v G)  1,7, Modus tollens
 9. ~F & ~G   8, DeMorgan
10. ~F        9, Simplification

Edwin
RELATED QUESTIONS

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v... (answered by Edwin McCravy)
1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H /~(K v H) (answered by CPhill)
2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive (answered by jim_thompson5910)
Rues of implication I have been stuck on this for a while please help ~HvF V&~K I>A (answered by solver91311)
Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)
i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)
Can someone please help me solve this problem: For what value of k is f(g(x)) =... (answered by fractalier)
Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)
1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K... (answered by jim_thompson5910)