View the step-by-step solution to:


·     Work #1-7, 9-11, and 22-23.

style="color:rgb(45,59,69);"> (You can copy and paste the ∃ symbol.)

Help with the ones I could not figure out.

1.   X isn't a cat.

2.   Something is a cat ~(∃x)Cx

3.   Something isn't a cat. 0186

4.   It's false that there is something that isn't a cat ~(∃x)~Cx

5.   Everything is a cat

6.   If x is a dog, then x is an animal (DxÉAx)

7.   All dogs are animals (x)(DxÉAx)

9.  Some logicians are evil (∃x)(Lx·Ex)

10. No logician is evil

11. All black cats are unlucky (x)(Bx ·Cx)ÉUx)

22. All who are either dogs or cats are animals (x)((Dx n Cx) ÉAx)

23.All who are both dogs and cats are animals. (x)((Dx·Cx)ÉAx)

Recently Asked Questions

Why Join Course Hero?

Course Hero has all the homework and study help you need to succeed! We’ve got course-specific notes, study guides, and practice tests along with expert tutors.


Educational Resources
  • -

    Study Documents

    Find the best study resources around, tagged to your specific courses. Share your own to gain free Course Hero access.

    Browse Documents
  • -

    Question & Answers

    Get one-on-one homework help from our expert tutors—available online 24/7. Ask your own questions or browse existing Q&A threads. Satisfaction guaranteed!

    Ask a Question
Ask Expert Tutors You can ask 0 bonus questions You can ask 0 questions (0 expire soon) You can ask 0 questions (will expire )
Answers in as fast as 15 minutes