SOLUTION: 1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!

Algebra ->  Proofs -> SOLUTION: 1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!      Log On


   

Question 608113: 1. pV(q . r)
2. ~p /q . r
How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
No need to use distribution. You can if you want, but that adds on more unneeded lines.

Simply use disjunctive syllogism on lines 1 and 2 to get q . r