Questo 1 Para cada afirmao, verifique se verdadeira ou falsa: Para cada afirmao, verifique se verdadeira ou falsa: (a) Sejam

am A e B conjuntos. Temos que A B = A B se e somente se A = B. (b) Sejam A, B e C conjuntos. Se A (B C) = A (B C) ento B = C. (c) Sejam A, B e C conjuntos. Se A (B C) = A (B C) ento B = C. (d) Seja f uma funo de A para B, ento f f-1 DB . Obs.: DB = {(x,y) BxB tq x =y} a relao de igualdade sobre B. Questo 2 Seja A = {a, b, c, d, e}. Determine quais das seguintes relaes sobre A so reflexivas, simtricas, antisimtricas e/ou transitivas. (a) R = {(a,a), (a,b), (a, c), (b,b), (b, c), (b, d), (c,c), (d, d)} (b) T = {(a,a), (a,b), (a, c), (a, e), (b, a), (b, d), (c, a), (c,c), (c,e), (d, b), (d, d), (e,a), (e,c), (e,e)} (c) U = {(a, a), (a, c), (a, e), (b, b), (b, d), (c,a), (c,c), (c, e), (d, b), (d,d), (e, a), (e, c), (e,e)} Questo 3 Seja R uma relao de equivalncia sobre um conjunto A e seja a A. Mostre, usando apenas as definies, que: se b, c [a] ento (b, c) R. Questo 4 Para cada relao de ordem parcial a seguir, construa o diagrama de Hasse de (A, R). Destaque os elementos minimais e maximais. Se tiver, indica o elemento mximo e/ou o elemento mnimo. (a) R = {(a,a), (a, b), (b, b), (c, a), (c, b), (c,c), (c, e), (d, a), (d, b), (d, d), (d,e), (e,b), (e,e)} uma relao de ordem parcial sobre A = {a, b, c, d, e}. (b) S= {(a,a), (a,d), (a,e), (a,m), (a,u), (a,z), (d,d), (d,u), (e,e), (e,m), (e,u), (m,m), (u,u), (z,z), (z,m)} uma relao de ordem parcial sobre A = {a, d, e, m, u, z}.dada pelo subconjunto de AxA: