More Categorical Logic — 6.5c

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 legal 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)