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!

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.Com

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) (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
RELATED QUESTIONS
Today I asked my Professor in my Logic class if I could do this. 1. ~P 2. ~(PvQ)>~R... (answered by jim_thompson5910)

(PvQ)&(PvR) = Pv(Q&R) cannot figure this out for the life of... (answered by solver91311)

1. p <--> q 2. p -> r 3. p -> (r -> s) Therefore q -> s ...so far I've tried... (answered by jim_thompson5910)

please help me by showing the proof of the following using the rules of... (answered by robertb)

1. ~M 2. (~M∙~N)>(Q>P) 3. ~N 4. P>R (answered by jim_thompson5910)

1. P V Q 2. Q -> (R & S) 3. (R V P) -> T /... (answered by Edwin McCravy)

I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)

1. P v R 2. R -> Q ////// :. (P v Q) (answered by solver91311)

i don't know where to begin p -> (q v r), (p -> r) -> (s & t), q -> r... (answered by Edwin McCravy)