Chapter 9, Level 1 Self Quiz: G2

Quiz Content

not completed
. Determine whether the following proof is correct or incorrect.

 The nine steps are: 1. F b. 2. (x) (F a horseshoe x not equals a) slash a not equals b. Indent (3. a equals b assumption (I P). 4. b equals a 3, l d. 5. F a 1, 4, l d. 6. F a horseshoe b not equals a 2, U I. 7. b not equals a 5, 6, M P. 8. b equals a dot b not equals a 4, 7, Conj.) 9. a not equals b 3 to 8, I P.

not completed
. Determine whether the following proof is correct or incorrect.

 The ten steps are: 1. Tilde L b. 2. (x) [H x horseshoe (L x dot x equals b)] slash tilde H a. Indent (3, H a assumption (I P). 4. H a horseshoe (L a dot a equals b) 2, U I. 5. L a dot a equals b 3, 4, M P. 6. L a 5, Simp. 7. a equals b 5, simp. 8. L b 6, 7, l d. 9. L b dot tilde L b 1, 8, Conj.) 10 Tilde H a 3 to 9, I P.

not completed
. Determine whether the following proof is correct or incorrect.

 The nine steps are: 1. (F b dot G a b) dot (x) [(F x dot G a x) horseshoe x equals b]. 2. (Backward E x) [(F x dot G a x) dot H x] slash H b. 3. (F c dot G a c) dot H c 2, U I. 4. (x) [(F x dot G a x) horseshoe x equals b] 1, Simp. 5. (F c dot G a c) horseshoe c equals b 4, U I. 6. F c dot G a c 3, Simp. 7. c equals b 5, 6, M P. 8. H c 3, simp. 9. h b 7, 8, l d.

not completed
. Determine whether the following proof is correct or incorrect.

 The thirteen steps are: 1. (F b dot H a b) dot (x) [(F x dot H a x) horseshoe x equals b]. 2. (Backward E x) {(F x dot G x) dot (y) [F y dot G y) horseshoe y equals x] dot H a x} slash (backward E x) {(F x dot G x) dot (y) [(F y dot G y) horseshoe y equals x] dot x equals b}. 3. (F c dot G c) dot (y) [(F y dot G y) horseshoe y equals c] dot H a c 2, e I. 4. (x) [(F x dot H a x) horseshoe x equals b] 1, Simp. 5. (F c dot H a c) horseshoe c equals b 4, U I. 6. F c dot G c 3, Simp. 7. F c 6, simp. 8. H a c 3, simp. 9. F c dot H a c 7, 8, Conj. 10. c equals b 5, 9, M P. 11. (F c dot G c) dot (y) [(F y dot G y) horseshoe y equals c] 3, simp. 12. (F c dot G c) dot (y) [(F y dot G y) horseshoe y equals c] dot c equals b] 10, 11, Conj. 13. (Backward E x) {(F x dot G x) dot (y) [(F y dot G y) horseshoe y equals x] dot x equals b} 12, E G.

Back to top