There is at most one winner.
A) (∃x)(∃y)(Wx • Wy)
B) (x)(y)[(Wx • Wy) ≡ x = y]
C) (x)(y)[(Wx • Wy) ⊃ x = y]
D) (∃x)(∃y)[(Wx • Wy) • x = y]
E) (x)(∃y)[(Wx • Wy) • e = y]

Question

Quizplus · Accepted Answer

Option C correctly translates the statement "There is at most one winner" into logical form. It says if x is a winner and y is a winner, then x must be equal to y, implying there cannot be more than one unique winner.

There Is at Most One Winner