Practice 4.1

Shortened Practice set 4.1 (this is the proof section for set 4.1 and all that is due for exam 2]

III. Construct proofs for the following arguments.
(1) 1. A · B A
2. C · D A Deduce: A · D

(2) 1. D ⊃ E A
2. E ⊃ F A
3. ~F A Deduce: ~D

(3) 1. A ⊃ B A
2. C · A A Deduce: B

(4) 1. D ⊃ (A · B) A
2. E ⊃ ~A A
3. D A Deduce: ~E

(5) 1. (B · A) ⊃ E A
2. ~ ~A · B A Deduce: E

(6) 1. D ⊃ (B ⊃ A) A
2. D · ~A A Deduce: ~B

(7) 1. E · (D ∨ B) A
2. (D ∨ B) ⊃ ~ ~A A Deduce: A

(8) 1. D ⊃ (B · A) A
2. ~E · D A
3. ~C ⊃ ~B A Deduce: C