Disciplina: Matemtica Computacional Crdito do material: profa. Diana de Barros Teles Prof.

Fernando Zaidan

AULA 6 LGICA DOS CONJUNTOS

Intuitivamente, conjunto a coleo de objetos, que em geral, tem alguma propriedade em comum. NOTAO: Letras maisculas para conjunto Letras minsculas para elementos do conjunto Para denotar pertinncia usaremos o smbolo (pertence) ou (no pertence) Exemplo 1: Se A = {violeta, verde, castanho} ento, verde A e azul A. Os elementos de um conjunto no precisam ser ordenados, {a,b,c,d,e} = { c,e,a,d,b}. Dois conjuntos so iguais se (se e somente se) contm os mesmos elementos. Uma notao lgica: A = B significa (x )[( x A x B ) ( x B x A ] Conjunto finito - conjunto que conseguimos identificar todos os elementos. Exemplo: Conjunto dos dias de semana. Q = { segunda-feira, tera-feira, quarta-feira, quinta-feira, sexta-feira, sbado, domingo} Conjunto infinito o conjunto que no conseguimos identificar todos os elementos. Exemplo:Conjunto dos inteiros positivos pares. * = {2,4,6,8,...} +

Temos diversas maneiras para tentar descrever um conjunto:

Listar seus elementos S = {2,4,6,8,...} Usar recorrncia para descrever como gerar seus elementos 1.2 S 2.Se n S, ento (n + 2) S Descrever uma propriedade P que caracteriza seus elementos S= { x / x um inteiro positivo par} 1

A notao para um conjunto cujos elementos so caracterizados por uma propriedade P S = { x / P(x)} e significa (x )[( x S P (x) ) ( P ( x ) x S ] Exemplo 2: Suponha que um conjunto A dado por A = { x /(y )( y {0 ,1, 2}e Logo, A = {0,1,2} Descrevendo outros conjuntos:
e (y )( y {2 ,3, 4 ,5} x > y} a. A = { x / x 1 b. B = { x /(y )(z )( y { , 2}e z {2 ,3} e x = y + z}

x = y 3}

R : A = {x / x N e x > 5} R : B = { 3, 4, 5}

RELAES ENTRE CONJUNTOS

Para A = {2, 3, 5,12} e B = {2, 3, 4, 5, 9, 12}, todo elemento de A elemento de B. Quando isso acontece dizemos que A subconjunto de B. Escreve-se A B. Se A B e A B (existe pelo menos um elemento de B que no pertence a A), ento podemos dizer que A B (A est contido em B ). Exemplo 3: Sejam os conjuntos : A = { x / x N e x 5} , B = {10,12, 16, 20} , C = { x / ( y)(y N e x = 2y)} Quais das proposies a seguir so verdadeiras? a. b. c. d. e. f. g. B C B A A C 26 C {11, 12, 13} A {11, 12, 13} C {12} B g. h. i. j. k. {12} B {x / x N e x < 20} B 5 A {} B A

R: a, b, d, e, h, i, l

CONJUNTOS DE CONJUNTOS
Para um conjunto S, podemos formar um novo conjunto cujos elementos so os subconjuntos de S. Esse novo conjunto chamado de conjunto das partes de S e denotado por (S). Exemplo 4: 2

Para S = {0, 1} , (S) = {, {0}, {1}, {0,1} }. Note que os elementos do conjunto das partes de um conjunto so conjuntos. Para qualquer conjunto S, (S) sempre tem pelo menos, e S como elementos. Observe que S tem 2 elementos, e (S) tem 4 elementos. Podemos encontrar o nmero de elementos de um conjunto das partes de S usando 2n, onde n o nmero de elementos de S.

OPERAES BINRIAS E UNRIAS

Quando subtramos dois elementos de um conjunto encontramos um terceiro elemento, esta operao conhecida como binria. A negao age em um inteiro, portanto uma operao unria.

Para realizarmos uma subtrao, por exemplo, precisamos de dois elementos, x e y, onde x y gera uma nica resposta. Estes dois elementos x e y formam um par ordenado. Ordenado porque, dados 5 e 7, 5 7 diferente de 7 5, portanto a ordem dos elementos importante. NOTAO: Um par ordenado denotado por (x, y), onde x a primeira componente e y a segunda. Em conjuntos {1, 2} e {2, 1} so iguais, mas os pares ordenados (1, 2) e (2, 1) so diferentes. O smbolo marca, simplesmente, o lugar; em qualquer discusso especfica, que ser substitudo pelo smbolo apropriado para a operao, como o smbolo da subtrao, adio e multiplicao, por exemplo. Logo, operaes binrias uma operao em um conjunto S se, para todo par ordenado (x, y) de elementos de S, x y existe, nico e pertence a S. As operaes lgicas de conjuno, disjuno, condicional e equivalncia so operaes binrias no conjunto das fbfs proposicionais. ATENO: Um candidato ao posto de pode deixar de ser uma operao binria em um conjunto S se qualquer uma entre trs coisas acontecer: 1. Se existirem x e y pertencentes a S para os quais x y no existe. 2. Se existirem elementos x e y pertencentes a S para os quais x y tem mais de um resultado. 3. Se existirem elementos x e y pertencentes a S para os quais x y no pertence a S. A diviso no uma operao binria.

Exemplo 5: A subtrao no uma operao binria em N, pois N no bem definida ( no fechada),para a operao. Por exemplo: 10 1 = 9 os trs elementos pertencem a N, mas 1 10 = -9 , e este no pertence a N.

OPERAES EM CONJUNTOS
Dado S, podemos definir algumas operaes binrias ou unrias no conjunto(S). S nesse caso chamado de conjunto universo. Exemplo: S = . Uma operao binria em (S) tem que agir em dois subconjuntos arbitrrios de S para produzir um subconjunto de S. Exemplo 6: Seja S o conjunto de todos os estudantes da Silicon U. Ento os elementos de (S) so conjuntos de estudantes. Seja A o conjunto de estudantes de cincias da computao e seja B o conjunto de estudantes de administrao. Ambos A e B pertencem a (S). Um novo conjunto pode ser definido, consistindo em todos os alunos que so alunos de cincias da computao ou de administrao (ou ambos), esse conjunto a unio de A e B. Outro conjunto pode ser definido pelos alunos que estudam ao mesmo tempo nos dois cursos. Esse conjunto (que pode ser vazio) chamado de interseo de A e B.

1. A unio de conjuntos pode ser definida como: Sejam A,B(S). A unio de A e B denotada por AB , {x / x A ou x B}. 2. A interseo de conjuntos pode ser definida A B, {x / x A e x B}. Exemplo 7: Sejam A = {1,3,5,7,9} e B = {3,5,6,10,11}. Podemos considerar A e B como elementos de
().

Ento AB = {1,3,5,6,7,9,10,11} e AB = {3,5}. Ambos, AB e AB so elementos de (). Podemos usar diagramas de Venn para visualizar as operaes binrias de unio () e interseo ().

Diagramas de Venn: ( John Venn, 1834-1923)

So teis na verificao de propriedades de operaes entre conjuntos, mas no devem ser considerados instrumentos de prova matemtica rigorosa. S
S

A B

AB

Agora definiremos uma operao unria em (S). 3. Complemento de um conjunto: para um conjunto A (S), o complemento de A, A [x / x S e x A} No diagrama de Venn, teremos: S

A Exemplo 8: Uma pesquisa do tipo,carros usados E (Mercedes Bens OU Volkswagen) E NO Caminhes. Est pedindo ao programa de busca que retorne um conjunto de pginas (ou, mais precisamente, um conjunto de links para essas pginas). Se U = conjunto de pginas contendo carros usados M = conjunto de pginas contendo carros da Mercedes Bens V = conjunto de pginas contendo carros da Volkswagen
5

C = conjunto de pginas contendo caminhes Ento: U ( M V ) C Que representa o conjunto de pginas na rede contendo o resultado desejado na pesquisa. 4. Diferena entre conjuntos: uma operao binria, onde A B = {x / x A e x B} ou ainda A B = {x / x A e x B} ou como A B = A B No diagrama de Venn temos:

Exemplo 9: Sejam os conjuntos abaixo subconjuntos de S = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}: A = {1, 2, 3, 5, 10} B = {2, 4, 7, 8, 9} C = {5, 8, 10} Encontre: a. A B b. A C c. B (A C) ATENO: O Clculo Proposicional e a lgebra dos conjuntos possuem estruturas semelhantes. Toda frmula do Clculo Proposicional determina uma operao correspondente entre conjuntos: Negao (~) corresponde complementao ( ) ) Conjuno ( corresponde interseo () Disjuno ( V ) corresponde unio ( ) As variveis proposicionais podem servir como variveis simbolizando conjunto na nova expresso: Exemplo: ((p V q) ~p) corresponde a ( (p q) p
6

R: { 1, 2, 3, 4, 5, 7, 8, 9, 10} R: {1, 2, 3} R: {1, 3, 5, 10} Lembre-se B = {1, 3, 5, 6, 10}

IDENTIDADES ENVOLVENDO CONJUNTOS

Existem muitas igualdades envolvendo as operaes de unio, interseo, diferena e complementao que so verdadeiras para todos os subconjuntos de um conjunto S. Desta forma as identidades bsicas foram listadas na tabela abaixo.

Identidades Bsicas Envolvendo Conjuntos

1a. A B = B A 2a. (A B) C = A (B C) 3a.A(BC) = (AB)(AC) 4a. A = A 5a. A A = S 1b. A B = B A 2b. (A B) C = A (B C) 3b. A(BC) = (AB)(AC) 4b. A S = A 5b. A A = Comutativa Associativa Distributiva Existncia de elemento neutro Propriedade do complemento

Exemplo 10: Usando as identidades bsicas, vamos provar que

[A(B C)]([A(B C)] (B C)) = [A(B C)]([A(B C)] (B C)) ([A(B C)][A(B C)]) (B C) ([(B C)A][( B C )A]) (B C) [(B C)(A A)] (B C) [(B C)] (B C) (B C) (B C) (2b) (1a duas vezes) (3a) (5b) (4a) (5b)

Exemplo 11: Agora mostre a identidade:

[C (A B)] [(AB) C] = (A B) [(A B) C] [(AB) C] (A B) (C C) (A B) S (1b) (3b) (5a) (4b)

AB

ENUMERABILIDADE
Para se provar a enumerabilidade de conjuntos precisamos apenas exibir o modo de contar seus elementos. Exemplo: N = conjuntos de inteiros no negativos N = { 0, 1, 2, 3, 4...} Portanto o conjunto N enumervel. Conjuntos finitos no enumerveis:
Exemplo: Vamos mostrar que o conjunto de todos os nmeros reais entre 0 e 1 no enumervel.

Se descrevermos os elementos deste conjunto de forma decimal, teremos: R= { d1, d2, d3,...dn} Dado o nmero 0,24999999... , voc conseguiria dizer qual o proximo nmero da sequencia? Comparando os nmeros decimais acima mencionados e os nmero inteiros, veremos que os nmeros decimais so conjuntos no-enumerveis.

CONJUNTOS CONTVEIS E NO-CONTVEIS

Em um conjunto finito S, sempre podemos designar um elemento como sendo o primeiro, s1,um outro nmero, s2, e assim por diante. Se existem k elementos, ento esses podem ser listados. Exemplo: s1, s2, s3, .....sk ( o nmero de elementos em um conjunto finito a cardinalidade do conjunto) Um conjunto infinito , podemos ainda ser capazes de selecionar um primeiro elemento, s1,um outro nmero, s2, e assim por diante, de modo que a lista fique Exemplo: s1, s2, s3, ... ( todo elemento do conjunto aparecer na lista alguma hora. Tal conjunto infinito dito enumervel) Tanto conjuntos finitos e enumerveis so conjuntos contveis, pois podemos contar, ou enumerar seus elementos ( significa que podemos dizer quem o primeiro elemento, o segundo, e assim por diante). Existem conjuntos infinitos que so no-contveis ( ou no-enumervies). So conjuntos to grandes que no h maneira de se contar os elementos e obter todo o conjunto nesse processo. Alguns exemplos de enumerveis infinitos: Os conjuntos ou E no-enumervel: o conjunto dos nmeros reais entre 0 e 1.