Tell me more ×
Philosophy Stack Exchange is a question and answer site for those interested in logical reasoning. It's 100% free, no registration required.
up vote 0 down vote favorite

P -> Q is equivalent to ~P v Q, so why isn't P -> ~Q equivalent to ~P v ~Q?

I can't figure out why the rule for P -> Q does not apply to P -> ~Q.

share|improve this question
The answer was that P->~Q and ~P v ~Q are equivalent, so the rule does apply. – Dennis Feb 13 at 6:36
thanks,i was only confused on a question... – dev Feb 13 at 6:49
Yea, I was more just putting a succinct, direct answer to your question since SF.'s answer is only clear to someone who understands basic logic already (i.e., it was more for future readers of this post than you). – Dennis Feb 13 at 6:54

1 Answer

up vote 5 down vote accepted

What do you mean does not apply?

  P   Q  ~P  ~Q  P->Q  ~P v Q   P->~Q  ~P v ~Q
 =================================================
  0   0   1   1   1   =   1      1   =   1
  0   1   1   0   1   =   1      1   =   1
  1   0   0   1   0   =   0      1   =   1
  1   1   0   0   1   =   1      0   =   0

As for me, everything matches.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.