1. Study Questions for Quiz 4 The exam has four parts: 1. (16 points) Consistency and Completeness 2. (18 points) Translation 3. (34 points) Proving Rules are Derived 4. (32 points) Proofs Using any Rules 1. Consistency and Completeness There will be 4 questions such as the following: What is a consistent system? Answer: A system where every provable argument is valid. If I remove a rule form a complete system is the result complete? Answer: It may or may not be complete depending on the rule removed.

2. Study Questions for Quiz 4 2. Translation There will be 2 translation problems such as the following: Having WATER is neither necessary nor sufficient for LIFE since you can have water and no life. Answer: W&-L | -(L>W)&-(W>L)

3. Study Questions for Quiz 4 3. Proving Rules are Derived. There will be two proofs to show that a rule is derived. You may NOT use any derived rules. Here is a sample. -(A>B) | -B Answer: 11) -(A>B)A 22) BPA 33) APA 2,34) A&B3,2 &I 2,35) B4 &O 26) A>B3-5 >I 1,27) (A>B)&-(A>B)6,1 &I 18) -B2-7 -I

4. Study Questions for Quiz 4 4. Proofs Using Any Rules Here is a sample: (C&-B)>A | C>(AvB) Answer: 11) (C&-B)>A A 22) CPA 33) -APA 44) -BPA 2,45) C&-B2,4 &I 1,2,46) A1,5 >O 1,2,3,47) A&-A6,3 &I 1,2,38) B4-7 -O 1,29) -A>B3-8 >I 1,210) AvB9 AR 111) C>(AvB)2-10 >I