Unit 13 Answers

1.

a) A cup.gif (142 bytes) B = { x | x in.gif (889 bytes) A   or.gif (64 bytes)   x in.gif (889 bytes) B }

                 = { x | x in.gif (889 bytes) B   or.gif (64 bytes)   x in.gif (889 bytes) A } = B cup.gif (142 bytes) A

b) A cap.gif (142 bytes) B = { x | x in.gif (889 bytes) A   and.gif (67 bytes)   x in.gif (889 bytes) B }

                 = { x | x in.gif (889 bytes) B   and.gif (67 bytes)   x in.gif (889 bytes) A } = B cap.gif (142 bytes) A

2. For an arbitrary element x in the universe,
x in.gif (889 bytes) barAuB.gif 
(142 bytes)   EqvT.gif (73 bytes)   x not_in.gif (82 bytes) A cup.gif (142 bytes) B   EqvT.gif (73 bytes)   not.gif (54 bytes) ( x in.gif (889 bytes) A   or.gif (64 bytes)   x in.gif (889 bytes) B )   EqvT.gif (73 bytes)   ( not.gif (54 bytes) x in.gif (889 bytes) A   and.gif (67 bytes)   not.gif (54 bytes) x in.gif (889 bytes) B )
  EqvT.gif (73 bytes)   ( x not_in.gif (82 bytes) A   and.gif (67 bytes)   x not_in.gif (82 bytes) B )   EqvT.gif (73 bytes)   ( x in.gif (889 bytes) A_bar.gif (163 bytes)   and.gif (67 bytes)   x in.gif (889 bytes) B_bar.gif (177 bytes) )   EqvT.gif (73 bytes)   x in.gif (889 bytes) A_bar.gif (163 bytes) cap.gif (142 bytes) B_bar.gif (177 bytes)

3. For an arbitrary element x in the universe,
x in.gif (889 bytes) A cup.gif (142 bytes) ( B cup.gif (142 bytes) C )   EqvT.gif (73 bytes)   ( x in.gif (889 bytes) A   or.gif (64 bytes)   x in.gif (889 bytes) B cup.gif (142 bytes) C )   EqvT.gif (73 bytes)   ( x in.gif (889 bytes) A   or.gif (64 bytes)   ( x in.gif (889 bytes) B   or.gif (64 bytes)   x in.gif (889 bytes) C ))
  EqvT.gif (73 bytes)   (( x in.gif (889 bytes) A   or.gif (64 bytes)   x in.gif (889 bytes) B )   or.gif (64 bytes)   x in.gif (889 bytes) C )   EqvT.gif (73 bytes)   x in.gif (889 bytes) ( A cup.gif (142 bytes) B ) cup.gif (142 bytes) C