Hello everyone,

I'm having problems with the following type of tutorial questions (yes, there are more of them):

Use logic notation to express the following:

"There is at most one x with P(x)"

I understand that to mean, "if there exists an x such that P(x), then for all other x not P(x)."

but this is wrong, or at least badly expressed. Would the following be right?