Consider the following list of sentences about members of the set P of all pets. 1. If any pet is not a black cat, then that pet has a tail. 2. If some pet has a tail, then that pet is a black cat. 3....

Extracted text: Consider the following list of sentences about members of the set P of all pets. 1. If any pet is not a black cat, then that pet has a tail. 2. If some pet has a tail, then that pet is a black cat. 3. At least one pet is a black cat. 4. Every pet which is a black cat has a tail. 5. Every pet which has a tail is a black cat. 6. If a pet is a black cat, then that pet does not have a tall. 7. Every pet which is a black cat does not have a tail. 8. At least one pet is a black cat and has a tail. Let b (x) be the predicate x is a black cat and let t (x) be the predicate x has a tail. 1) Va € P, b (x) →t (2) 2) Væ € P, t (x) → b(æ) 3) 3a € P|b (x) A t (z) 4) Væ € P, -b (x) →t (x) 5) Va € P, b (r) → t(2) 6) Jr € P|b(2)