SOLUTION: If you could help me to solve thiss proof I would really appreciate it. I think that I need to set up either a constructive dilema or Demorgans Rule but I can't seem to figure out

Algebra ->  Proofs -> SOLUTION: If you could help me to solve thiss proof I would really appreciate it. I think that I need to set up either a constructive dilema or Demorgans Rule but I can't seem to figure out       Log On


   

Question 199525: If you could help me to solve thiss proof I would really appreciate it. I think that I need to set up either a constructive dilema or Demorgans Rule but I can't seem to figure out how.
F>(S>~J)
D>(F.J) solution: ~Dv~S
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  F -> (S -> ~J)
2.  D -> (F.J)      :. ~D v ~S
----------------------------
3.  F -> (~~J -> ~S)              1      Transposition
4.  F -> (J -> ~S)                3      Double Negation
5.  (F.J) -> ~S                   4      Exportation
6.  D -> ~S                     2,5      Hypothetical Syllogism
7.  ~D v ~S                       6      Material Implication