View the step-by-step solution to:

Solve the following ten problems using the same form that Hurley demonstrated in your text. Show all steps necessary to derive each conclusion. (1)...

Solve the following ten problems using the same form that Hurley demonstrated in your text. Show all steps necessary to derive each conclusion.

(1) 1. X É (Y v Z)
2. W É X
3. W
4. ~Y / Z


(2) 1. X É (~Y É ~Z)
2. ~Y
3. Y v X / ~Z


(3) 1. X É Y
2. Y É Z
3. ~Z / ~X


(4) 1. X É (Y v Z)
2. Y É W
3. Z É K
4. X / W v K


(5) 1. X É Y
2. (~X v W) É K
3. ~Y • Z / K v T

(6) 1. (X v Y) É Z
2. ~(Z v W) / ~Y

(7) 1. X • (Y • Z)
2. (Y • X) É (W • T)
3. (T • Z) É L / (Y • W) • Z

(8) 1. ~X É T
2. W • ~T
3. (X v Y) É Z / W • Z

(9) 1. X
2. Y / X ≡ Y
(Hint: remember that you can add anything)

(10) 1. X É Y
2. X É Z / X É (Y • Z)
(Hint: at some point you’ll need to distribute)

----------------------
This is for a Logic course using the following text: ISBN:9780495503835

This question was asked on Apr 19, 2010.

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 and customizable flashcards—available anywhere, anytime.

-

Educational Resources
  • -

    Study Documents

    Find the best study resources around, tagged to your specific courses. Share your own to gain free Course Hero access or to earn money with our Marketplace.

    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
  • -

    Flashcards

    Browse existing sets or create your own using our digital flashcard system. A simple yet effective studying tool to help you earn the grade that you want!

    Browse Flashcards