First Order Logic - "Only One" Construct I am wondering how one would go about constructing a "only one" statement using first order logic.
I stumbled into an example that said "Only one student took Greek in Spring of 2011."
I can easily construct something like "There is a student who took Greek in Spring of 2011." How can I add "Only one" to it?
 A: $$\exists x\forall y: P(y) \Leftrightarrow x=y$$
This means especially that $\exists x: P(x)\Leftrightarrow x=x$, or $\exists x: P(x)$. Also it implies that if $P(x)$ and $P(y)$ we have that $x=y$.
A: The usual way is to say that if two elements both satisfy the property, then they are the same element.
In other words, the sentence

There exists exactly one $x$ such that $P(x)$

is written as
$$\exists x: (P(x)\land \forall y:(P(y)\implies x=y))$$
A: $(\exists x)(f(x) \land (\forall y)(f(y)\rightarrow y=x))$, where $f$ means "having taken Greek."
A: The idea is to express the uniqueness condition by means of identity between entities to which the property in question applies.
This amounts to stating that "$x$ has the property $P$, and all entities which also have property $P$ must be identical to that very $x$" or, slightly differently worded, "$x$ has the property $P$, and there is no other entity which also has the property $P$ and is different from $x$".
Formally, this can be expressed as  
$\exists x (P(x) \land \forall y (P(y) \to x = y))$  
or  
$\exists x (P(x) \land \neg \exists y (P(y) \land x \neq y))$
It can easily be shown that the two formulations are equivalent in their truth conditions.  
