Chapter 9, Level 2 Self Quiz: D

Quiz Content

not completed
. Choose the answer that completes the missing part of the proof.

 The seven steps are: 1. (x) (C x horseshoe A x). 2. (Backward E x) (C x dot B x) slash (backward E x) tilde A x. 3. C a dot B a 2, E I. 4. C a horseshoe tilde A a blank. 5. C a 3, Simp. 6. Tilde A a 4, 5, M P. 7. (Backward E x) tilde A x 6, E G.

not completed
. Choose the answer that completes the missing part of the proof.

 The four steps are: 1. (x) (T x horseshoe R x). 2. T a slash R a. 3. T a horseshoe R a 1, U I. 4. R a blank.

not completed
. Choose the answer that completes the missing part of the proof.

 The eight steps are: 1. (x) [(Q x wedge P x) horseshoe R x] slash (x) (P x horseshoe R x). 2. (Q x wedge P x) horseshoe R x 1, U I. Indent (3. P x assumption (C P). 4. P x wedge Q x 3, Add. 5. Q x wedge P x 4, Com. 6. R x 2, 5, M P.) 7. P x horseshoe R x 3 to 6, C P. 8. (x) (P x horseshoe R x) blank.

not completed
. Choose the answer that completes the missing part of the proof.

 The five steps are: 1. (x) (y) M x y (backward E x) (backward E y) M x y. 2. (y) M a y 1, U I. 3. M a b 2, U I. 4. (Backward E y) M a y blank. 5. (Backward E x) (backward E y) M x y 4, E G.

not completed
. Choose the answer that completes the missing part of the proof.

 The nine steps are: 1. (x) (P x horseshoe S x). 2. (x) (S x horseshoe Q x) slash (x) (P x horseshoe Q x). Indent (3. P x assumption (C P). 4. P x horseshoe S x 1, U I. 5. S 3, 4, M P. 5. S x 3, 4, M P. 6. S x horseshoe Q x blank. 7. Q x 5, 6, M P.) 8. P x horseshoe Q x 3 to 7, C P. 9. (x) (P x horseshoe Q x) 8, U G.

not completed
. Choose the answer that completes the missing part of the proof.

 The eight steps are: 1. (x) (A x horseshoe tilde B x). 2. (x) (F x horseshoe B x) slash (x) (F x horseshoe tilde A x). 3. Blank 1, U I. 4. F y horseshoe B y 2, U I. 5. Tilde tilde B y horseshoe tilde A y 3, Trans. 6. B y horseshoe tilde A y 5, D N. 7. F y horseshoe tilde A y 4, 6, H S. 8. (x) (F x horseshoe tilde A x) 7, U G.

not completed
. Choose the answer that completes the missing part of the proof.

 The six steps are: 1. (x) (R x horseshoe M x). 2. (x) (M x horseshoe tilde L x) slash (x) (R x horseshoe tilde L x). 3. R y horseshoe M y 1, U I. 4. Blank 2, U I. 5. R y horseshoe tilde L y 3, 4, H S. 6. (x) (R x horseshoe tilde L x) 5, U G.

not completed
. Choose the answer that completes the missing part of the proof.

 The eleven steps are: 1. (x) (P x horseshoe tilde Q x). 2. (Backward E x) (R x dot Q x) slash (backward E x) (R x dot tilde x). 3. Blank 2, E I. 4. P a horseshoe tilde Q a 1, U I. 5. R a 3, Simp. 6. Q a dot R a 3, Com. 7. Q a 6, simp. 8. Tilde tilde Q a 7, D N. 9. Tilde P a 4, 8, M T. 10. R a dot tilde P a 5, 9, Conj. 11. (Backward E x) (R x dot tilde P x) 10, E G.

not completed
. Choose the answer that completes the missing part of the proof.

 The ten steps are: 1. (Backward E x) (P x dot S x). 2. (x) (P x horseshoe R x) slash (backward E x) (S x dot R x). 3. P a dot S a 1, E I. 4. P a horseshoe R a blank. 5. P a 3, Simp. 6. R a 4, 5, M P. 7. s a dot P a 3, Com. 8. S a 7, Simp. 9. S a dot R a 6, 8, Conj. 10. (Backward E x) (S x dot R x) 9, E G.

not completed
. Choose the answer that completes the missing part of the proof.

 The six steps are: 1. (x) (P x horseshoe Q x). 2. (x) (R x horseshoe P x) slash (x) (R x horseshoe Q x). 3. P y horseshoe Q y. 1, U I. 4. R y horseshoe P y 2, U I. 5. R y horseshoe Q y 3, 4, H S. 6. (x) (R x horseshoe Q x) blank.

Back to top