Exercise B

Using the following symbolization key:

• domain:

  all animals

• $D(x)$:

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

• $S(x)$:

  $\underline{\hskip 15.00002pt}_{x}$ likes samurai movies

• $L(x,y)$:

  $\underline{\hskip 15.00002pt}_{x}$ is larger than $\underline{\hskip 15.00002pt}_{y}$

• $r$:

  Rave

• $h$:

  Shane

• $d$:

  Daisy

symbolize the following sentences in FOL:

1. Rave is a dog who likes samurai movies.

2. Rave, Shane, and Daisy are all dogs.

3. Shane is larger than Rave, and Daisy is larger than Shane.

4. All dogs like samurai movies.

5. Only dogs like samurai movies.

6. There is a dog that is larger than Shane.

7. If there is a dog larger than Daisy, then there is a dog larger than Shane.

8. No animal that likes samurai movies is larger than Shane.

9. No dog is larger than Daisy.

10. Any animal that dislikes samurai movies is larger than Rave.

11. There is an animal that is between Rave and Shane in size.

12. There is no dog that is between Rave and Shane in size.

13. No dog is larger than itself.

14. Every dog is larger than some dog.

15. There is an animal that is smaller than every dog.

16. If there is an animal that is larger than any dog, then that animal does not like samurai movies.