Need help with logical expression involving existential and universal quantifier P is the set of &quot;all exams at university&quot;. E(x) denotes the predicate &quot;x is easy&quot;. Translate the following sentence to formal logic. &quot;Only one exam is easy.&quot; Solution:

I understand the first part, that there exists a test &quot;x&quot; for which the predicate &quot;is easy&quot; holds. But I don't understand the second part. I read it as such that for all y,z element of the set of exams, if y is easy and z is easy and there exist an exam x that is easy it follows that y = z.
The second part says that if you pick any two easy exams, then they will turn out to be one and the same exam. This will rule out that there are two (or more) different easy exams. Indeed, you could equivalently write that second part as:
$$\neg \exists y, z \in P: (E(y) \land E(z) \land y \neq z)$$
Finally, here's an efficient way to say that there is exactly one easy exam:
$$\exists x \in P: \forall y \in P: (E(y) \leftrightarrow x = y)$$
The appropriate translation &quot;Only one exam in the university is easy&quot; is
$$\exists x \in P\Big(E(x) \land \forall y\in P(E(y) \to (x=y))\Big).$$
The translation you posted says there does exist an easy exam, and for all exams, if they are both easy,  they are equal.