Você está na página 1de 76

Universidade Federal Rural de Pernambuco Reitor: Prof. Valmar Corra de Andrade Vice-Reitor: Prof.

Reginaldo Barros Pr-Reitor de Administrao: Prof. Francisco Fernando Ramos Carvalho Pr-Reitor de Extenso: Prof. Paulo Donizeti Siepierski Pr-Reitor de Pesquisa e Ps-Graduao: Prof. Fernando Jos Freire Pr-Reitor de Planejamento: Prof. Rinaldo Luiz Caraciolo Ferreira Pr-Reitora de Ensino de Graduao: Prof. Maria Jos de Sena Coordenao de Ensino a Distncia: Prof Marizete Silva Santos Produo Grfica e Editorial Capa e Editorao: Allyson Vila Nova, Rafael Lira, Aline Luciana Fidelis e Alesanco Andrade Reviso Ortogrfica: Ivanda Martins Ilustraes: Allyson Vila Nova e Diego Almeida Coordenao de Produo: Marizete Silva Santos

Sumrio
Plano da Disciplina ...................................................................................... 6 Ementa .................................................................................................. 6 Objetivo Geral........................................................................................ 6 Objetivos Especficos ............................................................................ 6 Contedo Programtico......................................................................... 6 Referncias ........................................................................................... 7 Apresentao ............................................................................................... 8 Captulo 1 - Conjuntos: uma breve reviso. .............................................. 9 1.1 Definies. ....................................................................................... 9 Captulo 2 - lgebra de Conjuntos: como operar com conjuntos? ...... 18 2.1 Operaes entre conjuntos................................................................ 18 2.2 Partio de um conjunto .................................................................... 28 2.3. Cardinal da unio e da interseo. ................................................. 29 2.4. Produto Cartesiano. .......................................................................... 35 2.5 Produto Cartesiano de k conjuntos.................................................... 37 2.6. Identidades de conjuntos. ................................................................. 38 Captulo 3 - Introduo Lgica Matemtica.......................................... 43 3.1 Proposies compostas..................................................................... 44

3.2 Tautologias e Contradies ............................................................... 51 3.3 Negao de conjuno e de disjuno ............................................. 53 3.4 lgebra das proposies. .................................................................. 54 3.5 Funes proposicionais. Quantificadores. ......................................... 59 3.5.1 Quantificadores. ......................................................................... 59 3.5.2 Negao de sentenas quantificadas ........................................ 60 Captulo 4 - Portas Lgicas....................................................................... 65 4.1 Porta Not (No).................................................................................. 65 4.2 Porta Or (Ou) .................................................................................... 66 4.3 Porta And (E) ..................................................................................... 67 4.4. Porta Nand e Porta Nor. ................................................................... 68 4.5. Portas XOR e XNOR ........................................................................ 68 4.6 Portas Lgicas Equivalentes ............................................................. 69 4.7 Propriedades das Portas Lgicas. ..................................................... 69

Plano da Disciplina
Ementa
Conjuntos. Introduo Lgica Matemtica. Portas Lgicas. Somatrio. Princpios de Contagem. Matrizes. Relaes. Funes. Recurso. Tcnicas de provas. Induo Matemtica.

Objetivo Geral
O objetivo geral abordar contedos selecionados da Matemtica Discreta que realizam interface com o curso de Sistema de Informao, visando dar a base para a compreenso de conceitos de estruturas de dados, bem como, para dar suporte na construo de algoritmos em seus diferentes nveis de complexidade.

Objetivos Especficos
Aprender a encontrar modelos matemticos que representem certos problemas concretos (noes de modelagem matemtica), em especial quando estes se referem a situaes prticas Familiarizar-se com a escrita matemtica formal e a linguagem computacional Representar fenmenos na forma algbrica e na forma grfica Conhecer tcnicas de resoluo de problemas Desenvolver a capacidade de raciocnio abstrato (lgico-matemtico).

Contedo Programtico
Mdulo 1 Fascculo 1 Carga horria do Mdulo 1: 20 h Conjuntos. Introduo Lgica Matemtica. Portas Lgicas.

Mdulo 2 Fascculo 2 Carga horria do Mdulo 2: 20 h Somatrio. Princpios de Contagem. Matrizes. Relaes Mdulo 3 Fascculo 3 Carga horria do Mdulo 3: Funes. Recurso. Tcnicas de provas. Induo Matemtica.

Referncias
GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. Traduo Valria de Magalhes Lorio. Rio de Janeiro: LTC, 2004. Scheinerman, Edward R. Matemtica Discreta: uma introduo. Traduo de Alfredo Alves de Farias. So Paulo: Pioneira Thomson Learning, 2003. Livros de referncia: ABE, Jair Minoro; PAPAVERO, Nelson. Teoria intuitiva dos conjuntos. So Paulo McGraw Hill:, 1997 ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 1995. ROSS, Kenneth A; WRIGHT, Charles R. B. Discrete Mathematics. Prentice Hall, 1999. TRUSS, J. K. Discrete mathematics for computer scientist. Addison Wesley. 1999. LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004

Apresentao
Caro (a) cursista, A importncia da Matemtica Discreta nos Cursos de Computao e Informtica destacada nas Diretrizes Curriculares do MEC ao se afirmar que A Matemtica, para a rea de computao, deve ser vista como uma ferramenta a ser usada na definio formal de conceitos computacionais (linguagens, autmatos, mtodos, etc). E ainda: Considerando que a maioria dos conceitos computacionais pertence ao domnio discreto, a Matemtica Discreta fortemente empregada. A Matemtica Discreta d nfase aos temas, matemticos tomando por base os conjuntos contveis, finitos ou infinitos. A Matemtica do Continuum, ao contrrio da Matemtica Discreta, enfatiza os temas matemticos baseados em conjuntos nocontveis, como o conjunto dos nmeros reais, em disciplinas como o Clculo Diferencial e Integral. Iremos abordar contedos selecionados da Matemtica Discreta que realizam interface com os cursos das reas relacionadas informtica. Para tanto, o material ser apresentado em fascculos que trataro de maneira sistemtica os seguintes assuntos: Conjuntos, Operaes com conjuntos, Introduo Lgica Matemtica, Portas lgicas, Somas, Matrizes, Princpios de Contagem, Relaes, Funes, Recurso, Tcnicas de Provas e Princpio de Induo Finita.

Matemtica Discreta

Captulo 1 - Conjuntos: uma breve reviso.

A idia de conjuntos largamente utilizada em Computao e Informtica, tendo em vista que, praticamente todos os conceitos dessas reas, bem como os resultados correspondentes, so baseados em conjuntos ou as construes sobre conjuntos. Por isso, que tal fazermos uma reviso dos principais elementos da teoria dos conjuntos?

1.1 Definies.
Conjuntos so geralmente designados por letras maisculas e reservam-se as letras minsculas para representar os seus elementos. A expresso xA significa que x elemento do conjunto A. Se x no elemento do conjunto A, escrevemos xA. Vrias maneiras podem ser usadas para descrever um conjunto. Entre elas, destacamos as seguintes: Listando seus elementos, isto , nomeando explicitamente todos os seus elementos, colocando-os entre chaves e separados por vrgula. Exemplo: A = { a, e, i, o, u }, B = { a, b, c, d }. Definindo uma propriedade de seus elementos. Em geral escrevemos {x : P(x) }, isto , o conjunto dos x tal que x tem a propriedade P. Exemplo A = { x : x uma letra vogal do alfabeto portugus}, B = { x : x uma das quatro primeiras letras minsculas do alfabeto portugus }. Por meio de um Diagrama de Venn1 (1834 -1923): O conjunto constitudo por todos os elementos sob considerao numa 9
Acesse
1. http://paginas. terra.com.br/ educacao/calculu/ Historia/venn.htm

Matemtica Discreta

determinada situao denominado conjunto universo U e ser, em geral, representado por um retngulo. Dentro do retngulo, crculos (ou outras figuras geomtricas) representam conjuntos. Dentro dos crculos so colocados os elementos desses conjuntos. Por exemplo: Considere o conjunto universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} e os conjuntos A = { 1, 2, 3, 4, 5, 9} e B = {2, 4, 6, 7, 8 }

A idia de conjunto universo U estar sempre presente mesmo quando no seja explicitamente mencionado num determinado problema ou situao. Em Matemtica, h conjuntos que constituem muito freqentemente os universos do discurso, sendo conveniente indicar nomes para eles. Entre os mais importantes, destacaremos: N = { 0, 1, 2, 3, 4, 5, ... } o conjunto dos nmeros naturais. (Perceba que 0 N) N*= { 1, 2, 3, 4, 5, ... } o conjunto dos nmeros naturais positivos. Z = { x : x um nmero inteiro } = { ..., -3, -2, -1, 0 , 1 , 2, 3, ...} Q = { x : x um nmero racional } o conjunto de todos os nmeros que podem ser escritos sob a forma de frao. R = { x : x um nmero real } I = { x : x um nmero irracional) o conjunto dos nmeros reais no racionais, isto , no podem ser escritos sob a forma de frao. Conjunto vazio o conjunto sem elementos, pode ser representado pelos smbolos ou { }

Exemplo: A = { x N : 1 < x < 2 } uma conjunto vazio, pois no existe nmero natural entre 1 e 2. 10

Matemtica Discreta

Exemplo: B = { x Z : x2 = 3 } tambm um conjunto vazio. Voc sabe por qu? Existe nmero inteiro cujo quadrado seja igual a 3? Conjuntos iguais. Dois conjuntos so iguais se e somente se contm os mesmos elementos. Por exemplo: Os conjuntos A = {x Z : x2 = 4 } e B = { -2, 2} so iguais. Subconjunto. Um conjunto A subconjunto do conjunto B se todo elemento do conjunto A tambm elemento de B. Usamos a notao A B para denotar que A subconjunto de B e lemos A est contido em B.

Por exemplo, A = {1,2} subconjunto de B = {1, 2,3} mas no subconjunto de C = {1,3,4}. Agora, vamos subconjunto. lembrar algumas concluses relacionas a

Observao 1. De acordo com a definio de subconjunto, o conjunto vazio subconjunto de qualquer conjunto A, isto , A. Isso parece estranho a voc? Mas, existe algum elemento no conjunto que no esteja no conjunto A? A sua resposta foi no! Logo, o conjunto vazio subconjunto do conjunto A. Tambm dizemos que A A, qualquer que seja o conjunto A. Isso verdade, pois todo elemento de A, elemento de A. Observao 2. Se A B e A subconjunto de B, escrevemos A B para dizer que A subconjunto prprio de B. Por exemplo, {1,2,3} subconjunto prprio de {1,2,3,4,5}. Temos tambm que N Z, Z Q, Q R. Veja a figura a seguir. Observao 3. Se A B e B C ento A C.

11

Matemtica Discreta

Exemplo: {1, b} { 1, 2, b, c } { 1, 2, 3, a, b, c }. Exemplo: A figura da observao 2 mostra que N Z e Z R ento N R.

Observao 4. Para provarmos que A B teremos que provar que, dado x A ento x B. Cardinal. Se A um conjunto com exatamente n elementos, tal que n um inteiro no negativo, dizemos que A um conjunto finito e que o cardinal de A n. Assim, o cardinal de um conjunto A, denotado por #A o nmero de elementos do conjunto A. Desse modo, se A = { x Z : 3 x 7 } ento #A = 5. claro que # = 0. Observe que um conjunto A finito se podemos estabelecer uma correspondncia entre seus elementos e os elementos de um conjunto da forma {1, 2, 3, ..., n} onde n o cardinal de A. Por exemplo, A = { a, b, c, d, e } finito pois, podemos estabelecer a seguinte correspondncia entre seus elementos e os elementos do conjunto { 1, 2, 3, 4, 5 }: 1, b 2, c 3, d a cardinal do conjunto A 5. 4, e 5. Voc ento conclui que o

