Chapter 9, Level 1 Self Quiz: F2

. Determine whether the following proof is correct or incorrect.

 The five steps are: 1. (x) (y) (F x y horseshoe tilde F x y). 2. F b a. 3. (y) (F b y horseshoe F y b) 1, E I. 4. F b a horseshoe tilde F a b 3, U I. 5. Tilde F a b 2, 4, M P.

. Determine whether the following proof is correct or incorrect.

 The six steps are: 1. Tilde (backward E x) [F x dot (backward E y) (F y dot B x y)] slash (x) [F x horseshoe tilde B x y)]. 2. (x) tilde [F x dot (backward E y) (F y dot B x y)] 1, C Q. 3. Tilde [F a dot (backward E y) (F y dot B a y)] 2, U I. 4. Tilde F a wedge tilde (backward E y) (F y dot B a y) 3, D M. 5. Tilde F a wedge (y) tilde (F y dot B a y) 4, C Q. 6. Tilde F a wedge (y) (tilde F y wedge tilde B a y) 5, D M.

. Determine whether the following proof is correct or incorrect.

 The ten steps are: 1. (x) (backward E y) (M x dot P y) slash (x) M x. Indent (2. Tilde (x) M x assumption (I P). 3. (Backward E x) tilde M x 2, C Q. 4. Tilde M a 3, E I. 5. (Backward E y) (M a dot P y) 1, U I. 6. M a pot P B 5, E I. 7. M a 6, Simp. 8. Tilde M a 7, D N.) 9. Tilde tilde (x) M x 2 to 8 I P. 10. (x) M x 9, D N.

. Determine whether the following proof is correct or incorrect.

 The fourteen steps are: 1. F a slash (x) [(G x dot H x a) horseshoe (backward E x) (F y dot H x y)]. Indent (2. G b dot H b a assumption (C P). Indent (3. Tilde (backward E y) (F y dot H b y assumption (I P). 4. (y) tilde (F y dot H b y) 3, C Q. 5. Tilde (F a dot H b a) 4, U I. 6. Tilde F a wedge tilde H b a 5, D M. 7. Tilde tilde F a 1, D N. 8. Tilde H b a 6, 7, D S. 9. H b a 2, Simp. 10. H b a dot tilde H b a 8, 9, Conj.) 11. Tilde tilde (backward E y) (F y dot H b y) 3 to 10, I P. 12. (Backward E y) (F y dot H by) 11, D N.) 13. (G b dot H b a) horseshoe (backward E y) (F y dot H b y) 2 to 12, C P. 14. (x) [(G x dot H x a) horseshoe (backward E y) (F y dot H x y)] 13, U G.

Back to top