# Logic: Problem 3a

### Straightforward solution

Here's one solution to the problem, which conveys the two conditions
in a straightforward way:

$$(\exists x \in A,\ P(x)) \ \text{ and }
\ (\neg \exists y,z \in A, \ P(y)\ \wedge P(z)\ \wedge\ y \not = z )$$

The parentheses aren't strictly necessary. But
they are good to include because they make it easier
for a reader to understand the expression.

### Minor variation

Notice that the variable from the first half isn't used in the
second half. So it's also correct (though perhaps a bit less
clear) to re-use the variable name x, as follows:

$$(\exists x \in A,\ P(x)) \ \text{ and }
\ (\neg \exists x,y \in A, \ P(x)\ \wedge P(y)\ \wedge\ x \not = y )$$

Notice that the variable x in the first half and the variable x in
the second half are two distinct variables.

### Hardcore answer

Here's a rather different sort of answer, equivalent to the above.
It's a more hard-core mathematician style of answer: concise but
harder to understand.
$$\exists x \in A, \ P(x)\ \text{ and }
\ ( \forall y \in A,\ P(y) \rightarrow x = y )$$

Notice that the scope of the variable x extends for the
entire rest of the expression. Reading mathematics
requires using common sense about what the writer intended.
Since he keeps using the variable x and hasn't visibly
re-defined it, presumably its scope continues.

A minor variant on this style of answer would be

$$\exists x \in A,\ P(x)\ \text{ and }
\ (\neg \exists y \in A, \ P(y)\ \wedge\ x \not = y )$$