Part I: use the 8 inference rules (Simp. Conj. D.S., H.S., DIL, M.P., M.T., Add) to prove the following arguments. You are NOT allowed to use any of the 10 replacement rules, nor C.P. or I.P.

a)

1. (AvB) (CD)

2. ~C~A

3. ~B~D /\~(PQ)

b)

1. ((PQ)v~S) ~C

2. W ((PQ) A)

3. (WvC)(~SB) /\AvB

Part II: Use 8 inference rules and 10 replacement rules (D.N., C.E., B.E., DeM., Dup., Assoc., Commu., Dist., Contrap., Export.) to prove the following arguments. You are NOT allowed to use C.P. or I.P.

c.

1. WY

2. ~Wv~Y

3. X(YZ) / ~X

d.

1. AvB

2. C

3. (AC) D

4. ~(~FB) / DvF

e.

1. AB

2. ~(A~R) (AS) / ~(BS) ~(AR)

f.

1. ~(D~(EvB))

2. ~(EvF)

3.C(EvA) / ~(~A~B)v~(CvD)

Part III: C.P. (conditional proof), I.P. (indirect proof), and proof of theorems.

g.

1. A~C

2. ~BC

3. Av~B / AB

h.

1. D(EF)

2. H(EvG)

3. D(G~H) / ~(~F~H) ~D

i.

1. N(PR)

2. ~(RS) ~T

3. (Mv~T)v~(PS) /~M~(NT)

Proof of theorem

j.

(AB) (~A~B)