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

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


   

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) About Me  (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