Exactly One

"Exactly one" means "one and only one," sometimes also referred to as "just one" or "one and only one." J. H. Conway has also humorously suggested "onee" (one and only one) by analogy with iff (if and only if), "twoo" (two and only two), and "threee" (three and only three). This refinement is sometimes needed in formal mathematical discourse because, for example, if you have two apples, you also have one apple, but you do not have exactly one apple.

In 2-valued logic, exactly one is equivalent to the exclusive or operator XOR,

 P(E) XOR P(F)=P(E)+P(F)-2P(E intersection F).

See also

At Least One, Iff, Precisely Unless, Univalent, XNOR, XOR

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Exactly One." From MathWorld--A Wolfram Web Resource.

Subject classifications