View the step-by-step solution to:

For the following two arguments, write direct proof using the eight rules of inference introduced in section 8.1 of the textbook. Note that commas...

For the following two arguments, write direct proof using the eight rules of inference introduced in section 8.1 of the textbook. Note that commas are used to separate the premises from each other.


  1. ~F → ~G, P → ~Q, ~F v P, (~G v ~Q) → (L • M), therefore, L
  2. (C → Q) • (~L → ~R), (S → C) • (~N → ~L), ~Q • J, ~Q → (S v ~N), therefore, ~R


Natural deduction is so called because it is a model for how we naturally reason. This often comes as a surprise to students because all of the symbols seem anything but natural. The symbols, however, allow us to focus on the form of the argument without getting bogged down by content. Recall that each sentence letter represents a simple sentence in English. In your peer responses, use the form of the argument and try to provide content using simple sentences that pertain to a current event or some contemporary issue. In other words, construct a translation key for a peer's argument by assigning each letter a simple sentence, and use that key to fill in the content of the argument.

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