Question

Show that p ^ ~p is a contradiction.

Answer 1

It's true!

Answer 2

p xor not p is always true

Answer 3

oh..... you meant p and not p...... that's false

Answer 4

if p = true, i.e., T, then

p ^ ~p = T ^ ~T
= T ^ F
= F

Similarly if p = F.

Answer 5

from the statement of p and not p, it is clear that either p or not p has to be false, so the result is naturally false.

Answer 6

Ok thanks guys. I see the correlation now.