7.2ex I

Symbolize as before.

universe of discourse: all people
Hx: x is healthy
Px: x is a philosopher
Rx: x is rich (or wealthy)
Wx: x is wise

  1. Some philosopher is wise.
  2. Somebody is a philosopher.
  3. All philosophers are wealthy (rich).
  4. Every philosopher is healthy, wealthy, and wise.
  5. Some healthy philosopher is wise.
  6. At least one wise philosopher is unhealthy.
  7. All philosophers are healthy but poor. (Hint)
  8. All wise people are philosophers.