Exercise C

Using this symbolization key:

• domain:

  all animals

• $A(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ is an alligator

• $M(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ is a monkey

• $R(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ is a reptile

• $Z(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ lives at the zoo

• $a$:

  Amos

• $b$:

  Bouncer

• $c$:

  Cleo

symbolize each of the following sentences in FOL:

1. Amos, Bouncer, and Cleo all live at the zoo.

2. Bouncer is a reptile, but not an alligator.

3. Some reptile lives at the zoo.

4. Every alligator is a reptile.

5. Any animal that lives at the zoo is either a monkey or an alligator.

6. There are reptiles which are not alligators.

7. If any animal is an reptile, then Amos is.

8. If any animal is an alligator, then it is a reptile.