Conjunto infinito. Um conjunto A infinito se no finito. Por exemplo, os conjuntos N, Z, Q e R so conjuntos infinitos. Voc concorda com a afirmao de que o conjunto A = {xR : 0 < x < 1} infinito? Conjunto das partes de um conjunto A o conjunto constitudo por todos os subconjuntos de A e ser denotado por P(A). Exemplo, se A = {a, b} ento P(A) = { , {a}, {b}, {a,b} }. O cardinal de P(A) o nmero de subconjuntos de A. Assim #P(A) = 4. Agora, escreva o conjunto das partes do conjunto A = {x, y, z}. Quantos so os subconjuntos de A? O lembrete ao lado d uma dica. 12

Matemtica Discreta

Nesse caso #A = 3, #P(a)=2=8.

Ateno

Aprenda Praticando - Exerccio Proposto 1.1 Demonstre que voc entendeu bem os assuntos dessa seo, resolvendo os exerccios propostos. As respostas dos exerccios so apresentadas logo a seguir. Se tiver dvidas, procure san-las com professores e tutores da disciplina. 1) Considere N = {0, 1, 2, 3, 4, ...}. Liste os elementos de cada um dos seguintes conjuntos: a) {n N : n divisvel por 3} b) {x : x = 2n-1 , n N*} c) {x : x = 2y +1 : yN e y < 8 } d) {x = 2n : n N } e) {x : x =1/n : n N* e n < 6} f) {n N* : n + 1 primo} 2. Liste os elementos dos seguintes conjuntos e informe que conjuntos so vazios. a) { n N : n2 = 9 } b) { n Z : n2 = 9 } c) { x R : x2 = 9 } d) { n N : 3 < n < 7 } e) { n Z : | n | < 7 } f) { x R : x2 0 } g) { n N : n2 = 3 } h) { x Q : x2 = 3 }

De um modo geral se #A= n ento #P(A) = 2n.

Ateno
Um nmero natural n N, n >1 primo se os seus nicos divisores so 1 e n.

13

Matemtica Discreta

i ) {x R: x2 = -4 } j) { n N : n primo e n 15 } 3. Determine o cardinal dos seguintes conjuntos: a) A = { x : x = 2n + 1, 3 n 6, n N } b) B = { y = -x +1, -2 x 2, x Z } c) C = { y = x2 +1, -2 x 2, x Z } 4. Se A = { xZ : 4 divide x } e B = { xZ : 2 divide x } . A subconjunto prprio de B ? 5. Relacione todos os subconjuntos X do conjunto A = { 1, 2, 3, 4 } tais que #X = 2. 6. Represente os conjuntos abaixo indicados por uma propriedade caractersticas de seus elementos: A = { -6, -4, -2, 0, 2, 4, 6 } B = { 13, 11, 9, 7, 5 } C = { 2, 6, 10, 14, ..., 42 }. 7. Sejam X = { 1, 2, 3 }, Y = { 2, 3, 4 } e Z = { 2 } . Encontre o maior conjunto W satisfazendo as seguintes condies W X , W Y e Z W . Faa diagramas de Venn. 8. Dados os conjuntos A = { um , dois }, B = { dois, tres, quatro } e C = { um , quatro } identifique o menor conjunto D tal que A D , B D e C D. Faa diagramas de Venn. 9. Suponha que A B , B C , 1A , 2B , 3C . Quais das afirmaes abaixo sempre so verdadeiras? a) 1 B. b) 2 A c) 3 A

10. Seja A = { 1, 2, 3, 4, 5, 6, 7, 8, 9}. Nomear os elementos dos seguintes conjuntos: a) B = { x A : x par } b) C = { xA : x mltiplo de 3 } c) D = { x A : x + 1 < 6 }

14

Matemtica Discreta

d) E = { x A : x < 10 } e) F = { x A : x + 3 A }. 11. Dizer quais dos seguintes conjuntos so infinitos: a) O conjunto das retas do plano que so paralelas ao eixo dos x. b) O conjunto das palavras com duas letras do alfabeto portugus. c) O conjunto dos mltiplos de cinco. d) O conjunto dos animais existentes na Terra. p onde p, q { 1, 2, 3, 4, ..., 10 } q 12. Represente os seguintes conjuntos por meio de uma propriedade comum aos seus elementos: e) O conjunto das fraes a) A = { 4, 8, 12, 16, 20, ....} b) B = { 4, 8, 12, .... 204} c) C = { 7, 17, 27, 37, .....} d) D = { 7, 17, 27, 37, .....207} e) E = {300, 301, 302, ....., 399, 400} f) F = { 1, 4, 9 , 16, 25, .....} g) G = { 1, , , 1/8, 1/16,..., 1/1024} 13. Partindo das premissas: (1) Todo reprter esperto. (2) Todo reprter formado em Jornalismo. (3) Jamil esperto. (4) Adelaide jornalista. Pode-se concluir que a) Adelaide esperta? b) Jamil reprter? c) H jornalistas espertos? 15

Matemtica Discreta

Respostas dos exerccios 1.1 Aqui voc poder conferir as suas respostas. Caso elas no correspondam s apresentadas abaixo, converse com seus colegas sobre os exerccios, releia os contedos da seo e descubra o motivo da divergncia. Lembre-se que os tutores podem ajud-lo. Consulteos! 1. a) {0, 3, 6, 9, 12, 15, ...} c) { 1, 3, 5, 7, 9, ..., 15} e) {1, , 1/3, , 1/5 } 2. a) { 3 } b) { -3, 3 } b) {1, 3, 5, 7, 9, ...} d) {0, 2, 4, 8, 16, 32,..} f) { 1, 2, 4, 6, 10, 12, ... } c) { -3, 3 } d) (4, 5, 6 } f) { 0 }

e) { -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6 } g) h) i) b) #B = 5 c) #C = 3

3. a) #A = 4 4. sim

5. {1, 2} , { 1, 3 } , { 1, 4} , { 2, 3 }, {2, 4} , { 3, 4 } 6. A = {x : x = 2y, y Z, -3 y 3 } B = { x: x = 2y + 1, y N, 2 y 6 } C = { x : x = 2 + 4n , n N n 10 } 7. W = {2,3} 8. D = { um, dois, trs, quatro } 9. b) e c) 10. B = {2, 4, 6, 8 } E=A C = { 3, 6, 9} D = { 1, 2, 3, 4 }

F = { 7, 8, 9 }

11. a) e c) 12. A = {x : x = 4n, nN* }, C = { x : x = 7 +10n, nN } B = { x : x = 4n, nN*, n 51 }, D = { x : x = 7 +10n, nN, n 20}

16

Matemtica Discreta

