More Categorical Logic — 7.2ex III

Symbolize the following as categorical statements.

universe of discourse: all people
Cx: x is a U.S. citizen
Rx: x is a U.S. resident
Ox: x is a voter
    (remember, 'V' is reserved for the quantifier; so, use 'O' for "voter".)

  1. Some U.S. citizens are voters. (hint)
  2. All U.S. citizens are voters. (hint)
  3. No U.S. citizens are voters. (hint)
  4. Some U.S. citizens are not voters. (hint)
  5. Some U.S. residents are voters.
  6. No U.S. residents who are not citizens are voters. (hint)
  7. All nonvoting U.S. residents are non-citizens. (hint)
  8. No voters are U.S. residents.
  9. Only citizens are voters. (hint)