Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I cannot understand the following solution from my tutorial note.

The question is like this:

Let $P(x)$ be a predicate with universe of discourse $\{a,b,c\}$. The quantifier $\exists!$ is used to assert that there is a unique element of the universe of discourse which makes a predicate true. Now express $\exists ! xP(x)$ using only the operators $\land$, $\lor$ and $\lnot$.

The answer is:

$$\exists ! xP(x) \equiv P(a) \lor P(b) \lor P(c) \lor [\lnot P(a) \land P(b) \land \lnot P(c)] \lor [P(a) \land \lnot P(b) \land \lnot P(c)]\lor [\lnot P(a) \land \lnot P(b) \land P(c)]$$

What is the meaning of the last three parts?

$$\lor [\lnot P(a) \land P(b) \land \lnot P(c)] \lor [P(a) \land \lnot P(b) \land \lnot P(c)]\lor [\lnot P(a) \land \lnot P(b) \land P(c)]$$

share|cite|improve this question
I typeset your question to make it easier to read - please check I didn't make any mistakes in the notation. – Matthew Pressland Oct 8 '12 at 16:56
"The answer" is incorrect -- for example it is true for the interpretation where $P$ hold s for all three individuals, simply because then $P(a)$ is true and therefore $P(a)\lor\mathit{whatever}$ is automatically true too. – Henning Makholm Oct 8 '12 at 17:04
yes, that correct thank for the correction – Samuel Oct 9 '12 at 4:26

1 Answer 1

up vote 1 down vote accepted

The answer is wrong. It should read:

$$\exists!xP(x)\equiv [\lnot P(a) \land P(b) \land \lnot P(c)] \lor [P(a) \land \lnot P(b) \land \lnot P(c)]\lor [\lnot P(a) \land \lnot P(b) \land P(c)]$$

The first term in square brackets says that $b$ has the property $P$ and $a$ and $c$ do not; the second says that $a$ has the property and $b$ and $c$ do not; and the third says that $c$ has the property and $a$ and $b$ do not. Since $a,b$, and $c$ are the only objects in the universe of discourse, these are the only three ways that exactly one of them can have the property $P$.

It should not include $P(a)\lor P(b)\lor P(c)$: that part alone is equivalent to $\exists xP(x)$, and $\exists xP(x)\lor\exists!xP(x)$ is equivalent to $\exists xP(x)$, not to $\exists!xP(x)$.

share|cite|improve this answer
But suppose it is true that $a = b$ ... then the l.h.s. could be true and the r.h.s. false. – Peter Smith Oct 8 '12 at 18:07
@Peter: Clearly we are to assume that the objects $a,b$, and $c$ are distinct. – Brian M. Scott Oct 8 '12 at 18:10
@BrianScott Indeed we are! So the question as set is underspecified. – Peter Smith Oct 8 '12 at 18:55
Thank Brian very clear explaintion – Samuel Oct 9 '12 at 4:33
@user1660416: You’re very welcome. – Brian M. Scott Oct 9 '12 at 6:30

Your Answer


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.