SOLUTION: I need help with the following proof. ~PvR, ~Qv~R : P -> ~(P<->Q) I know it is supposed to involve the "or elimination rule" but I am not sure how to work it in with the as

SOLUTION: I need help with the following proof. ~PvR, ~Qv~R : P -> ~(P<->Q) I know it is supposed to involve the "or elimination rule" but I am not sure how to work it in with the as

Algebra.Com

Question 730138: I need help with the following proof.
~PvR, ~Qv~R : P -> ~(P<->Q)
I know it is supposed to involve the "or elimination rule" but I am not sure how to work it in with the assumptions.
Answer by lynnlo(4176) (Show Source): You can put this solution on YOUR website!

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

I need to write a compound statement in symbolic form: p:the food is good q: I eat... (answered by solver91311)

Hello, In my assignment I am required to show why the rule of indirect proof is... (answered by lynnlo)

URGENT: P. R->~Q. P->Q therefore ~R I need to write out a proof for the following... (answered by Edwin McCravy)

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

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

I need help completing this proof. 1. R&S, S->(P->Q), Q->P |- P<->Q (answered by solver91311)

Hi i would really appreciate it if someone would help me with this problem. If... (answered by venugopalramana)

i have understood the proof " square root of 2 is irrational" by contradiction method"... (answered by Jk22)