View the step-by-step solution to:

Question

Need help with question 8 please


Give a direct proof of each of the following:

a) ~s, r

-> s, r | t ==> t


b) a | b, a -> c, b -> d ==> c | d


Having trouble with these 3

exam2last3questions.jpg

exam2last3questions.jpg

8. (10) Give a direct proof of each of the following:
a. -s,r - s,r vt = t
b. avb,a-c,b -d =>cvd
9. (10) Give indirect proofs of each of the following:
a. -s,r - s,r vt = t
b. avb,a-c,b-d=>cvd
10. (10) Is the following argument valid? If so, construct a formal proof (direct or indirect). If not,
explain why not.
If Alex gets a new job, then he will buy a guitar.
If Alex wins the lottery, then he will buy a guitar.
If Alex goes to Costa Rica, then either Alex got a new job or Alex won the lottery.
Alex goes to Costa Rica.
Therefore, Alex bought a guitar.

Top 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.

-

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