SOLUTION: 1. P v R 2. R -> Q ////// :. (P v Q)

Algebra ->  Proofs -> SOLUTION: 1. P v R 2. R -> Q ////// :. (P v Q)       Log On


   

Question 973154: 1. P v R
2. R -> Q ////// :. (P v Q)
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


Prove by exhaustive cases:

Since P v R is given, the case P and case R are exhaustive.

Assume P. Then P v Q by Disjunction Introduction.

Assume R. Then Q from R -> Q by Modus Ponens and then P v Q by Disjuction Introduction.

John

My calculator said it, I believe it, that settles it