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 ->
Proofs
-> 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
Log On
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):
(