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?