Matemtica Discreta I Lista de Exerccios Nmero 2 Data: 03/10/08 Nome:___________________________________ Matrcula:_______-_ Turma:_______________

Leis vlidas para conjuntos arbitrrios X, Y, Z Convenes:

- conjunto vazio - interseco de conjuntos - unio de conjuntos - pertence a - est contido ou igual - subconjunto prprio U conjunto universo __ X complemento de um conjunto em relao a U n(X) cardinalidade de X( nmero de elementos do conjunto X)
Comutatividade 1a) X Y = Y X 1b) X Y = Y X

Associatividade Y) Z 2a) X (Y Z) = (X Y) Z Distributividade 3a) X (Y Z )= (X Y) (X Z) (X Z) Tautologias 4a) X X = X Absoro 5a) X (X Y) = X Complementao __ 1 __ 5b) X X Y = X 4b) X X = X 3b) X Y Z = (X Y) 2b) X (Y Z) = (X

6a) X X =

6b) X X = U

Dupla Complementao 7) (X ) = X Leis de De Morgan _____ _ _ 8a) (X Y ) = X Y ______ _ _ 8b) ( X Y) = X Y

Operaes com e U 9a) X = 10a) U X = X __ 11a) = U 9b) U X = U 10b) X = X __ 11b) U =

Teorema: Se X e Y so dois conjuntos quaisquer, ento n(X Y) = n(X) + n(Y) n(X Y) Observao Ao simplificarmos frmulas envolvendo conjuntos, precisamos de um critrio que nos diga qual a mais simples. Para esta srie de exerccios, consideraremos como mais simples aquela frmula que tiver menos smbolos. Contaremos como smbolos cada ocorrncia de interseco, unio ou complementao. Cada par de parntesis tambm contado _ como um smbolo. Assim, a frmula X (Y Z) contm sete smbolos e _ considerada mais simples que a frmula X Y Y Z que contm oito smbolos. Argumentos

Um argumento dito vlido quando, tomando todas suas premissas como verdadeiras, impossvel que a concluso seja falsa. Propriedades da Incluso __ __ a) X Y se e somente se X Y = , X Y = X, X Y = Y, X Y =U b) se X Y e Y Z ento X Z c) se X Y e X Z ento X Y Z d) se X Y ento X Y Z para qualquer Z __ __ e) X Y se e somente se Y X

EXERCCIOS SOBRE CONJUNTOS 1) Desenhe o diagrama de Venn apropriado para cada um dos itens abaixo. Assinale a rea correspondente frmula. _ _ _ a) X X Y Z b) ( X Y) ( X Y) _ _ c) ( X Y) ( X Z) d) X Y X Z Y Z 2) Use diagramas de Venn para decidir qual das igualdades abaixo vlida para todos os conjuntos X, Y e Z. _ _ a) X (Y Z) = X Y X Z b) X Y X Y X Y = U c) X (X Y) = X _ _ ______ e) X Y = (X Y) _ g) X X Y = X Y _ i) (X Y) (X Z) = X ______ _ __ j) (X Y) = X Y d) X X Y = X _ f) X X = U _ _ _ _ h) X Y X Y X Y = U _ ZXY

3) Teste a validade de cada uma das leis fundamentais para conjuntos desenhando o diagrama de Venn apropriado. 4) Considerando o teorema visto no resumo desta srie de exerccios, demonstre a frmula para n(X Y Z W). ( Sugesto: chame P = X Y e Q = Z W. Aplique o teorema e depois as leis fundamentais). 5) Simplifique as expresses abaixo. (Cada expresso se reduz a um nico smbolo). a) (A A B A B C) (A _ _ b) (A B A B) (A B A _ _ _

B C) _ _ B) _ _

c) A B C A B C A B C A B C A B C A BC _ _ _ _ _ ABCABC 6) Considerando a observao feita no incio desta lista, simplifique as frmulas abaixo: _ a) X Y (X Z X Y X Y Z) _ _ _ b) (X Y A B C) (X Y A B C) _ _ c) A B X A B X X A B X _ _ _ _ _ d) (X Y X Y X Y) (X Y Z X Y Z) _ _ _ _ e) (X Y X Y X Y) (X Y Z W) 7) Em uma classe h 15 alunos veteranos dos quais 10 so rapazes, 15 rapazes que no so veteranos e 30 meninas. Quantos alunos h na classe?( Aplique o teorema ou desenhe o diagrama de Venn apropriado). 8) As informaes seguintes referem-se a um grupo de 100 alunos: a) b) c) d) e) f) todos h 50 h 60 h 25 h 15 h 10 os homens tm mais de 20 anos mulheres no grupo alunos com mais de 20 anos mulheres casadas alunos casados com mais de 20 anos mulheres casadas com mais de 20 anos

Pergunta-se: a) b) c) d) e) h quantos alunos casados? quantas mulheres solteiras tm mais de 20 anos? quantos homens solteiros tm menos de vinte anos? quantos homens so casados? quantos alunos tm menos de vinte anos?

9) Que concluses podem ser tiradas das seguintes premissas? a) um aluno que no estuda muito no um bom aluno b) bons alunos tiram boas notas c) um aluno que estuda muito e tira boas notas ter um bom emprego 10) Dado que:

a) todos os nativos de Mindanau devoram pessoas brancas b) todos os nativos de Bornu devoram pessoas pretas c) Nenhum homem devora ambas, pessoas brancas e pessoas pretas d) Joo devora pessoas pretas Decida se cada uma das concluses abaixo torna o argumento vlido. A) Joo nativo de Bornu Mindanau (Sugesto: use como conjunto universo o conjunto de todos os humanos. No suponha mais do que dado em a), b), c) e d). Use as propriedades da incluso). B) Joo no nativo de