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.

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) (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
RELATED QUESTIONS
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)

SOLUTION: Premises: S v B , B&#8835;D, S&#8835;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.