Conjuntos: Diagrams de Venn e operaes

2.1

Exerccios
1. Sejam U = { 0, 1, 2, 3, 4 }, A = { 0, 4 }, B = { 0, 1, 2, 3 }, C = { 1, 4 }, D = { 0, 1 }. Determine os seguintes conjuntos:
_
_
_
a. A B
e. (A B) (A C)
g. A B
i. B A
c. A B
_____
_____
b. B C
d. A (B C)
f. (A B) (A C)
h. A B
j. A (B C D)
2. Represente por meio de um diagrama de Venn a diferena simtrica entre dois conjuntos, A B, definida por
A B := (A B) (B A)
3. Sejam A, B e C subconjuntos de um conjunto universo U. Represente por meio de diagramas de Venn as
seguintes situaes.
(i) A B C

(iii) A B C
_
(iv) A B

(ii) A B = , A C = , B C =

(v) A B C

4. Verifique, usando os diagramas de Venn as seguintes igualdades:

(ii) (A B) B =

_
(iv) A B = A B
_
(v) ( A ) = A

(iii) (A B) (B A) = (A B) (A B)

(vi) A (B C) = (A B) (A C)

(i) (A B) B = A B

_
_
(vii) (A D) D = A D

5. Mostre que A B e A C => A B C

Dica: Lembre-se da definio de incluso de conjuntos

("D E" significa que "se x D ento x E").

Para mostrar que A B C considere um elemento de A e deve chegar concluso de que

x B C usando para isso as hipteses da questo.
6. Mostre que A B A B =
Dica: Mostre primeiro: A B => A B = . Depois mostre a implicao inversa:
A B = => A B

Conjuntos: Diagramas de Venn e operaes

2.2

7. Mostre que A B A

_
_
8. Mostre que A B B A
9. Dados os conjuntos C = { x
E={x

| x mltiplo de 2 } , D = { x

| x mltiplo de 3 } ,

| x mltiplo de 6 } , verifique que C D = E.

10. Considere A = { x

| 5 x 300 } , B = { x

(i) A B

(iii) A B

(ii) A B

(iv) B A

| 1 3x 2 30 } . Calcule:
_
_
(v) A B
_
_
(vi) A B

11. Dado C = { 2, -1, 5 }, considere o conjunto universo sendo o conjunto de partes de C, U = P(C). Calcule:
_
(i) A
(ii) A B
para A = { {2, -1} , {2} } , B = { {5} , {2, -1, 5} , {-1, 2} }.
12. Use a propriedade distributiva da interseo em relao a unio de conjuntos para provar que
_
_
(A D) D = A D .
13. Prove que A (B C) = (A B) (A C).
_
Dica: Use a igualdade A B = A B vista no exerccio 4(iv), uma das propriedades distributivas, uma das
leis de Morgan e a identidade vista em 4(v).
14. Mostre as seguintes igualdades:
(i) (A B) (B A) = (A B) (A B) (isto , A B = (A B) (A B))
(ii) A (B C) = (A B) (A C)
A={x
_ _
(ii) A B

15. Dados os seguintes conjuntos:

(i) A = B

|0 x 7} , B={x

|0 x 7}

Verifique que:

Conjuntos: Diagramas de Venn e operaes

16. Exerccio comentado:

2.3

Mostre a seguinte igualdade

[ (A B) (B A) ] C = [ (A C) B ] [ (B C) A)
Prova:

Raciocnio correto:

[ (A B) (B A) ] C =
_
_
_
(propriedade da diferena A B = A B) = [(A B) (B A)] C =
_
_
(propriedade distributiva) = [(A B) C] [(B A) C] =
_
_
(prop. comutativa e associativa da interseo) = [(A C) B] [(B C) A] =
(propriedade da diferena) = [(A C) B] [(B C) A]
[(A B) (B A)] C = [(A C) B] [(B C) A]
_
_
_
_
[(A B) (B A)] C = [(A C) B] [(B C) A]
_
_
_
_
[(A B) C] [(B A) C] = [(A C) B] [(B C) A]
_
_
_
_
[(A C) B] [(B C) A] = [(A C) B] [(B C) A]

Raciocnio incorreto:

Portanto, a igualdade verdadeira.

Ainda que cada passagem esteja bem justificada, o raciocnio continua incorreto.
Porqu? Tente voc mesmo responder pergunta. Pense ... e depois veja a resposta.
O erro deste raciocnio est em que para provar a igualdade est se partindo justamente dela e atravs de
raciocnios corretos chega-se a uma identidade, de um lado exatamente igual ao outro. Voc poderia ter partido
de uma falsidade e ter chegado a uma verdade, mas com este raciocnio est se supondo que chegou-se a provar
o que queria, ou seja, a igualdade inicial.
No est convencido? Vejamos o seguinte exemplo.
Prove que -1 = 1

Conjuntos: Diagramas de Venn e operaes

Prova:

2.4

Usamos o raciocnio incorreto:

-1 = 1

(-1) = 1

1=1

Chegamos a uma identidade ento, por este raciocnio incorreto temos que -1 = 1. Partimos de uma proposio
falsa e chegamos a uma verdadeira.
Ateno: Partir do que est tentando-se provar no pode ser feito da maneira mecnica como no raciocnio incorreto.
Modificao do raciocnio incorreto
Provar que [(A B) (B A)] C = [(A C) B] [(B C) A] equivalente a provar que
_
_
_
_
[(A B) (B A)] C = [(A C) B) [(B C) A] devido a propriedade da diferena.
Pela propriedade distributiva, mostrar esta ltima igualdade equivalente a provar que
_
_
_
_
[(A B) C] [(B A) C] = [(A C) B] [(B C) A]
Pelas propriedades associativa e comutativa, mostrar esta ltima igualdade equivalente a provar que
_
_
_
_
[(A C) B] [(B C) A] = [(A C) B] [(B C) A] que verdadeira.
Logo, pelas igualdades equivalentes provamos que [(A B) (B A)] C = [(A C) B] [(B C) A]
verdadeira.
2

( Observe que, -1 = 1 no equivalente a (-1) = 1 )

[ (A B) (B A) ] C =
_
_
_
(propriedade A B = A B) = [(A B) (B A)] C =
_
_
(propriedade distributiva) = [(A B) C] [(B A) C] =
_
_
(prop. comutativa e associativa da interseo) = [(A C) B] [(B C) A] (1)

Outra modificao:

Por outro lado temos que: [ (A C) B ] [ (B C) A ] =

_
_
_
(propriedade A B = A B) = [(A C) B] [(B C) A]
De (1) e (2) resulta que [(A B) (B A)] C = [(A C) B] [(B C) A]

(2)