E = {x : 300 x 400, x Z} G = {x ; x = 13. c.


1 n2

F = {x : x = n2, n N}
Ateno
A Matemtica uma disciplina de natureza cumulativa. importante dominar bem seus fundamentos antes de passar para tpicos mais avanados.

, n N, n 10.

Saiba Mais Caro (a) cursista. Aprofunde os conhecimentos sobre conjuntos, consultando os seguintes livros: ABE, Jair Minoro; PAPAVERO, Nelson. Teoria intuitiva dos conjuntos. So Paulo McGraw Hill:, 1997. ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 1995. GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. Traduo Valria de Magalhes Iorio. Rio de Janeiro: LTC, 2004. LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004 Scheinerman, Edward R. Matemtica Discreta: uma introduo. Traduo de Alfredo Alves de Farias. So Paulo: Pioneira Thomson Learning, 2003.

17

Matemtica Discreta

Captulo 2 - lgebra de Conjuntos: como operar com conjuntos?


Nesta parte do fascculo, estudaremos a lgebra de Conjuntos, contedo da Matemtica que trata das operaes definidas sobre todos os conjuntos. Voltaremos a fazer uso dos diagramas de Venn, na ilustrao das operaes entre conjuntos envolvendo a unio, interseo, diferena entre outras. Vamos comear?

2.1 Operaes entre conjuntos.


Unio de Conjuntos: Se A e B so dois conjuntos ento AB o conjunto constitudo pelos elementos que pertencem a pelo menos um dos dois conjuntos. A B = { x : x A ou x B }

Interseo de Conjuntos: Se A e B so 2 conjuntos, ento o conjunto A B denota a interseo de A e B, constitudo pelos elementos que pertencem a A e a B. AB = { x : xA e xB }

Complementar. Seja U o conjunto universo e A um subconjunto de U. Chama-se complementar de A em relao ao conjunto U ao conjunto A dos elementos de U que no pertencem a A. A = { xU : xA } 18

Matemtica Discreta

Ateno

A se escreve tambm A Diferena: Se A e B so conjuntos ento A B denota o conjunto dos elementos de A que no esto em B. A B = { x: xA e xB }
Ateno
A B pode ser escrito assim: A

Diferena Simtrica: Se A e B so conjuntos ento AB ou AB denota o conjunto dos elementos que esto em A ou em B, mas no em ambos. O smbolo representa o ou exclusivo. AB = { x: x(A-B) ou x(B-A) } AB = (A B ) ( A B)
Ateno
A B pode ser escrito assim: AB

Exemplo 2.1.1 Aqui, apresentamos exemplos de todas as operaes definidas acima. Confira os resultados.

A B = { 1, 2, 3, 4, 5, 6,7, 8, 9} A B = { 6, 8 } 19

Matemtica Discreta

A B = { 1, 2, 3, 4 } B A = { 5, 7, 9 } A = { 5, 7, 9 10, 11, 12} B = { 1,2,3, 4, 10, 11, 12} A B = { 1, 2, 3, 4, 5, 7, 9} Tabela de pertinncia das operaes entre conjuntos: Para construirmos a tabela de pertinncia de um conjunto, procedemos como segue. Se xX, indicamos o fato pondo 1 (verdadeiro) na coluna do conjunto X. Se xX, indicamos o fato pondo 0 (falso) na coluna do conjunto X. Por exemplo, em relao unio de dois conjuntos AB, existem quatro situaes distintas indicadas nas quatro linhas da tabela de pertinncia da unio abaixo: Elementos que no pertencem a nenhum dos dois conjuntos (linha 1), no pertencem a AB Elementos que no pertencem a A e pertencem a B ( linha 2), pertencem a AB. Elementos que pertencem a A e no pertencem a B (linha 3), pertencem a AB. Elementos que pertencem a A e a B ( linha 4), pertencem a AB.

Tabela de pertinncia da unio

Tabela de pertinncia da interseo

20

Matemtica Discreta

Em relao interseo de dois conjuntos A B, existem quatro situaes distintas indicadas na tabela de pertinncia da interseo abaixo: Elementos que no pertencem a nenhum dos dois conjuntos (linha 1), no pertencem a AB Elementos que no pertencem a A e pertencem a B (linha 2), no pertencem a AB. Elementos que pertencem a A e no pertencem a B (linha 3), no pertencem a AB. Elementos que pertencem a A e a B (linha 4), pertencem a AB.

As tabelas de pertinncia dos conjuntos A B, B- A e AB so apresentadas abaixo, de acordo com as respectivas definies.

Tabela de pertinncia do complementar: A tabela de pertinncia do complementar apresenta apenas duas linhas, visto que o complementar uma operao que envolve apenas um conjunto.

Exemplo 2.1.2. Considere o conjunto universo U = {1, 2, ..., 9} e os seus subconjuntos: 21

Matemtica Discreta

A = {1, 2, 3, 4, 5, 6, 7} D = { 1, 3, 5, 7, 9 }

B = { 4, 5, 6, 7, 8}

C = { 5, 6, 7, 8, 9 }

E = { 2, 4, 6, 8 }

F = { 1, 5, 9 }.

A B = {1,2, 3, 4, 5, 6,7, 8} B D = {1, 3, 4, 5, 6, 7, 8, 9 }, A C = {1,2, 3, 4, 5, 6, 7, 8, 9} D E = {1,3,5,7,9,2,4,6,8}, D F = { 1, 3, 5, 7, 9 } EE = { 2, 4, 6, 8 }

A B = {4, 5, 6, 7} B D = {5,7} A C = {5, 6,7}

DE=

D F = { 1, 5, 9 }

E E =

A = {8,9}

B = { 1, 2, 3, 9 } BA={8}

C = {1, 2, 3, 4 }

D ={ 2, 4, 6, 8}

A B = {1,2, 3} EE= AB = {1,2, 3, 8} AE= {1, 3, 5, 7

D E = { 1, 3, 5, 7, 9 }

AC= {1, 2, 3, 4, 8, 9}

AD = { 2, 4, 6, 9 }

(A - B) - C = {1, 2, 3} - { 5, 6, 7, 8, 9 } = {1, 2, 3} A - (B C) = {1, 2, 3, 4, 5, 6, 7} { 4 } = {1, 2, 3, 5, 6,7}


Ateno
Voc observou no exerccio 2.1. 2 que,

(A-B) (B-A)= {1, 2, 3} - { 8 } = {1, 2, 3} A B = {, 2, 3, 4, 5, 6, 7, 8 } = { 9 } 1 A B = {8,9} { 1, 2, 3, 9 } = { 9 } A B = { 5 6 7 } = {1, 2, 3, 8, 9} 4 , , , A B = {8,9} { 1, 2, 3, 9 } = {1, 2, 3, 8, 9} Exemplo 2. 1. 3. Para construir a tabela de pertinncia do conjunto (A B ) ( A B), devemos construir colunas para os conjuntos A, B, 22

e que

A B A B

A B

A B? = Isso no mera coincidncia. Trata-se de igualdades vlidas para quaisquer conjuntos A e B!

Matemtica Discreta

Ae B.

Em seguida, as colunas relativas aos conjuntos A B ,

A B e por ltimo, a coluna do conjunto (A B ) ( A B).

Voc deve observar que, logo aps o preenchimento com 0 (zero) e 1 (um) nas colunas relativas aos conjuntos A e B, preenchemos as colunas do complementar de A, denotado por A , e do complementar de B, denotado por B , simplesmente trocando 0 (zero) por 1 (um). As colunas relativas aos conjuntos A B e A B so preenchidas por 0 (zero) e 1 (um) de acordo com a tabela de pertinncia da interseo. Por fim, a ltima coluna feita de acordo com a tabela de pertinncia da unio de conjuntos. A tabela de pertinncia do conjunto (A B ) ( A B) a igual tabela de pertinncia do conjunto A B. Observe isso. Mostraremos na seo 2.6 como provar a igualdade entre conjuntos, observando a igualdade das respectivas tabelasverdade. Exemplo 2.1.4. Na determinao dos tipos sangneos, cada pessoa duplamente classificada: se o sangue tem o antgeno Rh, ele Rh positivo, caso contrrio Rh negativo. Se o sangue contm o antgeno A, mas no contm o antgeno B, tipo A. Se o sangue tem o antgeno B, mas no tem o antgeno A, tipo B. Se tem ambos, tipo AB. Se nenhum dos dois antgenos est presente, tipo O. Considere os conjuntos: P = {x : x pessoa cujo sangue contm o antgeno Rh} A = {x : x pessoa cujo sangue contm o antgeno A} B = {x : x pessoa cujo sangue contm o antgeno B} Um elemento x qualquer pode pertencer ou no a cada um dos trs conjuntos P, A e B. Ao todo so 8 possibilidades.Elas so representadas na tabela ao lado e no diagrama de Venn.

23

Matemtica Discreta

Determine os respectivos pertencentes a cada conjunto: 1) P A B = { g } 2) P A B = { d } 3) P A B = { f } 4) P B A { e } 5) P A B = { a } 6) P A B = { h } 7) P B A = { d } 8) P A B = { c } Resp. 1) Tipo AB Rh+ 3) Tipo A Rh+ 6) Tipo O Rh-

tipos

sangneos

das

pessoas

2) Tipo AB Rh4) Tipo B Rh+ 7) Tipo B Rh5) Tipo A Rh8) Tipo O Rh+

Aprenda Praticando - Exerccios Proposto 2.1 Apresentamos agora uma lista de exerccios para que voc mostre que entendeu as operaes entre conjuntos. Discuta com seus colegas as respostas que so apresentadas logo em seguida.

24

Matemtica Discreta

1. Considere o conjunto universo igual ao conjunto U de todos os alunos da UFRPE e os seguintes subconjuntos: A = { x : U: x aluno do Curso de Agronomia } B = { x : U: x aluno do Curso de Biologia } C = { x : U: x aluno do Curso de Cincia Domsticas } Defina os seguintes conjuntos por meio de operaes com conjuntos: a) O conjunto dos alunos da UFRPE que cursam Biologia ou Cincias Domsticas (Eles podem fazer apenas um desses cursos ou ambos ). b) O conjunto dos alunos da UFRPE que fazem Agronomia e Biologia ao mesmo tempo, mas no fazem Cincias Domsticas. c) O conjunto dos alunos da UFRPE que cursam Agronomia e no cursam Biologia. d) O conjunto dos alunos da UFRPE que fazem apenas um dos cursos A, B e C. e) O conjunto dos alunos da UFRPE que no fazem qualquer um dos cursos A, B e C . f) O conjunto dos alunos da UFRPE que fazem Biologia, mas no Cincias Domsticas ou fazem Cincias Domsticas mas no Biologia. 2. Considere o conjunto A = { 1, 2, 3, 4, 5, 6, 7, 10,12,13 }. Listar os elementos dos seguintes conjuntos: A1 = { x A : x2 9 } A2 = { x A : (x+2) A } A3 = { x A : x-1 impar } A4 = {xA : x divisvel por 2 ou por 3} A5 = {xA : x2 4 = 0 ou x2 9x +20 = 0 } Calcule: a) ( A1A2) (A1A3) b) (A3A4) (A1-A4)

3. Considere U como o conjunto de todas as pessoas e os subconjuntos 25

Matemtica Discreta

S = { xU : x reside no Brasil } M= { xU : x mulher } J = { xU : x tem menos de 25 anos } A = { xU : x tem mais de 1,70 m de altura } Descreva os conjuntos abaixo atravs de uma propriedade caracterstica dos seus elementos: a) SAJ d) S(MJ). 4. Encontre os conjuntos A e B, sabendose que A B = { 1, 5, 7, 8 }, B A = { 2, 10 } e AB = {3, 6, 9 }. b) S(J A ) c) S(MJ)

Respostas dos exerccios 2.1 1. a) BC c) A B e) A B C b) (AB) C d)


( A B C) ( A B C) ( A B C)

f) BC A2 = {6,7,12,13} A4 = {2, 3, 4, 6, 10, 12}

2. A1= { 3, 4, 5, 6, 7, 10,12, 13} A3= {2, 4, 6, 10, 12} A5 = { 2, 4, 5}

a) ( A1A2) (A1A3) = {6, 7, 12, 13} { 4, 6, 10,12}= {7, 13} b) (A3A4) (A1-A4) = { 2, 3, 4, 6, 10, 12} {3, 5, 7, 13} = {2, 4, 5, 6, 7, 10,12, 13}. 3. a) SAJ = { xU : x reside no Brasil, tem menos de 25 anos e mais 1,70 m de altura} b) S(J A ) = { xU : x reside no Brasil, tem menos de 25 anos e 1,70 m de altura e no mximo 1,70 m de altura}. c) S(MJ) = { xU : x reside no Brasil e mulher ou tem menos de 25 anos}. d) S(MJ) = { xU : x reside no Brasil ou mulher com menos de 25 anos}. 26

Matemtica Discreta

4. A = { 1, 3, 5, 6, 7, 8, 9} e B = {2, 3, 6, 9, 10}

27

Matemtica Discreta

2.2 Partio de um conjunto


Dois conjuntos A e B so chamados disjuntos se A B = , isto , no tm elementos comuns. Os conjuntos A = {2, 5, 7, 9}, B = {4, 6, 8, 10} e C = {1, 3, 11,12} so dois a dois, disjuntos. De fato, A B = , A C = e B C = Uma partio de um conjunto S uma coleo de subconjuntos no vazios de S, disjuntos dois a dois, cuja unio resulte S. Ou seja, uma coleo de subconjuntos A1, A2, ... , An de S tal que S =A1 A2 A3 ...... An e Ai Aj = , para i j .

Exemplo 2.2. S = {1, 2, 3, 4, 5, 6}. A coleo de conjuntos A1= {1, 2, 3}, A2= {4, 5} e A3= {6 } forma uma partio de S . Observe que A1 A2 = , A1 A3 = , A2 A3 = e alm disso, a unio dos trs conjuntos A1A2A3 = {1, 2, 3, 4, 5, 6}.

Aprenda Praticando - Exerccios Proposto 2.2 Agora, voc solicitado a apresentar parties de conjuntos. Algumas parties so constitudas por conjuntos finitos outras no. Mos obra! 1. D parties dos seguintes dos conjuntos: a) N b) Z c) S = {0, 1, 2 ,3, 4, 5, 6 , 7, 8, 9 }.

2. Se S = {0, 3, 6, 9, 12,15, 18, ...}, escrever uma partio de S que: a) contenha dois subconjuntos infinitos

28

Matemtica Discreta

b) contenha trs subconjuntos infinitos. 3. Se S = {1, 5, 9, 13, 17, 21, 25, ...}, os conjuntos A1 = {1 +12n, n N }, A2 = {5 +12n, n N } e A3 = { 9 + 12n, n N } constituem uma partio de S .

Respostas - Exerccios Proposto 2.2 As suas respostas possivelmente no batem com as apresentadas logo abaixo. Isso pode ocorrer, pois um conjunto pode ter vrias parties. 1. a) A1= {0, 2, 4, ,6, 8, 10, ...} b) A1= {0, 2, 4, ,6, 8, 10, ...} A3= { -2, -4, ,-6, -8, -10, ...} 2. a) A1= {0, 6, 12, ,18, 24, 30, ...} b) A1= {0, 9, 18, 27, 36, ...} A3= { 6, 15, 24, 33, 42, ...} 3. Sim. A1 = {1 +12n, n N }= { 1, 13, 25, 37, 49, ..., } A2 = { 1, 3, 5, 7, 9, 11, ...} A2 = { 1, 3, 5, 7, 9, 11, ...} A4 = { -1, -3, -5, -7,-9, -11, ...} A2 = {3, 9, 15, 21, 27, ...} A2 = {3, 12, 21, 30, ...},

A2 = {5 +12n, n N } = {5, 17, 29, 41, 53, ... } e A3 = { 9 + 12n, n N }= {9, 21, 33, 45, 56, ...} constituem uma partio de S, pois os conjuntos so dois a dois disjuntos e sua unio resulta S.

