Q7.2d Categorical Statements

Symbolize as before. One last time, use the following interpretation.

universe of discourse: all living things
Hx: x is happy
Ox: x is a creature living in Ohio
Wx: x is a whale

  1. No whales are happy.
    (hint)
  2. Some unhappy whales are creatures living in Ohio.
    (hint)
  3. All happy creatures are creatures that live in Ohio.
    (hint)
  4. No happy whales are creatures that live in Ohio.
    (hint)