Q6.5b Existential Statements

Symbolize as before. Feel free to write '%x' or '3x' for the existential quantifier...you'll get the correct symbol along with the parentheses.

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

UD: 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.
  2. There are whales living in Ohio.
  3. Some whales from Ohio are unhappy.
  4. Happy whales live in Ohio.