SOLUTION: I can only use the 8 implicational rules.Can someone please help me? 1. (Ev~B)>(~SvT) 2. E 3. ~S>L 4. T>~C 5. (Lv~C

Click here to see ALL problems on Proofs

Question 594150: I can only use the 8 implicational rules.Can someone please help me?
1. (Ev~B)>(~SvT)
2. E
3. ~S>L
4. T>~C
5. (Lv~C)>A :. A
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

1. (E v ~B)>(~S v T) 2. E 3. ~S > L 4. T > ~C 5. (L v ~C) > A :. A ------------------------------------------------------- 6. E v ~B 2 Addition 7. ~S v T 1,6 Modus Ponens 8. (~S > L) . (T > ~C) 3,4 Conjunction 9. L v ~C 8,7 Constructive Dilemma 10. A 5,9 Modus Ponens