2.3. Cardinal da unio e da interseo.


Se voc dispe de dois ou mais conjuntos e quer saber quantos elementos tem o conjunto unio desses conjuntos, como proceder? Faremos uso do princpio da incluso excluso. Princpio da Incluso Excluso. #(AB) = # (A) + #(B) #(AB) Vejamos como descobrir a quantidade de elementos da unio

de dois conjuntos sendo conhecidos n(A), n(B) e n( A B )

29

Matemtica Discreta

Note que a quantidade de elementos de A B obtida pela quantidade de elementos que pertence: s ao conjunto A: n( A B ) = n( A ) n( A B ) , s ao conjunto B: n( A B ) = n( B) n( A B) e s a A e B: n( A B ) . Assim, podemos concluir que:
n( A B) = n( A) n( A B) + n( B) n( A B) + n( A B) = n( A) + n( B) n( A B)

Isso significa que, para calcular o nmero de elementos da unio A B, inclumos os elementos de A, inclumos os elementos de B e exclumos os elementos de A B. Exemplo 2.3.1: Considere os conjuntos A = {1, 2, 3, 4, 5, 6, 7} B = { 4, 5, 6, 8}

Observe que # ( A ) = 7, # ( B ) = 4, # ( A B ) = 3, ento # ( A B) = # (A) + # (B) # ( A B ) = 7 + 4 3 = 8


# ( A B C) = # (A) + # (B) + # (C) # (A B) # (A C) # (B C) + #(A B C).

Podemos escrever A B C = (A B) C, de modo que:

#(A B C) = #((A B) C) = #(A B) + #C - #((A B) C) = #A + #B + #C - #(A B) - #[(A C) (B C)] = #A + #B + #C - #(A B) - #(A C) - #(B C) + #(A B C).

30

Matemtica Discreta

Exemplo 2. 3. 2. Considere os conjuntos A = {1, 2, 3, 4, 5, 6, 7, 10}, B = { 4, 5, 6, 7, 8, 11} C = { 5, 6, 7, 8, 9, 10 }.

Sabendo que A B = {4, 5, 6, 7}, A C = {5, 6, 7, 10}, B C = { 5, 6, 7, 8} e que A B C = {5, 6, 7}, podemos escrever que: #(ABC) = #(A) + #(B) + # (C) #(AB) #(AC) #(BC) + #(ABC) = 8 + 6 + 6 4 4 4 + 3 = 11 ABC = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11} Se A e B so conjuntos disjuntos (A B = ), ento #(A B) = #(A) + #(B). Exemplo 2. 3. 3. Os conjuntos A = {2, 5, 7, 9 } e B = {4, 6, 8, 10 } so disjuntos, pois A B = , de modo que, o cardinal da unio de A e B #(AB) = #(A) + #(B) = 4 + 4 = 8

# I = 35,

# F = 18,

# (IF) = 42.

# (IF) = # I + # F - # (IF)

42 = 35 +18 - # (IF), de modo que # (IF) = 11. Outra soluo poder ser dada usando os diagramas de Venn. Para isso, voc define dois conjuntos I e F. Coloque inicialmente os elementos que pertencem interseo IF. Como no sabemos, colocaremos o nmero x.
imagem

31

Matemtica Discreta

O cardinal do conjunto dos que falam ingls e no falam francs 35 x. Analogamente, o nmero de turistas que falam francs e no falam ingls 18 x. A soma desses elementos deve ser 42. Logo, devemos ter 35 x + x + 18 x = 42. A equao se reduz a 53 x = 42. Portanto, x = 11. Exemplo 2. 3. 4. Todos os convidados de uma festa bebem caf (A) ou ch (B); 13 bebem caf, 10 bebem ch e 4 bebem caf e ch. Quantas pessoas h neste grupo? #(AB) = #(A) + #(A) - #(AB) #(AB) = 13 + 10 4 = 19

Exemplo 2. 3. 5. O controle de qualidade de uma fbrica introduziu na linha de montagem 42 peas com defeitos de pintura (A), embalagem (B) ou na parte eletrnica (C). Dessas peas, 28 tinham defeito na pintura, 17 tinham defeito na embalagem, 11 com defeito na parte eletrnica, 7 tinham defeito na embalagem e na parte eletrnica, 3 tinham defeitos na pintura e na parte eletrnica e 6 com defeito na pintura e na embalagem. Quantas peas tinham os trs defeitos? #A = 28, #B = 17, #C = 11, #(AB) = 6, #(AC) = 3,

#(BC) = 7,

#(ABC) = x

#(ABC) = #(A) + #(B) + # (C) #(AB) #(AC) #(BC) + #(ABC)

42 = 28 + 17 + 11 6 3 - 7 + x 42 = 40 + x x=2 Voc poder usar diagramas de Venn para resolver esse problema. Vamos l? Use as figuras seguintes:

Exemplo 2.3.6. Entre os americanos que tiraram frias no ano passado, 90% tiraram frias no vero, 65% no inverno, 10% na 32

Matemtica Discreta

primavera, 7% no outono, 55% no inverno e no vero, 8% na primavera e no vero, 6% no outono e no vero, 4% no inverno e na primavera, 4% no inverno e no outono, 3% na primavera e no outono, 3% no vero, no inverno e outono, 3% no vero, no inverno e primavera, 2% no vero, no outono e primavera e 2% nono inverno, na primavera e outono. Que percentagem tirou frias nas quatro estaes? Para resolver este problema que envolve quatro conjuntos, podemos usar uma extenso do princpio da Incluso Excluso para quatro conjuntos. O diagrama de Venn com quatro conjuntos deve apresentar 16 regies. Na figura abaixo, apresentamos uma alternativa usando retngulos. Voc acha que pode fazer um diagrama de Venn para quatro conjuntos usando quatro crculos e apresentando 16 regies? Tente fazer!

#(ABCD) = #(A) + #(B) + # (C) + # (D) #(AB) #(AC) #(AD) #(B C) #(BD) #(CD) + #(ABC) + #(ABD) + #(ACD) + #(BCD) #(ABCD) 100 = 90 + 65 + 10 + 7 55 8 6 4 4 3 + 3 + 3 + 2 + 2 - x 100 = 102 x x = 2%

Aprenda Praticando - Exerccios 2.3

Mostre que voc entendeu bem as tcnicas de clculos do nmero 33

Matemtica Discreta

de elementos de um conjunto, usando o Princpio da Incluso Excluso ou os diagramas de Venn. Caso tenha dificuldade, orientese com seus tutores. 1. Em um congresso de informtica, h 43 participantes do Curso de Java, 57 de Pascal Avanado e 29 de C++. H 10 participantes dos cursos de Java e Pascal Avanado, 5 em Pascal Avanado e C++, 5 em Java e C++, e dois matriculados nos trs cursos. Quantos alunos esto inscritos ao menos em um curso do congresso? 2. H quatro grandes grupos de pessoas, cada um com 1.000 membros. Dois quaisquer desses grupos tm 100 membros em comum. Trs quaisquer desses grupos tm 10 pessoas em comum. E h 1 pessoa em todos os quatro grupos. Conjuntamente, quantas pessoas h nesses grupos? 3. Num universo de 200 estudantes, 50 estudam Matemtica, 140 estudam Economia e 24 estudam ambos os cursos. Dos 200 estudantes 60 so mulheres, das quais 20 estudam Matemtica, 45 estudam Economia e 16 delas estudam ambos os cursos. Determine, para o universo de estudantes, quantos so os homens que no estudam nem Matemtica nem Economia. 4. Uma companhia, 240 dos seus empregados obtiveram aumento salarial, 115 obtiveram ascenso funcional e 60 obtiveram ambas as coisas. Quantos so os empregados sabendo que nenhum empregado deixou de ser promovido ou ter ascenso funcional ? 5. Em um grupo de 110 estudantes, 63 estudam Ingls, 30 estudam Francs e 50 estudam Alemo. H 25 alunos que estudam apenas dois idiomas, 13 estudam Ingls e Francs, 30 estudam Ingls e Alemo e 12 estudam Francs e Alemo. a) Quantos estudam Ingls e Francs, mas no estudam Alemo? b) Quantos alunos no estudam nenhum dos idiomas? 6. De 100 pessoas que foram pesquisadas, 52 so mulheres, 40 almoam, 40 jantam, 25 so mulheres que almoam, 15 so mulheres que jantam, 20 so pessoas que almoam e jantam, e 12 so mulheres que almoam e jantam. Quantas pessoas so homens que no almoam nem jantam? Quantas so mulheres 34

Matemtica Discreta

que no almoam nem jantam? 7. No auditrio de uma faculdade h um grupo de alunos, dos quais 12 cursam a disciplina A, 20 cursam a B, 20 cursam a C, 10 cursam a D, 5 cursam A e B, 7 cursam A e C, 4 cursam A e D, 16 cursam B e C, 4 cursam B e D e 5 cursam as disciplinas C e D. Trs alunos cursam as disciplinas A, B e C, 2 cursam A, B e D, 4 cursam B, C e D, e 3 cursam A, C e D. Apenas 2 alunos cursam as quatro disciplinas e 71 alunos no cursam nenhumas das disciplinas citadas. Quantos so os alunos no auditrio?

Respostas dos Exerccios 2.3

Verifique aqui quantos exerccios acertou. Caso tenha errado ou no tenha conseguido fazer, mude o mtodo de resoluo (Princpio de Incluso Excluso ou Diagrama de Venn). Discuta com seus colegas 1. 111 5. a) 3 b) 12 2. 3.439 6. a) 16 b) 24 3. 23 7. 102 4. 295

2.4. Produto Cartesiano.


Se A e B so dois conjuntos, o produto cartesiano de A por B o conjunto A x B = { (x,y) : x A e y B}. EXEMPLO 2.4.1 Sejam A = {a, b, c } e B = { a, b, d }. a) Liste todos os pares ordenados de A x B A x B = { (a, a), (a, b), (a, d), (b, a), (b, b), (b, d), (c, a), (c, b), (c, d) } b) Liste todos os pares ordenados de B x A. B x A = { (a, a), (b, a), (d, a), (a, b), (b, b), (d, b), (a, c), (b, c), (d, c) } c) Liste todos os elementos do conjunto { (x,y) A x B : x = y } (a, a), (b, b) } 35 {

Matemtica Discreta

Aprenda praticando - Exerccios 2.4

Voc dever listar os elementos dos seguintes conjuntos, pondo em prtica os conceitos de produto cartesiano. 1. Sejam S ={ 0, 1, 2 ,3, 4 } e T = { 0 , 2, 4 } . Liste todos os elementos dos seguintes conjuntos: A = { (m,n) S x T : m < n } B = { (m, n) T x S ; m < n } C = { (m, n) S x T : m + n 3 } D = { (m,n) T x S ; m.n 4 } E ={ (m, n) S x S : m + n = 10 }. Obs.: S x S = S2 2. Liste pelo menos 6 elementos dos seguintes conjuntos: a) { (m,n) N2 : m = n } b) { (m,n) N2 : m + n primo } c) { (m,n) N2 : m = 6 } d) { (m,n) N2 : min {m ,n } = 3} e) { (m,n) N2 : mx {m , n} = 3 } f) { (m,n) N2 : m2 = n } Resposta Logo em seguida, apresentamos respostas. Confira as suas. A = { (0, 2), (0, 4), (1, 2), (1, 4), (3, 4)} (0,4), (2, 3), (2, 4)} B ={(0,1), (0, 2), (0, 3),

C = { (0, 4), (1, 2), (1, 4), (2, 2), (2, 4), (3, 0), (3, 2), (3, 4), (4,0), (4,2), (4,4) } D = { (1, 4), (2, 2), (2, 4), (3, 2), (3, 4), (4, 2), (4, 4). 2. a) { 0,0) , (1,1), (2,2), (3, 3), (4, 4), (5, 5), (6, 6) ...} b) {(0,2), (0,3), (0, 5), (0, 7), (1,2), (2,3), ...} 36

