Você está na página 1de 4

UNIVERSIDADE FEDERAL DO ESPRITO SANTO

CENTRO DE CINCIAS AGRRIAS


DEPARTAMENTO DE COMPUTAO
COM06851-MATEMTICA DISCRETA
LISTA DE EXERCCIOS

1. Sejam os conjuntos A, B e C. Prove: A ( B C ) ( A B ) ( A C )


2. Sejam A = {2, 4, 5, 6, 8}, B = {1, 4, 5, 9} e C = {x | x Z e 2 x 9}, subconjuntos de U =
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Encontre:
a) B C
b) A C
c) C
d) A B C
e) B C
f) A B
i) A ( B C )
g) A B
h) ( A B) C
3. Prove que a propriedade distributiva valida para a operao diferena (-), ou seja,
prove que:

A ( B C ) ( A B) ( A C )
4. Sejam S = {0, 2, 4, 6} e T = {1, 3, 5, 7}. Determine se cada um dos conjuntos de pares
ordenados a seguir uma funo de domnio S e contradomnio T. Se esse for o caso, a
funo injetora? Sobrejetora? Caso no seja funo, justifique a sua resposta.
a) {(0,2),(2,4),(4,6),(6,0)}
b) {(6,3),(2,1),(0,3),(4,5)}
c) {(2,3),(4,7),(0,1),(6,5)}
d) {(2,1),(4,5),(6,3)}
e) {(6,1),(0,3),(4,1),(0,7),(2,5)}
5. Considere as funes f: ST e g: TU, definidas da seguinte forma:
f = {(1,2),(2,4),(3,3),(4,6)} e g = {(1,7),(2,6),(3,9),(4,7),(5,8),(6,9)}, onde S = {1,2,3,4}, T =
{1,2,3,4,5,6} e U = {6,7,8,9,10}. Determine:
(i) f o g

(ii) g o f

6. Seja as funes f e g definidas por f ( x)

x2
e g ( x) 5 x 2 . Encontre as frmulas
3

para as funes compostas:


(i) f o g

(ii) g o f

7. Para cada uma das afirmaes, diga se a funo f Injetora, Sobrejetora, ou Bijetora.
c) f: NN
a) f: ZZ
b) f: ZZ
f(x) = x+4
f(x) = 3x
f(x) = -2x
d) f: ZZ
f(x) = 2x2

e) f: ZZ
f(x) = x+4

8. Verifique, para cada uma das propriedades: reflexiva, simtrica, anti-simtrica e


transitiva, quais delas so satisfeitas pela relao R.
R = {(x,y) N x N | x + y par}
9. Seja A = {a, {a}, {{a}}}. Quais afirmaes a seguir so verdadeiras? E para as que no o
so, por que no?
(i) {a, {a}} A
(ii) {a, {a}} A
(iii) {{a}} A
10. Seja S o conjunto de todos os quadrados no plano. Verifique, para cada uma das
propriedades: reflexiva, simtrica, assimtrica, anti-simtrica e transitiva, quais delas
so satisfeitas pela relao R. Onde (S1,S2) R se, e somente se, o comprimento do
lado de S1 igual ao comprimento do lado de S2. Respostas sem justificativas no
sero consideradas.
(i) Reflexiva
(ii) Simtrica
(iii) Transitiva
(iv) Equivalncia
11. Seja S = {0,1,2,4,6}. Teste se as relaes em S dadas a seguir so simtricas e/ou
transitivas.
a) R1={(0, 0), (1, 1), (2, 2), (4, 4), (6, 6), (0, 1), (1, 2), (2, 4), (4, 6)}
b) R2={(0, 1), (1, 0),(2, 4),(4, 2),(4, 6),(6, 4)}
c) R3={(0, 1), (1, 2), (0, 2), (2, 0), (2, 1), (1, 0), (0, 0), (1, 1), (2, 2)}
d) R4={(0, 0), (1, 1), (2, 2), (4, 4), (6, 6), (4, 6), (6, 4)}
12. Para cada uma das seguintes relaes definidas no conjunto {1, 2, 3, 4, 5}, determine
se a relao reflexiva, anti-reflexiva, anti-simtrica e/ou transitiva.
a) R1={(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}
b) R2={(1, 2), (2, 3), (3, 4), (4, 5)}
c) R3={(1, 1), (1, 2), (1, 3), (1, 4), (1, 5)}
d) R4={(1, 1), (1, 2), (2, 1), (3, 4), (4, 3)}
e) R5={1, 2, 3, 4, 5} X {1, 2, 3, 4, 5}
13. Determine R-1 para cada uma das seguintes relaes:
a) R = {(1, 2), (2, 3), (3, 4)}
b) R = {(1, 1), (2, 2), (3, 3)}
c) R = {( x, y ) | x, y Z , x y 1}
14. Quais dos seguintes conjuntos so relaes de equivalncia:
a) R1= {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)} no conjunto {1, 2, 3}
b) R2={(1, 2), (2, 3), (3,1)} no conjunto {1, 2, 3}
c) em Z
d) R3={1, 2, 3} x {1, 2, 3} no conjunto {1, 2, 3}
e) R4={1, 2, 3} x {1, 2, 3} no conjunto {1, 2, 3, 4}
15. Desenhe o diagrama de Hasse para as seguintes relaes de ordem parcial:
a) A = {a, b, c}
R = {(a,a),(b,b) ,(c,c),(a,b), (b,c),(a,c)}
b) A = {a, b, c, d}
R = {(a,a),(b,b) ,(c,c),(d,d),(a,b), (a,c)}
c) A = { ,{a}, {a, b}, {c}, {a, c}, {b}}
X R Y XY

16. Desenhe o diagrama de Hasse para a relao de ordem parcial x divide y no conjunto
{2,3,5,7,21,42,105,210}. Encontre (se existirem os elementos mnimo, minimais,
mximo e maximais.
17. Seja X= {a,b,c,d,e,f,g,h} e a relao R de ordem parcial (X, ) dada pelo seguinte

diagrama Hasse: Seja as relaes R1 e R2 representadas pelos diagramas Hasse I e II,


respectivamente.
(I)

(II)

a) Essas relaes so de ordem parcial? Caso afirmativo, cite as propriedades que


uma relao de ordem parcial deve atender; caso negativo, encontre o fecho
reflexivo, simtrico e transitivo.
b) Escreva as relaes R1 e R2 na forma de conjuntos de pares ordenados
c) Diga justificando se R1 e R2 so funes
d) Quais so (se existirem) os elementos extremais das relaes?

18. Determine o diagrama de Hasse do ordenamento parcial que tem o seguinte dgrafo:

19. Determine o diagrama de Hasse da relao sobre o conjunto A = {1, 2, 3, 4, 5} cuja


matriz dada por:

20. Descreva os pares ordenados na relao determinada pelo diagrama de Hasse sobre o
conjunto A = {1, 2, 3, 4}, dado abaixo:

21. Seja X = {a,b,c,d,e,f,g} e seja:


(i) A1 = {a,c,e} A2 = {b} A3 = {d,g}
(ii) B1 = {a,c,e} B2 = {b} B3= {b,e,f}
(iii) C1= {a,b,e,g} C2= {c} C3= {d,f}
(iv) D1 = {a,b,c,d,e,f,g}
Quais dos seguintes {A1,A2,A3} {B1,B2,B3}, {C1,C2,C3}, {D1} so parties de X? Justifique.