Chapter 1.

6, Problem 12E

Problem

Show that the argument form with premises

and ¬s and conclusion is valid by first using Exercise 11 and then using rules of
inference from Table 1.

Step-by-step solution

Step 1 of 4
The objective is to show that the following argument form is valid or not:

The following statement follows from the rules of inference.

To show that the argument form with premises and conclusion is valid, it is
enough to show that the argument form with premises and conclusion is valid.

That is, it is enough to show that the argument form with premises
and conclusion is valid.

Step 2 of 4
Take the premises as:

Apply rules of inference on the premises to get the conclusion

Step Reason

1. Premise

2. Premise

Apply Modus ponens on steps 1 and 2.

Step Reason

3. By Modus Ponens from 1 and 2

4. By simplification on step 3

5. By simplification on step 3

6. Premise

7. By Modus Ponens from step 4 and 6

Step 3 of 4
Apply conjunction on steps 5 and 7.

Step Reason

8. By conjunction for steps 5 and 7

9. Premise

10. Modus Ponens from steps 8 and 9

11. Premise

Apply Disjunctive Syllogism on steps 10 and 11. Step Reason

12. By Disjunctive Syllogism form steps 10 and 11

13. By taking negation of premise

Step 4 of 4

Apply Addition on steps 12 and 13.

14. By addition of steps 12 and 13

15. By Implication rule

16. By Modus Ponens from steps 1 and 15

Therefore, the conclusion is deduced form the premises.