Q7.2b Existential Statements

Symbolize as before. Feel free to write '%x' for the existential quantifier. Click here to see the basic form for existential statements. (In each case below, the SL sentence you enter can be of the form '(%x)(Px&Qx)'. There is no one correct answer for these; your answer will be judged correct if it is logically equivalent to the canned answer.)

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

  1. Some whales are happy. (You can just replace the '?'s.)
  2. There are whales living in Ohio. (Hint)
  3. Some whales from Ohio are unhappy. (Hint)
  4. Happy whales live in Ohio. (Hint)