Supply the justification for each step that is not a premise

Supply the justification for each step that is not a premise in the following proof. (2 points per line)

1. (S Q) (Q S) Premise

2. S Q Premise

3. ~Q Premise

4. S ______ 2, 3

5. S Q ______ 1

6. Q ______ 4, 5

7. Q (P R) ______ 6

8. P R ______ 3, 7

Solution

4. Disjunctive Syllogism

5.

6.

7. Disjunctive addition

8. Disjunctive Syllogism