SOLUTION: I can only use the 8 implicational rules. I've tried but can seem to get it. someone please help 1. (FvE)> ~D 2. SvD 3. E :. S

Algebra ->  Proofs -> SOLUTION: I can only use the 8 implicational rules. I've tried but can seem to get it. someone please help 1. (FvE)> ~D 2. SvD 3. E :. S       Log On


   

Question 593928: I can only use the 8 implicational rules. I've tried but can seem to get it. someone please help
1. (FvE)> ~D
2. SvD
3. E :. S
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   (F v E)> ~D           
2.   S v D                 
3.   E                     :. S   
--------------------------------------------------------------
4.   F v E                      3      Addition
5.   ~D                         1,4    Modus Ponens
6.   S                          2,5    Disjunctive Syllogism