View the step-by-step solution to:


Determine if this solution uses correct or incorrect rules for each line

1. (x)(Ax ->


2. (x)(~Ax v Cx) -> Ax)

3. (x)(Bx -> Cx)      ∴ (x)Cx

4. (Aa -> Ba)         1, UI

5. (~Aa v Ca) -> Aa)  2, UI

6. (Ba -> Ca)         3, UI

7. Aa -> Ca          4, 6 HS

8. ~Aa v Ca          7, MI

9. Aa                5, 8 MP

10. Ca               7, 9 MP

11. (x)Cx             11, UG

Top Answer

Yes. correct rule are chosen. I explain with each rule how the rule... View the full answer

Sign up to view the full answer

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.

  • -

    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