Matemtica Discreta

c) { (6,0), (6,1), (6,2), (6, 3), (6, 4), (6, 5), ...} d) { (3,3), (3,4), (3,5), (6,3), (7, 3), (8, 3), ...} e) (0,3), (1,3), (2,3), (3,0), (3,1), (3,2) (3,3)} f) { (1,1), (2,4), (3,9), (4,16), (5, 25), (6, 36), ...}

2.5 Produto Cartesiano de k conjuntos


Dados os conjuntos A1, A2, ..., Ak, o produto cartesiano A1 x A2 x ...x Ak o conjunto de todas as n-uplas (a1, a2, ... , ak) tais que ai Ai. Se #(A1)= n1, #(A2) = n2, ..., #(Ak)= nk ento #(A1 x A2 x ... x Ak) = n1. n2. ... . nk. Exemplo 2. 5. 1. Considere os conjuntos X = {1, 2}, Y = {a, b} e Z = { m, n, p}. Liste os elementos dos seguintes produtos cartesianos. a) X x Y x Z b) X x Y x Y c) X x X x X d) Y x X x Y x Z

X x Y x Z = {(1, a, m), (1, a, n), (1, a, p), (1, b, m), (1, b, n), (1, b, p) , (2, a, m), (2, a, n), (2, a, p), (2, b, m), (2, b, n), (2, b, p)} b) X x Y x Y = {(1, a, a), (1, a, b), (1, b, a), (1, b, b), {(2, a, a), (2, a, b), (2, b, a), (2, b, b)}. Exemplo 2. 5. 1. Se A o conjunto das letras maisculas do alfabeto portugus (26 letras) e B o conjunto dos naturais de 0 a 9,represente sob a forma de conjunto, todas as placas de automveis possveis no Brasil. Quantas so essas placas? Uma placa consiste em trs letras seguidas por quatro algarismos. O nmero total de placas possveis dado pelo cardinal do produto cartesiano A x A x A x B x B x B x B. # (A x A x A x B x B x B x B) = 26 x 26x 26 x 10 x 10 x 10 x 10 = 263 x 104 = 175.760.000 placas.

Aprenda Praticando - Exerccios 2.5

Nesses exerccios, voc ter oportunidade de explorar o conceito 37

Matemtica Discreta

de produto cartesiano envolvendo mais do que dois conjuntos. 1. Considere os conjuntos X = {1, 2}, Y = {a, b} e Z = { m, n, p}. Liste os elementos dos seguintes produtos cartesianos. a) X x X x X b) Y x X x Y x Z

2. Calcular o cardinal dos conjuntos produto cartesiano da primeira questo. 3. Dados os conjuntos A = {x Z : -1 x 2} e B = {y Z : -1 y 1}, pede-se: a) Enumerar os elementos do conjunto A x B b) Enumerar os elementos do conjunto B x A c) Obter (A x B ) ( B x A ) d) Obter o cardinal de (A x B ) ( B x A )

2.6. Identidades de conjuntos.


As operaes entre conjuntos, tais como: unio, interseo, diferena, diferena simtrica e complemento satisfazem diversas propriedades. Essas propriedades so apresentadas na forma de igualdade entre conjuntos e so chamadas de identidades de conjuntos. Identidades de Conjuntos

Exemplo 2. 6. 1: Prove que A (B - A) = usando as identidades de conjuntos. Prova: A (B-A) = A (B


A)

pela definio de diferena

= A ( A B) pela propriedade comutativa = (A 38


A)

B pela propriedade associativa

Matemtica Discreta

= B pela propriedade de complemento = por definio de interseo Exemplo 2. 6. 2: Prove que A (B - A) = A B usando as identidades de conjuntos A (B-A) = A (B A ) = (A B) (A A ) = (A B) U = A B. Exemplo 2.6.3: Provar a igualdade de De Morgan A B = A B Teremos que provar que: A B A B e que A B A B , usando as definies das operaes entre conjuntos. 1.Suponha que x A B . 2.De 1 temos que x A B. 3.De 2 temos que x A e x B. 4.De 3 temos que x A e x B . 5. De 4, temos que x A B . Provamos que A B AB

1.Suponha que x A B . 2.De 1 temos que x A e x B 3.De 2 temos que x A e x B. 4.De 3 temos que x A B. 5.De 4, temos que x A B . Provamos que A B A B Logo A B = A B . Exemplo 2. 6. 4: Provar que A B = A B (Igualdade de De Morgan), usando as definies das operaes entre conjuntos. 1.Seja x A B . 2.De 1 temos que x A B. 3.De 2 escrevemos x A ou x B. 4.De 3 temos que x A ou x B . 5.De 4, temos que x A B e, assim A B A B . 1.Seja x A B . 2.De 1 temos que x A ou x B . 3.De 2, temos que x A ou x B. 4.De 3 escrevemos x A B. 5.De 4, temos que x A B e, assim, A B A B . Logo A B = A B . Exemplo 2. 6. 5: Provar que A = A , usando as definies das operaes entre conjuntos. Seja x A . Ento x A . Logo x A. Assim provamos que A A. Seja x A. Ento x A . Logo x A . Provamos que A A . Logo A=A. 39

Matemtica Discreta

Exemplo 2. 6. 6: Mostre por meio da tabela de pertinncia que, dados os conjuntos A, B e C ento (A B) C = A (B C). Devemos construir as tabelas de pertinncia do conjunto do primeiro membro e do segundo membro. Os conjuntos iguais apresentam tabelas de pertinncia iguais.

Exemplo pertinncia

2.6.7: Mostre, por meio da tabela de que dados os conjuntos A, B e C tem-se que

( C) ( C) = ( B - C A B A )

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

Exemplos 2. 6.7: Simplifique


A)

(A B ) A) A B (
(f ( B A)) A B
B

= (B

= A B = A B .

40

Matemtica Discreta

Aprenda praticando - Exerccios 2.6 Nos exerccios seguintes, pede-se que voc apresente, por meio da tabela de pertinncia de conjuntos, uma prova da igualdade de conjuntos. Compartilhe com seus colegas as tabelas de pertinncia feitas por voc. 1. Considere os conjuntos A, B e C. Prove, por meio da tabela de pertinncia que: a) A (B - A) = b) A B C = A B C c) A(B-A) = AB d) (A B) (A B ) = A e) A B = A B f) (A B) C = (A - C) B g) (A B) C = (A - C) (B C). 2. Prove por meio da tabela de pertinncia que, dados os conjuntos A, B e C, as igualdades abaixo so verdadeiras.

3. Use a tabela de pertinncia para mostrar que (A B) - (A B) = (A B) ( A B ) para os conjuntos A e B. 4. Use a tabela de pertinncia para verificar se = (AB) ( A B ) para os conjuntos A e B.

(A B ) A B

41

Matemtica Discreta

Saiba Mais As operaes com conjuntos estudadas nesse captulo apresentam propriedades importantes que tem relao com outras estruturas que sero vistas nos captulos seguintes. Sugerimos consultar os seguintes livros para aprofundar os seus conhecimentos em relao s operaes entre conjuntos, suas propriedades, as diversas formas de provar a igualdade entre conjuntos: - ABE, Jair Minoro; PAPAVERO, Nelson. Teoria intuitiva dos conjuntos. So Paulo McGraw Hill:, 1997. - ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 1995. - GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. Traduo Valria de Magalhes Iorio. Rio de Janeiro: LTC, 2004. - LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004 - Scheinerman, Edward R. Matemtica Discreta: uma introduo. Traduo de Alfredo Alves de Farias. So Paulo: Pioneira Thomson Learning, 2003.

42

Matemtica Discreta

Captulo 3 - Introduo Lgica Matemtica


A Lgica Matemtica base para qualquer estudo nas reas de Computao e Informtica. Muitas demonstraes em Matemtica e muitos algoritmos em Cincia da Computao usam expresses lgicas, tais como,se P ento Q ou se P e Q ento P ou Q. De modo que, para desenvolver qualquer algoritmo, em conseqncia, qualquer software, necessrio ter o conhecimento dos fundamentos da Lgica. Existem linguagens de programao, tais como Prolog e Haskel, que so desenvolvidas de acordo com o paradigma lgico. Nesse captulo, seguiremos os fundamentos da Lgica Booleana (George Boole2, 1815 1864), conjunto de princpios e mtodos usados para distinguir sentenas verdadeiras de falsas. Uma proposio uma construo (sentena, frase, pensamento) qual se pode atribuir juzo. Em lgica matemtica, o tipo de juzo o verdadeiro (V) ou falso (F), no ambos. Para uma dada proposio p, denota-se por V(p) o seu valor verdade, de modo que V(p) = V se p verdadeira e V(p) = F, se p falsa. So proposies: p: 6 um nmero primo q: (72)3 = 76 r: =1, 4142 s: Linux um software livre. Para cada uma delas, o valor-verdade como segue: V(p) = F, V(q)= V, V(r) = F, V(s) = V. No so proposies: p: Como vai voc? q: No chegue atrasado! r: x + 2 = 5 t: O que estou dizendo agora mentira. 43
Acesse
2. http://www. santarita.g12.br/ matematicos/gm1/ george_boole.htm

Matemtica Discreta

3.1 Proposies compostas.


As proposies estudadas at aqui so ditas proposies simples, no sentido de que no podem ser decompostas em proposies mais simples. possvel, a partir de proposies simples, construir proposies mais complexas, chamadas de proposies compostas, usando os conectivos lgicos (OU), (E), (N0). Negao p. A negao de uma proposio construda introduzindo a palavra no de forma apropriada ou prefixandose a expresso no fato que, como nos exemplos a seguir:. Considerando uma proposio p, sua negao denotada por p. Alguns autores usam a notao ~p, outros usam p. p: Linux um software livre q: Paris no fica na Frana. r : 2 1,5 p : Linux no um software livre. q : Paris fica na Frana. r : 2 < 1,5

A tabela-verdade descreve todas as possibilidades dos valores lgicos de uma proposio. A tabela lista todas as possveis combinaes de valores-verdade V ou F para as componentes simples envolvidas na composio da proposio composta. Quando a proposio composta de duas proposies simples, sua tabela-verdade contm quatro linhas. Em geral, se uma proposio composta de n proposies simples, sua tabela-verdade contm 2n linhas. Vamos iniciar a construo das tabelas-verdade? Iniciaremos com a tabela da negao. Negao. A tabela verdade da negao apresenta apenas duas linhas, pois envolve uma s proposio.

Ateno
Voc percebeu semelhana da tabela ao lado com alguma tabela envolvendo conjuntos? Recorde a tabela de pertinncia do complementar de um conjunto!

Isto , se p verdadeira, ento p falsa. Se p falsa, ento p verdadeira. Conjuno. A conjuno de duas proposies p e q, denota-se por p q ( l-se p e q ), tem valor lgico verdadeiro quando p e q so 44

Matemtica Discreta

