SOLUTION: Can anybody solve this proof for me? 1. L > Q 2. ~(Q & R) 3. L / ~R ----- (What I have so far) 1. Q from lines 1 and 3 MP 2. ~Q v ~R from line 2 DM Th

Question 981038: Can anybody solve this proof for me?
1. L > Q
2. ~(Q & R)
3. L
/ ~R
----- (What I have so far)
1. Q from lines 1 and 3 MP
2. ~Q v ~R from line 2 DM
Thanks!!
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

1. L > Q
2. ~(Q & R)
3. L
/     ~R

----- (What I have so far)

(don't restart your line numbers, otherwise you get confused)

4. Q from lines 1 and 3 MP
5. ~Q v ~R from line 2 DM

6. ~R from 5, 4 DS QED

John

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

RELATED QUESTIONS
write a direct proof using the eight rules of inference (C → Q) � (~L →... (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)

Q∨P R→~P R→Q Here is what I put but I have not been able to pass... (answered by jim_thompson5910)

I need help finishing this proof. (P<->Q)->R,P->Q,Q->P |-R 1 (1) (P<->Q)->R A 2 (2) (answered by jim_thompson5910)

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

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)

Q=L(2+r)^2 for... (answered by jim_thompson5910)

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

Hello, I have a proof I am trying to write up with the following premises:... (answered by math_helper)