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)

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

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

RELATED QUESTIONS
1. (F . M) > (S v T) 2. (~S v A) > F 3. (~S v B) > M 4. ~S . G / T (answered by jim_thompson5910)

A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)

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)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

Use rules of implication to derive the indicated conclusions. 1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

I can only use the 8 implicational rules to solve this problem. 1. ~Fv~G (answered by jim_thompson5910)

1. (A∨~B)→(F∨(R∙G)) 2. A 3. F→L (answered by math_helper)