() ()

() P Q R ((P ) Q) R

1. x y z [P (x, y) Q(x, z, y) R(y, z)]

(A) z x y [P (x, y) Q(x, z, y) R(y, z)]

(B) x z y [P (x, y) Q(x, z, y) R(y, z)]

(C) x z y [P (x, y) (Q(x, z, y) R(y, z))]

(D) x z y [R(y, z) P (x, y) Q(x, z, y)]

2. x y z [P (x, y) Q(x, z, y) R(y, z)]

(A) x y z [P (x, y) Q(x, z, y) R(y, z)]

(B) x y z [P (x, y) Q(x, z, y) R(y, z)]

(C) x y z [P (x, y) Q(x, z, y) R(y, z)]

(D) x y z [P (x, y) (Q(x, z, y) R(y, z))]

3. X Y f f1 f2 Y Z gg1 g2

(A) g f f g

(B) g f f g

(C) f g g f

(D) f g g f

(E) g f1 = g f2 g f1 = f2

(F) g1 f = g2 f f g1 = g2

4. X Y f

(A) X A f 1 (f (A)) = A

1
2

(B) Y B f (f 1 (B)) = B

(C) X A f (X \ A) = Y \ f (A);

(D) Y B f 1 (Y \ B) = X \ f 1 (B)

5. X Y f

(A) X Ai (i I) f ( Ai ) = f (Ai );
iI iI

(B) X Ai (i I) f ( Ai ) = f (Ai );
iI iI

(C) Y Bj (j J) f 1 ( Bj ) = f 1 (Bj )
jJ jJ

(D) Y Bj (j J) f 1 ( Bj ) = f 1 (Bj )
jJ jJ

6. {, {}, {, {}}}

7. [0, 1] [0, 1)

8. X Y Y X

9. X Y Y X

10. X Y Y X X Y

f
11. X / Y A X B Y f (A f 1 (B)) = f (A) B

f
12. X / Y A X B Y f 1 (f (A) B) = A f 1 (B)

f
13. X / Y X Y f

14. P(Q)

15. S P(S) S

16. S S P(S)

17. S T S T

18. S S {2, 3, 4}

f g
19. X / Y Y / Z C Z f 1 (g 1 (C)) = (g f )1 (C)

20. {x R | x}