SOLUTION: I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (R . G) > T 5. (L v T) > S :. S

Algebra ->  Proofs -> SOLUTION: I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (R . G) > T 5. (L v T) > S :. S      Log On


   

Question 593930: I can only use the 8 implicational rules
1. (A v ~B) >(F v (R . G))
2. A
3. F > L
4. (R . G) > T
5. (L v T) > S :. S
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   (A v ~B) > (F v (R . G))
2.   A
3.   F > L
4.   (R . G) > T
5.   (L v T) > S                    :. S
--------------------------------------------------------------------------------------------------------------
6.   A v ~B                              2            Addition
7.   F v (R . G)                         1,6          Modus Ponens
8.   (F > L) . ( (R . G) > T )           3,4          Conjunction
9.   L v T                               8,7          Constructive Dilemma
10.  S                                   5,9          Modus Ponens