ambas verdadeiras e, tem valor lgico falso, em qualquer outro caso. Abaixo segue a tabela da conjuno exemplos.

Ateno
E agora, voc percebeu semelhana da tabela ao lado com a tabela de pertinncia da interseo conjuntos?

p: Windows um sistema operacional q: Java uma linguagem de programao. pq : Windows um sistema operacional e q: Java uma linguagem de programao V(pq)=V p: Windows um sistema operacional. q: Java uma planilha eletrnica pq : Windows um sistema operacional e Java uma planilha eletrnica V(pq)=F p: Windows um editor de textos. q: Java uma linguagem de programao pq : Windows um editor de textos e Java uma linguagem de programao V(pq)=F p: Windows um editor de textos. q: Java uma planilha eletrnica. pq : Windows um editor de textos e Java uma planilha eletrnica V(pq)=F Disjuno. A disjuno de duas proposies p e q, denota-se por p q ( l-se p ou q ) reflete a noo de que pelo menos uma das proposies deve ser verdadeira para que a resultante seja verdadeira. De modo que, a proposio p q verdadeira, se pelo menos uma das proposies verdadeira; falsa, se as proposies 45

Matemtica Discreta

so todas falsas. A tabela-verdade da disjuno :

Ateno
Nesta tabela, voc percebeu semelhana com a tabela de pertinncia da unio conjuntos?

Exemplos: p: Windows um sistema operacional. q: C++ uma linguagem de programao. pq : Windows um sistema operacional ou C++ uma linguagem de programao V(pq)=V p: Windows um sistema operacional. q: C++ uma planilha eletrnica p q : Windows um sistema operacional ou C++ uma planilha eletrnica V(p q)=V p: Windows um editor de textos. 46

Matemtica Discreta

q: C++ uma linguagem de programao p q : Windows um editor de textos ou C++ uma linguagem de programao V(p q)=V p: Windows um editor de textos. q: C++ uma planilha eletrnica. p q : Windows um editor de textos ou C++ uma planilha V(p q)=F Condicional. (Implicao). A condicional envolvendo duas proposies p e q, denota-se por p q que lida: Se p ento q. A proposio p chamada premissa (antecedente) e a proposio q dita concluso (conseqente). A condicional reflete a noo de que, partindo-se de uma premissa verdadeira (p verdadeira) obrigatoriamente chega-se a uma concluso verdadeira (q verdadeira), para que a condicional p q seja verdadeira. Partindo-se de uma premissa falsa, qualquer concluso pode ser considerada, e a condicional verdadeira. A condicional falsa apenas quando a premissa verdadeira e a concluso falsa. Resumo: a condicional p q : Falsa, quando p verdadeira e q falsa. Verdadeira, nos outros casos. A tabela-verdade da condicional :

47

Matemtica Discreta

Exemplo: Analisaremos a seguinte situao condicional: Pedro diz: Se chover domingo ento ficarei estudando. Vamos considerar as seguintes hipteses e vejamos se Pedro cumpriu sua palavra (V): a) Domingo choveu (V) e Pedro ficou estudando (V). Pedro cumpriu com a sua palavra (V) b) Domingo choveu (V) e Pedro no ficou estudando (F). Pedro no cumpriu sua palavra (F) c) Domingo no choveu (F) e Pedro ficou estudando (V). Pedro cumpriu sua palavra (V), pois no disse o que faria se no chovesse. Nesse caso, poderia ou no ficar estudando. d) Domingo no choveu (F) e Pedro no ficou estudando (F). Pedro cumpriu sua palavra (V), pelos motivos explicados na letra (c). Exemplos: Considere as proposies seguintes: p: Recife fica no Brasil 48 q: 2 + 3=4

Matemtica Discreta

r: 2 + 2 = 4

t: Recife fica na ndia V(p r) = V V(p q) = F V(t q) = V V(q r) = V

p r : Se Recife fica no Brasil ento 2 + 2 = 4 p q : Se Recife fica no Brasil ento 2 + 3 = 4 t q : Se Recife fica na ndia ento 2 + 3 = 4 q r : Se 2 + 3 = 4 ento 2 + 2 = 4

Bicondicional. A bicondicional envolve duas proposies p e q, denotada por pq e lida: p se somente se q, traduz a noo de uma dupla condicional, uma no sentido ida pq e outra no sentido volta qp.A tabela-verdade da bicondicional dada abaixo:

Isto , a bicondicional verdadeira quando as proposies so ambas verdadeiras ou ambas falsas. A bicondicional falsa, quando as proposies p e q tm valores-verdade distintos. Observe que a bicondicional pq tem o mesmo significado que (pq) (qp). Faa a tabela-verdade. Duas proposies p e q so logicamente equivalentes se tm tabelas-verdade idnticas e escrevemos p q Observe que a tabela-verdade da condicional pq a mesma da proposio composta pq

Dizemos que a condicional p q equivalente a pq, isto , p q pq

49

Matemtica Discreta

Aprenda Praticando - Exerccios 3.1

Voc vai agora praticar a construo de tabela-verdade de proposies compostas e verificar as que so equivalentes, comparando a ltima coluna de cada uma delas. 1. Mostre que as proposies abaixo so equivalentes, em cada caso: a) (pq) (p)(q) b) (p)(q) (pq) c) pq (pq) d) p (qr) (pq) (pr) e) (pq) pq f) p q (p q) (p q) g) p q (p q) (p q)

Respostas dos Exerccios 3.1

Apresentamos as respostas de alguns exerccios. Em relao aos outros exerccios, comente com seus colegas. Dificuldade? Pea ajuda ao seu tutor.

50

Matemtica Discreta

a) (pq) (p)(q)

b) (p)(q) (pq)

c) pq (p q)

3.2 Tautologias e Contradies


Tautologia (V) uma proposio que toma o valor V para todas as possveis atribuies de valor V e/ou F para as suas componentes simples nela presentes. Por exemplo, p p. Contradio (F) uma proposio que toma o valor F para todas as possveis atribuies de valor V e/ou F para suas componentes simples nela presentes. Por exemplo, p p Contingncia uma proposio cuja tabela-verdade consta V e F. Por exemplo, a conjuno p q e a disjuno so exemplos de contingncias.

51

Matemtica Discreta

Exemplo 3.2.1 A proposio p (pq) uma tautologia. Confira a sua tabela-verdade.

Exemplo 3.2.2 A proposio (pq) (p q) uma contradio. Confira a sua tabela-verdade.

Aprenda Praticando - Exerccios 3.2

Decida quais as proposies abaixo so tautologias, contradies ou contingncias. Faa a tabela. 1. Quais proposies abaixo so tautologias, contradies ou contingncias? a) (pq) (pq) b) (pq) (pq) c) p (qp) d) (x (x y)) y e) ((xy) (yz)) (xz) 52

Matemtica Discreta

f) (p q) (pq) g) (p q) (pq) h) (pq) (pq) i) (p) (pq) j) (pq) (pq) j) (pq) (qp) 2. Qual o valor-verdade das seguintes proposies? a) 8 par ou 6 mpar b) 8 par e 6 mpar c) 8 impar ou 6 mpar d) Se 8 mpar, ento 6 par. e) Se 8 mpar, ento 6 mpar f) Se 8 impar ou 6 par, ento 8 < 6. g) Se 8 par, e 6 mpar ento 6 > 8.

Respostas dos Exerccios 3.2

1. a) Tautologia b) Tautologia. c) Contingncia. d) Tautologia. e) Tautologia. f) Tautologia g) Tautologia. k) Tautologia. e) V. f) F g) V. h) Tautologia.

i) Contingncia. j) Tautologia. 2. a) V. b) V. c) F. d) V.

3.3 Negao de conjuno e de disjuno


DE MORGAN Considere a conjuno p q e a disjuno p q. A negao da conjuno denotada por (p q) e equivalente a p q.

53

Matemtica Discreta

A negao da disjuno expressa por (p q) e equivalente a p q. Confira fazendo a tabela-verdade: (p q) p q e de (p q) p q.

3.4 lgebra das proposies.


Voc observou, nesse captulo, que as proposies, a exemplo dos conjuntos, satisfazem vrias propriedades que esto listadas na tabela abaixo. Cabe ao leitor, identificar aquelas propriedades que correspondem s dos conjuntos:

Exemplo 3.3.1 a) A negao de Hoje segunda-feira e amanh no chover Hoje no segunda-feira ou amanh chover. b) A negao de 2 < 7 ou 3 par : 2 7 e 3 mpar. Exemplo 3.3.2. Considere as seguintes proposies: p: Rosas so vermelhas. q:Violetas so azuis. r: Cravos so brancos. s: Cravos so vermelhos.

A forma simblica usando os conectivos , , , e , das seguintes proposies compostas: a) Rosas so vermelhas e violetas so azuis. a) pq

54

Matemtica Discreta

b)Rosas no so vermelhas ou violetas no so azuis. b) p q c) Cravos so brancos ou vermelhos. c) rs d) Cravos no vermelhos ou violetas no so azuis. d) sq e) No verdade que violetas so azuis e rosas so vermelhas. e) (qp) f) falso que cravos so vermelhos ou brancos. f) (sr) g) Se cravos so brancos, ento cravos so vermelhos e violetas so azuis. g) r s q h) Se rosas no so vermelhas, ento violetas no so azuis ou cravos no so brancos. h) p q r i) Se violetas so azuis e cravos brancos, ento falso que cravos so brancos ou vermelhos. i) (qr)(rs) j) Rosas so vermelhas se e somente se cravos so brancos. j) p r Exemplo 3.3.3. Os conectivos lgicos E (AND) , OU (OR) e No (NOT), correspondentes, respectivamente a, , e , so usados em algumas linguagens de programao conjuntamente com expresses verdadeiras ou falsas para produzir um valor lgico final. Suponha as seguintes variveis Fluxo_de_sada, Fluxo _de_entrada e Presso e o seguinte programa de computador:
If [ (Fluxo_de_sada > Fluxo _de_entrada ) and not ((Fluxo_de_sada > Fluxo _de_entrada) and Presso <1000 )] do Ponha gua;

55

Matemtica Discreta

Else do Desligue a mquina;

Pondo P = Fluxo_de_sada > Fluxo _de_entrada e Q = Presso <1000, a expresso usada no programa se escreve P (P Q). Essa expresso pode ser simplificada assim: P (P Q) = P ( P Q) = (P P) (P Q) = 0 (P Q) = P Q. Assim o programa poderia ser reescrito na forma:
If ((Fluxo_de_sada > Fluxo _de_entrada ) and not ( Presso < 1000)) do Ponha gua; else do Desligue a mquina;

Exemplo 3. 3. 4 Suponha que P, Q e R representam condies que sero verdadeiras ou falsas quando certo programa executado. O programa manda realizar uma tarefa somente quando P ou Q for verdadeira ( mas no ambas) e R for falsa. Escreva uma proposio usando os conectivos and , or e not que seja verdadeira apenas dessas condies. Resp. ( (P and not Q) or (not P and Q) and not R ) ) ou seja ( (P Q) ( P Q) ) R. Exemplo 3. 3. 5 Reescreva o programa abaixo com uma expresso condicional mais simples. A funo impar(nmero) tem valor verdadeiro se n mpar. Se no ( (valor 1 < valor 2) ou mpar (nmero) ) ou ( no (valor 1 < valor 2) e mpar(nmero)) ento faa Alguma Coisa; Caso contrrio faa Outra Coisa; Resp. Sugesto: impar(nmero) Ponha A = valor 1 < valor 2 e B =

