California State University, Sacramento

SENTENTIAL LOGIC

DEDUCTION: INDIRECT PROOF

To deduce: ~S V W

1. P & (~Q & ~T) Premise

2. P ( (S ( R) Premise

3. S ( [R ( (T V Q)] Premise

4.

5.

6.

7.

8.

9.

10.

11.

12.

13.

14.

15.

16.

17.

18.

19.

20.

21.

22.

................
................

In order to avoid copyright disputes, this page is only a partial summary.