Question

Would someone be able to help me with this problem?
Based on the meaning of the biconditional, write the negation of P <-> Q

Answer 1

Note: Your final answer should contain only negations of simple propositions.

Answer 2

Can you rewrite it as two implications joined by another operator?

Answer 3

(p->q) and (q->p)

Answer 4

Now negate the expression: '[ (p->q) and (q->p) ]

Answer 5

so (-pvq) and (-qVp)

Answer 6

Well, take it step by step. You just have:

'(p->q) V (q->p)

Answer 7

so -(p->q) v (q->p) then -(-pvq) v (q->p)?

Answer 8

Yes. And you can also do the same thing for q->p change q->p to 'q v p