Exercise A

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

• $L(x,y)$:

  $\underline{\hskip 15.00002pt}_{x}$ loves $\underline{\hskip 15.00002pt}_{y}$

• $a$:

  Amos

• $b$:

  Bouncer

• $c$:

  Cleo

symbolize each of the following sentences in FOL:

1. If Cleo loves Bouncer, then Bouncer is a monkey.

2. If both Bouncer and Cleo are alligators, then Amos loves them both.

3. Cleo loves a reptile.

4. Bouncer loves all the monkeys that live at the zoo.

5. All the monkeys that Amos loves love him back.

6. Every monkey that Cleo loves is also loved by Amos.

7. There is a monkey that loves Bouncer, but sadly Bouncer does not reciprocate this love.