Yet More Categorical Logic — 6.5g

Symbolize the following as categorical statements. You may want to look back at 6.1 for hints on how to think about these as standard categorical statements.

universe of discourse: all people
Cx: x is a U.S. citizen
Dx: x lives next door to me.
Lx: x is a legal voter

  1. A legal voter is a U.S. Citizen. (hint)
  2. A legal voter lives next door to me. (hint)
  3. No one is both a U.S. citizen and lives next door to me. (hint)
  4. None of the people who live next door to me are legal voters.
  5. Everyone who lives next door to me is a U.S. citizen.
  6. If someone is a legal voter, then he or she is U.S. citizen. (hint)
  7. None but U.S. citizens are legal voters. (hint)
  8. Only legal voters live next door to me. (hint)
  9. The only people who live next door to me are U.S. citizens. (hint)
  10. Not all U.S. citizens are legal voters. (hint)
  11. Any legal voter living next door to me is a U.S. citizen. (hint)
  12. If anyone living next door to me is a a legal voter then someone living next door to me is a U.S. citizen. (hint)