Construct proofs for the arguments below, using any of the following: Implicational

Rules, Equivalence Rules, Conditional Proof (CP), Reductio ad Absurdum (RAA).

(1). 1. (A v B) (C . D)

2. A C

(2). 1. A B

2. A v ~C

3. ~B ~C

(3). 1. ~A ~C

2. ~(A v D) ~(C v D)

(4). 1. ~(A B)

2. ~C ~A

3. C E E

(5). 1. A v (B . C)

2. (A v B) ~D

3. E D ~E

(6). 1. A B

2. B C

3. (A C) ~B ~A

(7). 1. A (B v C)

2. B (D . E) (A . ~C) E

(8). 1. ~(~A . ~D)

2. B ~D

3. (~A . ~D) v B A v ~B

8 pts 8 pts

(9). 1. ~(C . D)

2. ~(~D v E) ~(C v E)

(10). 1. ~C A

2. (F . H) v ~C

3. ~(A v B) F . ~B

(11). 1. T (A v B)

2. ~(A v C)

3. B C ~T

(12). 1. A (B v C)

2. E (C v P)

3. ~C ~(B v P) ~(A v E)