SOLUTION: Premises: S v B , B⊃D, S⊃G Conclusion: D v G I am trying to work down from the premises but cant find way to get to the conclusion. Any help would be appreciated.

Algebra ->  Proofs -> SOLUTION: Premises: S v B , B⊃D, S⊃G Conclusion: D v G I am trying to work down from the premises but cant find way to get to the conclusion. Any help would be appreciated.      Log On


   

Question 957613: Premises: S v B , B⊃D, S⊃G
Conclusion: D v G
I am trying to work down from the premises but cant find way to get to the conclusion. Any help would be appreciated.
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
You use the constructive dilemma rule here. It happens in two steps. First you conjunct B⊃D, S⊃G together to get (B⊃D)&(S⊃G). Then you'll use constructive dilemma with (B⊃D)&(S⊃G) and S v B to get D v G

Check out this list of rules:
http://www.butte.edu/~wmwu/iLogic/3.3/iLogic_3_3.html

and specifically the constructive dilemma rule