(l) 1. A ~ A/ ~ A
(2) 1. ~ A B
2. C A
3. ~ B/ ~ C
(3) 1. A / (~ A C)
(4) 1. (A B) C
2. ~ A ~ C / ~ B
(5) 1. ~ [A ~ (~ A ~ B)]
2. ~ (A B) (C D) / D
(6) 1. (A B) C
2. ~ C
3. ~ D B
4. ~ A ~ E / ~ (~ E D)
(7) 1. (A B) (C D) / B C
(8) 1. (A B) C
2. (B C) D
3. ~ (E ~ B) / ~ (~ D A)
(9) 1. A B
2. C D / (A C) (B D)
IV. SUGGESTED ANSWERS
(l) 1. A ~ A p
IV. CHAPTER FOUR: PROOFS WITHOUT CP OR IP
Prove valid, using the eighteen valid argument forms (but not CP or IP):
13
(6) 1. (A B)C p
14
(8) 1. (A B) C p
(9) 1. A B p