Exercise C

Using the following symbolization key:

• domain:

  animals in the world

• $B(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ is in Farmer Brown’s field

• $H(x)$:

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

• $P(x)$:

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

• $W(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ has wings

symbolize the following sentences in FOL:

1. There are at least three horses in the world.

2. There are at least three animals in the world.

3. There is more than one horse in Farmer Brown’s field.

4. There are three horses in Farmer Brown’s field.

5. There is a single winged creature in Farmer Brown’s field; any other creatures in the field must be wingless.

6. The Pegasus is a winged horse.

7. The animal in Farmer Brown’s field is not a horse.

8. The horse in Farmer Brown’s field does not have wings.