SOLUTION: I can only use the 8 implicational rules 1. (AvG)>K 2. K>(B>F) 3. A∙B :. F

Algebra.Com
Question 594157: I can only use the 8 implicational rules
1. (AvG)>K
2. K>(B>F)
3. A∙B :. F
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.   (A v G) > K
2.   K > (B > F)
3.   A ∙ B                  :. F 
-------------------------------------------------------
4.   A                                     3        Simplification
5.   B                                     3        Simplification
6.   A v G                                 4        Addition
7.   K                                     1,6      Modus Ponens
8.   B > F                                 2,7      Modus Ponens
9.   F                                     8,5      Modus Ponens

RELATED QUESTIONS

i can only use the 8 implicational rules 1. ~W∙~~Z 2.... (answered by jim_thompson5910)
I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (answered by jim_thompson5910)
Can someone help me solve this please? I can only use the 8 implicational rules 1. Bv~C (answered by jim_thompson5910)
I can only use the 8 implicational rules to solve this problem. 1. ~Fv~G (answered by jim_thompson5910)
1. (A∨G)→K 2. K→(B→F) (answered by solver91311)
I can only use the 8 implicational rules. I've tried but can seem to get it. someone... (answered by jim_thompson5910)
Construct proofs to show that the following arguments are valid. 1.(AvG)>K 2.K>(B>F)... (answered by Edwin McCravy)
I can only use the 8 implicational rules.Can someone please help me? 1. (Ev~B)>(~SvT) (answered by jim_thompson5910)
2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive (answered by jim_thompson5910)