A expresso condicional : (A B) (A B) Assim, (A B) (A B) = ( A B) ( A B) = A ( B B) = A(T) = A 56

Matemtica Discreta

Aprenda Praticando - Exerccios 3.3

Novamente, solicitamos que revise o contedo dessa seo e resolva os exerccios seguintes. 1. Determinar as proposies compostas por conjuno com as proposies simples p e q, antecedidas ou no por negao , que satisfazem a cada um das tabelas-verdade abaixo indicadas.

2. Repetir o exerccio com disjuno .

3. Repetir o exerccio com condicional .

4. Mostre por meio da tabela-verdade que as proposies pq e q p so equivalentes. Use a equivalncia para resolver as questes seguintes.

57

Matemtica Discreta

5. (ESAF / AFTN) Considere as seguintes afirmaes: - Se Carlos mais velho do que Pedro, ento Maria e Jlia tm a mesma idade. - Se Maria e Jlia tm a mesma idade, ento Joo mais moo do que Pedro. - Se Joo mais moo do que Pedro, ento Carlos mais velho do que Maria. Ora, Carlos no mais velho do que Maria. Ento: a) Carlos no mais velho do que Jlia e Joo mais moo do que Pedro. b) Carlos mais velho do que Pedro, e Maria e Jlia tm a mesma idade. c) Carlos e Joo so mais moos do que Pedro. d) Carlos mais velho do que Pedro e Joo mais moo do que Pedro. e) Carlos no mais velho do que Pedro, e Maria e Jlia no tm a mesma idade. 6. Se Rodrigo mentiu, ento ele culpado. Logo: a) Se Rodrigo no mentiu, ento ele no culpado. b) Rodrigo culpado. c) Se Rodrigo no culpado, ento ele no mentiu. d) Rodrigo mentiu. e) Se Rodrigo culpado, ento ele mentiu

58

Matemtica Discreta

Respostas dos Exerccios 3.3 e 3.4

1. 5. e 6. c.

3.5 Funes proposicionais. Quantificadores.


Considere as seguintes sentenas p: 3 + 6 = 9 q: x + 4 < 9.

A sentena p, como sabemos, verdadeira, ao passo que, nada podemos afirmar sobre o valor lgico da sentena q enquanto x no for identificado. Dependendo do valor de x, esta sentena pode assumir o valor verdadeiro ou falso. Nesse caso, a sentena q dita uma sentena aberta ou funo proposicional. De um modo geral, p(x) significa que x tem a propriedade p. Nas sentenas abertas p(x), p(y), os smbolos x, y so chamados de variveis. O conjunto de valores que a varivel pode assumir constitui o seu conjunto universo U. O subconjunto de U para os quais o valor lgico da sentena aberta verdadeiro o conjunto V, dito conjuntoverdade da sentena aberta. Exemplos. a) Considere a proposio p(x) x + 2 > 9 com x N. O conjuntoverdade V = {8, 9, 10 ,l 1, ....} b) A proposio p(x) x + 7 < 4 com x N tem conjunto verdade V = . c) A proposio p(x) x + 7 > 4 com x N tem V = N. Os exemplos acima mostram que, se uma proposio p(x) definida para x do universo U, ento p(x) pode ser verdade para todo x U, para algum x U, ou para nenhum x U.

Ateno
A sentena x, p(x) verdadeira se o conjunto-verdade de p(x) e o seu conjunto universo so iguais, isto , U=V e, falsa , se U

V.

Ateno
A sentena x, p(x) verdadeira se o conjunto-verdade de p(x) no vazio, V e, falso se V =

3.5.1 Quantificadores.
Usaremos o smbolo , chamado quantificador universal, para exprimir o fato de que para todo x em um conjunto, a proposio 59

Matemtica Discreta

p(x) verdadeira. Uma proposio do tipo Para todo x, p(x) simbolicamente denotada por x, p(x). Exemplos: xN, x = x verdadeira pois V(p(x)) = N falsa, pois V(p(x)) = N Z xN*, x2 + 1 2 verdadeira, pois V(p(x)) = N* verdadeira, pois V(p(x)) = Z xZ, x = x xZ, x2 0

Ateno
A negao da sentena x, p(x) x, p(x). Logo, (x, p(x)) equivalente a x, p(x).

Analogamente, no caso de proposies que envolvem expresses do tipo existe, h pelo menos um, algum, usaremos o smbolo , chamado quantificador existencial, para exprimir o fato de que para um ou mais elementos de um dado conjunto U a proposio p(x) verdadeira. Uma proposio do tipo existe um x tal que p(x) pode ser escrita simbolicamente: x, p(x). Exemplo: A proposio x, xN tem os seguintes significados: existe um x tal que xN, algum nmero natural, existe pelo menos um nmero natural. Exemplos: n, n N : n + 2 = 5 verdadeira, pois V(p(n)) = { 3 }

Ateno
A negao da sentena x, p(x) x, p(x). Logo, (x, p(x)) equivalente ax, p(x).

x, x N: x + 2 = 0 falsa, pois V(p(x)) = x{1, 2, -3, -4}, x2 + x - 6 = 0 verdadeira, pois V(p(x)) = {2, -3} n, n N, n! < 10 verdadeira, pois V(p(n)) = {0, 1, 2, 3}

3.5.2 Negao de sentenas quantificadas


Exemplos: Seja A = {1, 2, 3, 4, 5 } a) A negao da sentena x A, x + 3 = 10 10 b) A negao da sentena x A, x + 3 < 5 xA, x + 3 5 c) A negao de xA, x + 3 < 10 x A, x + 3 10 d) A negao de xA, x + 3 7 x A, x + 3 > 7 xA, x + 3

60

Matemtica Discreta

Aprenda Praticando - Exerccios 3.4

1.Escreva as proposies seguintes utilizando a notao de quantificador (isto , use os smbolos e/ou ). a) Todo inteiro primo. b) H um inteiro que no primo. c) Existe um inteiro cujo quadrado 4. d) Todos os inteiros so divisveis por 5. e) Algum inteiro divisvel por 7. f) O quadrado de qualquer inteiro no negativo. g) Para todo nmero inteiro x, existe um inteiro y tal que x.y =1. h) Existem dois inteiros x e y tais que x/y =10. 2. Escreva a negao de cada uma das proposies do problema anterior. D sua resposta por extenso e simbolicamente. 3. Assinale como verdadeiras ou falsas as proposies abaixo relativas aos nmeros inteiros: a) x, y, x + y = 0 c) x, y, x + y = 0 e) x, y, x.y = 0 g) x, y, x.y = 0 4. b) x, y, x + y = 0 d) x, y, x + y = 0

f) x, y, x.y = 0 h) x, y, x.y = 0.

Para cada uma das proposies seguintes, escreva a negao. a) x Z, x < 0. b) x Z, x = x + 1 c) x N, x > 10 d) x N, x + x = 2x e) x Z, y Z, x > y. f) x Z, y Z, x = y. 61

Matemtica Discreta

g) x Z, y Z, x + y = 0. 5. Mostre por meio da tabela-verdade se as proposies abaixo so equivalentes: a) p p p c) p q q p b) p p p d) p q q p

e) p(q r) (p q) (p r) f) p(q r) (p q) (p r) g) p(q r) (p q) (p r) h) ( p q) ( q p) 6. Considere as seguintes sentenas abertas cujo domnio consiste nos nmeros inteiros Z: O(x) : x impar L(x) : x < 10 G(x) : x > 9

Qual o valor-verdade de cada uma das seguintes sentenas abertas?: a) x : O(x) b) x [ L(x) O(x) ] c) x [ L(x) G(x) ] d) x [L(x) G(x)] 7. Sabendo que as proposies x = 0 e x = y so verdadeiras e que as proposies y = z e y = t so falsas, determinar o valor lgico de cada uma das seguintes proposies: a) (x = 0 ) (x = y) (y z) b) (x 0 ) (y = t) (y = z) c) (x = 0 ) (x y) ( y t) d) (x 0 ) (x y) (y z) 8. Determine o valor lgico de cada uma das sentenas a seguir, considerando o conjunto universo de todos os nmeros inteiros Z. a) n, n2 0 d) n m, n2 < m. b) n, n2 = 2 e) n m, n < m2 c) n, n2 n f) n m, n + m = 0,

62

Matemtica Discreta

g) n m, n.m = m i) n m, n2 + m2 = 6.

h) n m, n2 + m2 = 5,

j) n m, (n + m = 4) (n m = 1) k) n m, (n + m = 4) (n m = 2) l) n m p, p = m+n . 2 m) n, m , n + m = m n) m, n, n2 + 1 = m

9. Determine o valor lgico de cada uma das sentenas a seguir, considerando o conjunto universo de todos os nmeros reais R. a) x, x2 = 2 d) x y, x = y2 b) x, x2 = - 4 e) x y, x.y = 0 c) x y, x2 = y f) x y, x + y y + x

g) x, x 0, y, x.y = 1 i) x y, x + y = 1 k) x y z, z =

h) x y, y 0, x.y =1

j) x y, ( x + 2y = 2) (2x + 4y = 5)

x+ y 2 10. Considere as seguintes proposies: p(x): x par , q(x) : x divisvel por 3 e r(x): x divisvel por 4. Determinar o seu valor lgico cada uma das proposies abaixo: a) x N * , p(x+2) q(x) c) x N*, q(x) q(x+5) b) x N * , p(x) r(x) d) x N*, r(x) r(x -2)

Respostas dos Exercicios 3.4

Ateno
Procure ensinar aos seus colegas tudo aquilo que voc aprender, pois lecionar uma tima maneira de aprender.

8. a) V j) F 9. a) V j) F

b) F k) V b) F k)V.

c) V l) F c) V

d) V

e) V

f) F

g) V

h) V

i) F

m) V n) F d) F e) V f) F g) V h) F i) V

63

Matemtica Discreta

Saiba Mais Neste captulo, voc teve oportunidade de conhecer os fundamentos da lgica matemtica, fortemente empregada, nas reas de informtica e computao. Percebeu que existe uma estreita relao entre as propriedades das operaes entre com juntos e as proposies lgicas. Voc poder aprender mais sobre proposies, consultando os seguintes livros sobre Lgica Matemtica: ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica. So Paulo: Nobel, 1995. LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004

64

Matemtica Discreta

Captulo 4 - Portas Lgicas


Os circuitos lgicos (redes lgicas) so estruturas concebidas com base em certos circuitos elementares designados portas lgicas. So vistos como uma mquina L que contm um ou mais dispositivos de entrada e apenas uma sada S. Os dispositivos de entrada em L enviam um sinal, ou seja, um bit, 0 ou 1, ao circuito L que o processa e manda um sinal, um bit de sada S. A descrio de circuitos construdos pela combinao de portas lgicas, exige um novo tipo de lgebra, denominada lgebra de Boole em que as variveis e funes tem apenas valores 0 e 1. Na lgebra de Boole so usados trs operadores E, OU e NO (AND, OR e NOT) para efetuar comparaes e as quatro operaes aritmticas bsicas. Os computadores atuais utilizam a lgebra de Boole em microchips que contm centenas de pequenos interruptores combinados em portas lgicas que produzem os resultados das operaes em linguagem binria. Entre os circuitos elementares destacamos as portas lgicas seguintes: porta OR, porta AND e porta NOT.

4.1 Porta Not (No)


