"There Are at Least Two People in the Presidential Race

Multiple Choice

"There are at least two people in the presidential race" can best be symbolized (Px: x is a person; Rx: x is running for president) as

A) ($x) ($y) ((Px • Rx) • (Py • Ry) ) .
B) ($x) ($y) (((Px • Rx) • (Py • Ry) ) • ~x = y) .
C) (x) (y) (((Px → Rx) • (Py → Ry) ) • ~x = y) .
D) (x) (y) ((Px • Rx) → ~x = y) .