Solve the problems using the rules of replacement and inference:

11. 1. D → (A v C)
       2. D & ~A /C

12. 1. ~(A v B)
       2. ~B → C /C

13. 1. B → A
2. C → B
3. ~A /~C

14. 1. (F v G) → ~A
2. A v W
3. F & T /W

Solution PreviewSolution Preview

These solutions may offer step-by-step problem-solving explanations or good writing examples that include modern styles of formatting and construction of bibliographies out of text citations and references. Students may use these solutions for personal skill-building and practice. Unethical use is strictly forbidden.

Notice the goal is C, and the only place we have a C is in the disjunction (or, ‘v’) in #1. So, somehow, we need to break up the if-then in #1 and isolate (A v C), and then we need to break up the disjunction in (A v C) using disjunctive syllogism (see below). That will give us C...

By purchasing this solution you'll be able to access the following files:

for this solution

PayPal, G Pay, ApplePay, Amazon Pay, and all major credit cards accepted.

Find A Tutor

View available Philosophic Logic Tutors

Get College Homework Help.

Are you sure you don't want to upload any files?

Fast tutor response requires as much info as possible.

Upload a file
Continue without uploading

We couldn't find that subject.
Please select the best match from the list below.

We'll send you an email right away. If it's not in your inbox, check your spam folder.

  • 1
  • 2
  • 3
Live Chats