|
Exercise: Translation and Validity in Quantifier Logic
Translate and test for validity:
1. All men are mortal. All Greeks are men. Therefore all Greeks are mortal. 2. Clams and oysters are edible mollusks. Therefore, clams are edible. 3. All cats are mammals. Some cats are not striped. Therefore, some mammals are not striped. 4. Some dragons are green. Dragons don't exist. Therefore, everything is green. 5. Cats and dogs are fur-bearing mammals. If all cats are mammals then some cats are striped. Therefore, some mammals have stripes. 6. Cats and dogs are fur-bearing mammals. If all cats are mammals then all dogs are carnivorous. All carnivorous mammals are predatory. Therefore, all dogs are predatory. 7. Snails and insects are edible only if properly cooked. Insects are never properly cooked. Therefore, insects are not edible. 8. All cats are mammals. All dogs are mammals. All mammals are warm-blooded. Therefore cats and dogs are warm-blooded mammals. 9. If vampires exist then all vampires are dreadful. Things that are bloodthirsty and dreadful are not trustworthy. Dracula is a bloodthirsty vampire. If some bats are friendly then Dracula is trustworthy. Therefore, if all vampires are bats then some dreadful things are unfriendly. 10. Either everything is interesting or everything is trivial. Therefore, everything is either interesting or trivial.
|
|
|