A porta NOT inverte o sinal de entrada (executa a negao do sinal de entrada), ou seja, se o sinal de entrada for 0 ela produz uma sada 1, se a entrada for 1 ela produz uma sada 0. Tambm chamada de porta inversora. Se A uma varivel binria ento a porta NOT transforma A em NOT(A), ou simplesmente A , de modo que se A = 0 ento NOT(A) = A = 1, se A = 1 ento NOT(A) = A = 0. Usaremos tambm a notao A para a negao. O smbolo e a tabela-verdade da porta NOT so as seguintes:

65

Matemtica Discreta

4.2 Porta Or (Ou)


A porta OR combina dois ou mais sinais de entrada de forma equivalente a um circuito em paralelo, para produzir um nico sinal de sada, ou seja, ela produz uma sada 1, se qualquer um dos sinais de entrada for igual a 1; a porta OR produz um sinal da sada igual a 0 apenas se todos os sinais de entrada forem 0. Usaremos o sinal + para indicar a operao OR (OU). A tabela-verdade e o smbolo da porta OR com duas entradas so:

Exemplo: Considere um detector de incndio com dois sensores (entradas A e B) e uma campainha para alarme (sada S). Se qualquer um dos sensores for acionado (1) detectando sinal de incndio, a campainha toca (1). O circuito lgico, a funo booleana e a tabela verdade correspondem s de uma porta OR.
Porta OR com trs entradas A tabela verdade apresenta 23 = 8 linha

66

Matemtica Discreta

4.3 Porta And (E)


A porta AND combina dois ou mais sinais de entrada de forma equivalente a um circuito em srie, para produzir um nico sinal de sada, ou seja, ela produz u ma sada 1, se todos os sinais de entrada forem 1; caso qualquer um dos sinais de entrada for 0, a porta AND produz um sinal de sada igual a 0. Usaremos o smbolo . para a operao AND (E). A tabela-verdade e o smbolo da porta AND com duas entradas so:

Exemplo: Uma campainha que toca (sada S) se o motorista der partida no motor do carro (entrada A) sem estar com o cinto de segurana afivelado (entrada B). Esboce o circuito lgico, a funo booleana e a tabela-verdade correspondente. Conveno: ignio for acionada (1) e o cinto estiver desafivelado (1), a campainha toca (1). Caso contrrio, a campainha no toca. O circuito lgico, a funo booleana e a tabelaverdade correspondem s de uma porta AND.

Ateno Observe que a tabela-verdade da porta NOT idntica tabela de pertinncia do complementar. A tabela da porta OR tem semelhana dom a tabela de pertinncia da unio e a da porta AND com a tabela de pertinncia da interseo. H semelhana tambm com as tabelasverdade para as proposies p ( Negao), pq ( disjuno) e pq ( conjuno). A diferena que, nas tabelas das portas e nos conjuntos usamos 0 e 1, e nas proposies usamos F e V.

67

Matemtica Discreta

Porta AND com trs entradas

A tabela verdade apresenta 23 = 8 linha

4.4. Porta Nand e Porta Nor.


Em muitos casos necessrio fazer combinaes de portas bsicas, formando portas mais complexas, de modo a reduzir espaos nos diagramas dos circuitos. Por exemplo, a porta NAND nada mais do que a negao da porta AND, com sada S = A.B . A tabela-verdade e sua representao so dadas abaixo:

A porta NOR obtida pela negao da porta OR e sua sada representada por S = A + B . A sua tabela-verdade e representao simblica so:

4.5. Portas XOR e XNOR


Destacamos ainda as portas XOR e XNOR representadas respectivamente pelos smbolos e tabelas a seguir: 68

Matemtica Discreta

PORTA XOR

A B = (A + B) . (A.B) = A.B + A.B

PORTA XNOR A B = ((A + B). (A.B) )

= (A+B).(A+B)

4.6 Portas Lgicas Equivalentes


Dizemos que 2 portas lgicas so equivalentes se tm a mesma tabela-verdade. Exemplo: S1 = (A+B) . (A + C) S 2 = A+ B.C

4.7 Propriedades das Portas Lgicas.


Apresentamos abaixo, uma tabela contendo identidades em lgebra de Boole.

69

Matemtica Discreta

Observe que podemos provar que os circuitos S1 = (A+B) . (A + C) e S 2 = A + B.C so equivalentes aplicando as identidades acima: S1 = (A+B) . (A + C) = A. (A+C) + B(A+C) = A.A + A.C + B.A + B.C = A + A.C + B.A + B.C= A( 1+ C) + B.A + B.C = A.1 + A.B + BC = A(1 + B) + B. C = A.1 + B.C = A + B.C

Aprenda Praticando

Exerccios 4.1: Pratique seus conhecimentos na elaborao da tabela-verdade de circuitos lgicos. 1. Desenhe o circuito lgico com entradas A, B e C e sada S correspondente a cada expresso booleana e a respectiva tabelaverdade a) S = ABC + A C + B C b) A B C + AB C + A B C c) S = (A+B) .(A + C) d) S = A + B.C 2. Desenhe o circuito lgico de cada uma das expresses booleanas de sadas S1 e S2 e verifique por meio da tabela-verdade se so equivalentes: ta) S1 = X Y S 2 = X.Y + X .Y

70

Matemtica Discreta

b) S1 = (A + B).( A + C).(B + C) c) S1 = A + A.B d) S1 = A + A .B e) S1 = ABC + A C + A B f) S1 = A + B

S 2 = (A.C) + ( A .B) S2 =A S2 =A+B S2 = A S2 = A B

g) S1 = A.B

S2 = A + B

3. Faa a tabela-verdade de cada uma das portas lgicas abaixo indicadas e diga quais as que so equivalentes.

4. Escreva a expresso booleana de cada porta lgica OR usando apenas portas AND e inversor: a) S = A + B b) S = A + B

71

Matemtica Discreta

c)

S A+ B

d) S = A + B e) S = A + AB f) S = AB + A B 5. A porta NAND sozinha suficiente para conceber qualquer funo-verdade porque as redes que usam apenas as portas NAND podem realizar as tarefas de portas inversoras, portas OR e portas AND. Os circuitos a seguir mostram isso:

6. Analogamente questo anterior, podemos construir as portas inversoras, portas OR e portas AND usando apenas portas NOR. Mostre isso, fazendo os respectivos circuitos. 7. Demonstre por meio da tabela-verdade que: a) A( A + B ) = A b) A( A + B ) = AB c) AB + A B = A d) ( A + B ) ( A + B) = B 8. Uma firma de audiovisuais por entrega em domiclio dispe de um mecanismo de controle automtico para supervisionar o empacotamento das remessas. A firma vende CD, DVD, VIDEO e GAME. Como bonificao, adicionado tquete de desconto, em todas as encomendas que incluam CD e DVD ou que incluam CD e VDEO, ou ainda que incluam DVD e GAME. Projetar uma rede lgica 72

Matemtica Discreta

que controle quando o tquete deve ser includo. Faa a expresso Booleana e a tabela-verdade. 9. Uma luz no corredor de uma casa controlada por dois interruptores, um em cada extremo. Encontre a expresso booleana e um circuito lgico que permita que a luz seja ligada e desligada em ambos os interruptores. 10. Imagine um sistema de segurana de uma loja. H um sensor de contato que, ligado (1) indica que a porta est fechada. Existe outro sensor infravermelho que, ligado (1) indica que no h pessoas ou coisas a moverem-se no interior da loja. H um alarme (sada) que acionado quando um dos sensores desligado. Faa o circuito lgico, a expresso booleana e a tabela-verdade correspondente. 11. Um comit de trs pessoas toma decises pela maioria de votos. Cada membro do comit pode registrar sim pressionando um boto. Projete um circuito lgico que faa acender uma lmpada quando e somente quando a maioria dos votos for sim. Faa o circuito lgico, a expresso booleana e a tabela-verdade correspondente. 12. ENADE(2005). Joo, ao tentar consertar o mdulo eletrnico de um carrinho eletrnico, levantou as caractersticas de um pequeno circuito digital incluso no mdulo. Verificou que o circuito tinha dois bits de entrada, x0 e x1, e um bit de sada. Os bits x0 e x1 eram utilizados para representar valores inteiros de 0 a 3 (x0, o bit menos significativo e x1, o bit mais significativo). Aps testes, Joo verificou que a sada do circuito 0 para todos os valores de entrada, exceto para o valor 2. Qual das expresses a seguir representa adequadamente o circuito analisado por Joo? a) x0 AND (NOTx1) b) (NOTx0 )OR (NOTx1) c) (NOTx0 )AND x1 d) x0 ANDx1 e) x0 OR (NOTx1) 13. Escreva a expresso booleana de cada um dos circuitos de entradas A e B, abaixo indicados. Verifique por meio da tabela-verdade se so circuitos equivalentes.(AV-1 2006.1).

73

Matemtica Discreta

14. Os nmeros inteiros no negativos N, menores do que 10, podem ser representados na notao binria da maneira que se segue:

Se representamos os nmeros binrios sob a forma N = A3 A2 A1 A0, construir um circuito lgico, a tabela verdade e uma funo booleana que retorne 1, apenas quando o nmero representado em binrio seja 3, 6, 7 ou 8. 15. Nas condies da questo 14, construa a tabela verdade e a expresso booleana correspondente a condio de que o nmero inteiro N seja primo. 16. Um comit consiste de Presidente(P), Diretor(D), Secretrio(S) e Tesoureiro (T). Um projeto aprovado pelo comit se e somente se, recebe a maioria dos votos ou o voto do presidente mais o voto de outro membro. Cada membro do comit aperta um boto aperta um boto para aprovar o projeto. Projete um circuito lgico cuja sada seja 1 se o projeto for aprovado pelo comit. Faa a tabela verdade e a expresso booleana do circuito. 17. Faa a tabela verdade das seguintes portas XOR a) S = (AB)C b) S = A(BC) c) S = (AB)(CD)

74

Matemtica Discreta

Respostas dos Exerccios

Confira suas respostas. Caso elas no coincidam com as apresentadas aqui, discuta com seus colegas. Consulte seu tutor. 08. S = CD + .DVD + CD. VDEO + DVD. GAME 09.
S = A.B + A.B A.B

10. S = A. B + A.B + A.B ou S = 11. S = AB C + ABC + AB C 12. Resp. c


+ ABC

ou S = A.B + B.C + A.C

14. S = A3 A2 A1 A0 + A3 A2 A1 A0 + A3 A2 A1 A0 + A3 A2 A1 A0 15. S= A3.[ A2 A1 A0 17.


+ A 2 A1 A0 + A 2 A1 A0 + A 2 A1 A0 ]

75

Matemtica Discreta

Saiba Mais
Ateno

Sempre proposto aos estudantes de Matemtica um grande nmero de exerccios de rotina, cuja resoluo muitas vezes longa, envolvendo muito clculos e, acima de tudo, exigindo que se memorize um algoritmo, isto , um mtodo de resoluo.

Finalizamos este fascculo com uma introduo ao estudo das portas lgicas. Estudamos os diversos tipos de portas lgicas, como obtemos portas lgicas equivalentes. Uma das mais importantes descobertas a relao entre as portas lgicas, as operaes entre conjuntos e as proposies lgicas, no que se refere a tabela-verdade de cada uma delas. Se voc tem interesse em conhecer mais sobre o assunto de portas lgicas, poder estudar pelos seguintes livros: DAGHLIAN, Jacob. Lgica e lgebra de Boole. So Paulo: Atlas, 1995. MENDELSON, Elliott. lgebra Booelana e circuitos chaveamento: resumo e teoria. So Paulo: McGraw Hill, 1977. de

76