Chapter 9, Level 1 Self Quiz: DI

Quiz Content

not completed
. Determine whether the following proof is correct.

 The ten steps are: 1. (x) (F x horseshoe H x). 2. (x) (F x horseshoe G x) slash (x) [F x horseshoe (G x dot H x)]. Indent (3. F x assumption (C P). 4. F x horseshoe G x 2, U I. 5. F x horseshoe H x 1, U I. 6. G x 3, 4, M P. 7. H x 3, 5, M P. 8. G x dot H x 6, 7, Conj.) 9. F x horseshoe (G x dot H x) 3 to 8, C P. 10. (x) [F x horseshoe (G x dot H x)] 9, U G.

not completed
. Determine whether the following proof is correct.

 The ten steps are: 1. Tilde (backward E y) K y horseshoe tilde (backward E z) M z. 2. (Backward e x) [H x horseshoe (y) tilde K y] slash (x) H x horseshoe (x) tilde M z. Indent (3. (x) H x assumption (C P). 4. H a horseshoe (y) tilde K y 2. E I. 5. H a 3, U I. 6. (y) tilde K y 4, 5, M P. 7. (Backward E x) tilde K y 6, C Q. 8. Tilde (backward E z) M z 1, 7, M P. 9. (z) tilde M z 8, C Q.) 10. (x) H x horseshoe (z) tilde M z 3 to 9, C P.

not completed
. Determine whether the following proof is correct.

 The thirteen steps are: 1. (x) [(G x horseshoe (H x dot L x)] slash (x) (F x horseshoe G x) horseshoe (x) (F x horseshoe L x). Indent (2. (x) (F x horseshoe G x) assumption (C P). Indent (3. F x assumption (C P). 4. F x horseshoe G x 2, U I. 5. G x 3, 4, M P. 6. G x horseshoe (H x dot L x) 1, U I. 7. H x dot L x 5, 6, M T. 8. L x 7, Simp.) 9. F x horseshoe L x 3 to 8, C P. 10. (x) (F x horseshoe L x) 9, U G.) 11. (x) (F x horseshoe G x) dot (x) (F x horseshoe L x) 2 to 10, C P.

not completed
. Determine whether the following proof is correct.

 The thirteen steps are: 1. (Backward E x) (D x wedge M x) horseshoe (x) F x. 2. (Backward E x) B x horseshoe (backward E x) (C x dot D x) slash (x) (B x horseshoe F x). Indent (3. B x assumption (C P). 4. (Backward E x) B x 3, E G. 5. (Backward E x) (C x dot D x) 2, 4, M P. 6. C a dot D a 5, E I. 7. D a 6, simp. 8. d a wedge M a 7, Add. 9. (Backward E x) D x wedge M x 8, E G. 10. (x) F x 1, 9, M P. 11. F x 10, U I.) 12. B x horseshoe F x 3 to 11, C P. 13. (x) (B x horseshoe F x) 12, U G.

Back to top