##### Question

# 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.

EXERCISES 4.2.6. For each deduction, write a symbolization key and translate the deduction 1) Nothing on my desk escapes my attention. There is a computer on my desk. Therefore, 2) All my dreams are black and white. Old TV shows are in black and white. Therefore, 3) Neither Holmes nor Watson has been to Australia. A person could see a kangaroo only into First-Order Logic. there is a computer that does not escape my attention some of my dreams are old TV shows. if they had been to Australia or to a zoo. Although Watson has not seen a kangaroo, 4) No one expects the Spanish Inquisition. No one knows the troubles I've seen. Therefore, 5) Every antelope is bigger than a bread box. The thing I am thinking of is no bigger than Holmes has. Therefore, Holmes has been to a zoo anyone who expects the Spanish Inquisition knows the troubles I've seen a bread box, and it is either an antelope or a cantaloupe. Therefore, I am thinking of a cantaloupe