EXERCISES 4.2.5. Using the given symbolization key, translate each English-language asser tion in...
EXERCISES 4.2.5. Using the given symbolization key, translate each English-language asser tion into First-Order Logic u: The set of all animals. D: The set of all dogs. S: The set of all animals who like to swim f: Fergis b: Bertie e: Emerson r L y: s is larger than y. 1) Bertie is a dog who likes to swim 2) Bertie, Emerson, and Fergis are all dogs. 3) Emerson is larger than Bertie, and Fergis is larger than Emerson 4) All dogs like to swim. 5) Every animal that likes to swim is a dog. 6) There is a dog that is larger than Emerson 7) No animal that likes to swim is larger than Emerson 8) Any animal that does not like to swim is larger than Bertie. 9) There is an animal that is larger than Bertie, but smaller than Emerson 10) There is no dog that is larger than Bertie, but smaller than Emerson 11) No dog is larger than itself.