Chapter 9, Level 1 Self Quiz: BIII

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

 The seven steps are: 1. (Backward E x) H x. 2. (x) (H x horseshoe P x) slash (backward E x) (H x dot P x). 3. H c 1, E I. 4. H c horseshoe P c blank. 5. P c 3, 4, M P. 6. H c dot P c 3, 5, Conj. 7. (Backward E x) (H x dot P x) 6, E G.

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

 The nine steps are: 1. (x) (U x horseshoe S x). 2. (Backward E) (U x dot T x) slash (backward E x) (T x dot S x). 3. U a dot T a 2, E I. 4. U a horseshoe S a 1, U I. 5.U a 3, Simp. 6. S a 4, 5, M P. 7. T a 3, Simp. 8. T a dot S a 6, 7, Conj. 9. Blank 8, E G.

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

 The nine steps are: 1. (Backward E x) (P x dot Q x). 2. (x) (P x horseshoe R x) slash (backward x) (Q x dot R x). 3. P a dot Q a 1, E I. 4. P a 3, Simp. 5. Blank 2, U I. 6. R a 4, 5, M P. 7. Q a 3, Simp. 8. Q a dot R a 6, 7, conj. 9. (Backward E x) (Q x dot R x) 8, E G.

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

 The twelve steps are: 1. (x) [tilde (F x wedge G x) horseshoe H x]. 2. (x) (H x horseshoe L x). 3. (x) tilde F x slash (x) (G x wedge L x). 4. Tilde (F x wedge G x) horseshoe H x 1, U I. 5. H x horseshoe L x 2, U I. 6. Tilde (F x wedge G x) horseshoe L x blank. 7. Tilde tilde (F x wedge G x) wedge L x 6, Impl. 8. (F x wedge x) wedge L x 7, D N. 9. F x wedge (G x wedge L x) 8, Assoc. 10. Tilde F x 3 U I. 11. G x wedge L x 9, 10, D S. 12. (x) (G x wedge L x) 11, U G.

Back to top