1

APOSTILA DE MATEMTICA DISCRETA

PROFESSOR DANIEL VIAIS NETO

1. LGICA FORMAL

Proposio (ou declarao) uma sentena que verdadeira ou falsa.

Exemplos:

a) Paris fica na Frana. b) 5 . c) Dante escreveu os Lusadas. d) 2 = x soluo de 4
2
= x .

Proposio composta aquela formada pela combinao de duas ou mais proposies.

Conectivos so palavras que se usam para formar novas proposies a partir de outras.

Exemplos:

a) O nmero 6 par e o nmero 8 um cubo perfeito.
b) O sorvete gelado ou a pizza quente.
c) Se Jorge engenheiro, ento sabe matemtica.
d) O tringulo equiltero se, e somente se, retngulo.
e) No irei igreja hoje.

Operaes lgicas bsicas.

Expresso Conjuno Disjuno

Condicional
(implicao)
Bicondicional
(equivalncia)
Negao
Expresso Lgica
B A B A B A B A ' A , A ou A ~
Representao A e B A ou B A implica B A se, e s se B No A

Observaes:

1. K , , B A so usadas para representar proposies e, por isso, so chamadas letras de proposio.
2. , , , so conectivos binrios e ' (ou ) um conectivo unrio.

Tabela-verdade.

A B B A B A B A B A ' A
V V V V V V F
V F F V F F
F V F V V F V
F F F F V V

Outros conectivos.

A B B A
B A B A
V V F F F
V F V F V
F V V F V
F F F V V

A tabela-verdade de uma proposio composta com n proposies simples contm
n
2 linhas.


2
Expresses comuns em portugus associadas a diversos conectivos lgicos.

Expresso em Portugus Conectivo Lgico Expresso Lgica
e; mas; tambm; alm disso Conjuno
B A
Ou Disjuno
B A
Se A, ento B.
A implica B.
A, logo B.
A s se B; A somente se B.
B segue de A.
A uma condio suficiente para B; basta A para B.
B uma condio necessria para A.
Condicional
B A
A se e somente se B.
A uma condio necessria e suficiente para B.
Bicondicional
(equivalncia)
B A
No A
falso que A...
No verdade que A...
Negao
' A

Negao de proposies compostas.

Proposio Negao Correta Negao Incorreta
Vai chover amanh.
falso que v chover amanh.
No vai chover amanh.

Pedro alto e magro.
falso que Pedro seja alto e magro.
Pedro no alto ou no magro.
Pedro baixo ou gordo.
Pedro baixo e gordo.
Esta proposio muito forte.
Pedro no tem ambas as propriedades
(ser alto e ser magro) mas ainda pode ter uma
delas.
O rio raso ou est poludo.
falso que o rio seja raso ou esteja poludo.
O rio no raso nem est poludo.
O rio fundo e no est poludo.
O rio no raso ou no est poludo.
Esta uma proposio muita fraca.
O rio no ter nenhuma das duas propriedades, no
deixa de ter apenas uma delas.

Uma cadeia que forma uma expresso vlida denominada uma frmula bem formulada ou fbf.

Ordem de precedncia dos conectivos lgicos. 1. Para conectivos dentro de parnteses, efetua-se as expresses dentro dos
parnteses mais internos. 2. ~ 3. , 4. 5. .

Em uma fbf com diversos conectivos, o ltimo a ser aplicado o conectivo principal.

Exemplo: Fazer a tabela-verdade para a fbf )' ( ' B A B A .




Tabela Verdade:

A B ' B ' B A B A )' ( B A )' ( ' B A B A
V V F V V F F
V F V V V F F
F V F F V F V
F F V V F V V



Conectivo principal


3
Tabela-verdade para 3 letras de proposio.


Definio. Uma fbf que assume apenas o valor V denominada uma tautologia. Uma tautologia intrinsecamente verdadeira
pela sua prpria estrutura; ela verdadeira independentemente dos valores lgicos atribudos s suas letras de proposio.

Exemplo: Hoje vai ter sol ou hoje no vai ter sol.

Definio. Uma fbf cujo valor lgico sempre F denominada uma contradio. Uma contradio intrinsecamente falsa pela
sua prpria estrutura.

Exemplo: Hoje tera-feira e hoje no tera-feira.

Sejam P e Q duas fbfs e suponha que a fbf Q P seja uma tautologia. Se fizermos uma tabela-verdade usando as letras de
proposio P e Q, ento os valores lgicos de P e de Q seriam sempre iguais em todas as linhas da tabela. Neste caso, dizemos que P
e Q so fbfs equivalentes; denotamos essa propriedade por Q P . Assim, Q P enuncia um fato, a saber, que a fbf particular
Q P uma tautologia.

Algumas equivalncias tautolgicas.

1a. A B B A 1b. A B B A (comutatividade)
2a. ) ( ) ( C B A C B A 2b. ) ( ) ( C B A C B A (associatividade)
3a. ) ( ) ( ) ( C A B A C B A 3b. ) ( ) ( ) ( C A B A C B A (distributividade)
4a. A A ) 0 ( 4b. A A ) 1 ( (elementos neutros)
5a. 1 ' A A 5b. 0 ' A A (complementares)

Observao: representamos qualquer contradio por 0 e qualquer tautologia por 1.

As equivalncias na lista esto agrupadas em cinco pares, em cada par, uma equivalncia pode ser obtida da outra substituindo
por , por , 0 por 1 e 1 por 0 . Cada equivalncia em um dos pares a dual da outra.

Leis de De Morgan. ' ' )' ( B A B A e ' ' )' ( B A B A .

Exerccios:

1. Quais das frases a seguir so proposies?

a) A lua feita de queijo verde. b) Ele , certamente, um homem alto. c) Dois um nmero primo.
d) O jogo vai acabar logo? e) Os juros vo subir ano que vem. f) Os juros vo descer ano que vem.
g) 0 4
2
= x . h) Existem formas de vida em outros planetas do universo.



4
2. Determine o valor lgico (V ou F) em cada uma das seguintes proposies:

a) O nmero 17 primo. b) Fortaleza capital do Maranho. c)
2 2 2
5 3 ) 5 3 ( + = +
d) Se 1 0 < ento 2 irracional. e) Roma capital da Frana ou 1 45 =
o
tg . f) 20 2 1
2
< > .
g) falso que 5 3 2 = + e 3 1 1 = + . h) O produto de dois nmeros mpares um nmero mpar.

3. Sejam C B A , , e D as seguintes proposies: A: O bandido francs; B : O heri americano; C : A herona inglesa e D:
O filme bom. Escreva as proposies compostas a seguir em notao simblica.

a) O heri americano e o filme bom. b) Se o filme bom, ento o heri americano ou a herona inglesa.
c) Embora o bandido seja francs, o filme bom. d) Uma herona inglesa uma condio necessria para o filme ser bom.
e) O heri no americano, mas o bandido francs.

4. Construa a tabela-verdade para as fbfs a seguir:

a) ) ( ) ( A B B A b) ) ' ( ) ' ( B B A A c) ) ' ' ( ) ( A B B A
d) ]' ' ) ' [( C B A e) )] ( ) [( ) ( C B C A B A

5. Sabendo que os valores lgicos das proposies C B A , , e D so respectivamente V, V, F e F, determinar o valor lgico de
cada uma das seguintes proposies:

a) ) ' ' ( ) ( C A C A b) ' ' )' ( B A B A c) ' ' )' ( D A D A d) ))' ( ) (( C D D A

6. Qual o valor lgico de cada uma das proposies a seguir?

a) 8 par ou 6 mpar. b) 8 par e 6 mpar. c) 8 mpar ou 6 mpar.
d) 8 mpar e 6 mpar. e) Se 8 for mpar, ento 6 mpar. f) Se 8 for par, ento 6 mpar
g) Se 8 for mpar, ento 6 par. h) Se 8 for mpar e 6 for par, ento 8 < 6.

7. Escreva a negao de cada fbf a seguir:

a) Se a comida boa, ento o servio excelente. b) Ou a comida boa, ou o servio excelente.
c) Ou a comida boa e o servio excelente, ou ento est caro. d) Nem a comida boa, nem o servio excelente.
e) Se caro, ento a comida boa e o servio excelente.

8. (TRT) Considere que as letras R Q P , , e S representem proposies e que os smbolos , e so operadores lgicos que
constroem novas proposies e significam no, e e ou respectivamente. Na lgica proposicional, cada proposio assume um
nico valor (valor-verdade) que pode ser verdadeiro (V) ou falso (F), mas nunca ambos. Consideremos que R Q P , , e S so
proposies verdadeiras, julgue os itens seguintes.

a) Q P verdadeira. b) )] ( ) [( S R Q P verdadeira.
c) )]) ( ) [( ( )] ( [ S P Q R S Q P verdadeira. d) )) ( ( )) ( ( R Q S P verdadeira.

Respostas:

1. a), c), e), f) e h) 2. a) V b) F c) F d) V e) V f) V g) V h) V
3. a) D B b) D A c) ) ( C B D d) A B ' e) B D
4. a) V,F,F,V (contingncia) b) F,F,F,F (contradio) c) V,V,V,V (tautologia)
d) F,F,V,F,F,F,F,F (contingncia) e) V,V,V,V,V,V,V,V (tautologia)
5. a) V b) V c) F d) V 6. a) V b) F c) F d) F e) V f) F g) V h) V
7. a) A comida boa, mas o servio ruim. b) A comida ruim e o servio tambm.
c) A comida ruim ou o servio ruim, e est barato. d) Ou a comida boa ou o servio excelente.
e) caro, mas a comida ruim ou o servio ruim. 8. a) V b) F c) F d) V


5
Quantificadores lgicos. Existem sentenas onde o valor lgico no est bem definido e varia para cada sujeito. Assim, estas
afirmaes no so proposies e sim funes proposicionais (ou sentenas abertas). Os quantificadores servem para especificar
informaes sobre variveis em funes proposies, transformando-as assim em proposies.

Exemplos: 0 < x ; 9 6 = + x ; 0
2
x ; 10 2 8 + x .

Quantificador universal. O quantificador universal traduz a idia de abrangncia de uma proposio a todo um conjunto. O
quantificador universal denotado pelo smbolo e lido como para todo, todo, para qualquer, qualquer, qualquer que seja.
Considerando uma funo proposicional qualquer ) (x p e um conjunto qualquer A, temos a proposio )) ( )( ( x p A x .

Exemplos: 0 , < x Z x ; 9 6 , = + x N x ; 0 ,
2
x R x ; 10 2 8 , + x N x .

Quantificador existencial. O quantificador existencial traduz a idia de existncia de condies para a validade de uma proposio
em um conjunto. O quantificador existencial denotado pelo smbolo e lido como existe, existe pelo menos um. Considerando
uma funo proposicional qualquer ) (x p e um conjunto qualquer A, temos a proposio )) ( )( ( x p A x .

Exemplos: 0 , < x Z x ; 9 6 , = + x N x ; 0 ,
2
< x R x ; 10 2 8 , + x N x .

Quantificador existencial estrito. O quantificador existencial estrito uma variao do quantificador existencial. Indica a
existncia de apenas um elemento capaz de tornar a proposio verdadeira. O quantificador existencial estrito denotado pelo
smbolo ! e tem o significado de existe apenas um, existe somente um, existe um s, existe um nico. Considerando uma
funo proposicional qualquer ) (x p e um conjunto qualquer A, temos a proposio )) ( )( ! ( x p A x .

Exemplos: 0 , ! < x Z x ; 9 6 , ! = + x N x ; 0 , !
2
x R x ; 10 2 8 , ! + x N x .

Observao: O conjunto A dito o domnio de ) (x p , e o conjunto de todos os elementos de A para os quais ) (a p verdadeira
chamado conjunto verdade de ) (x p .

Exemplos:

*
} 0 , : {

= < Z x Z x x ; } 3 { } 9 6 , : { = = + x N x x ; R x R x x = } 0 , : {
2
; } 1 { } 10 2 8 , : { = + N x N x x .

Negao de declaraes com quantificadores.

Teorema (De Morgan)

a) ) ( ) ( ) ( ) ( x p A x x p A x .
b) ) ( ) ( ) ( ) ( x p A x x p A x .

Resumo de negaes das proposies.














6
Exerccios:

1. Seja { } 5 , 4 , 3 , 2 , 1 = A . Determine o valor lgico de cada uma das declaraes seguintes:

a) ( )( ) 10 3 = + x A x b) ( )( ) 10 3 < + x A x c) ( )( ) 5 3 < + x A x d) ( )( ) 7 3 + x A x

2. Negue cada uma das declaraes no exerccio anterior.

3. Determine o valor lgico de cada uma das declaraes seguintes, onde { } 3 , 2 , 1 = U o conjunto universo:
a) ; 1 ,
2
+ < y x y x b) ; 12 ,
2 2
< + y x y x c) . 12 ,
2 2
< + y x y x

4. Seja { } 10 , 9 ,..., 2 , 1 = A . Considere cada uma das sentenas seguintes. Se for uma declarao, determine seu valor lgico. Se for
uma funo proposicional, determine seu conjunto verdade.

a) ( )( )( ) 14 < + y x A y A x b) ( )( ) 14 < + y x A y
c) ( )( )( ) 14 < + y x A y A x d) ( )( ) 14 < + y x A y

5. Sabendo que o domnio consiste em inteiros, ) (x O x mpar, ) (x L 10 < x e ) (x G 9 > x , qual o valor-verdade
de cada uma das proposies abaixo?

a) ( ) ) (x O x b) ( )( ) ) ( ) ( x O x L x c) ( )( ) ) ( ) ( x G x L x d) ( )( ) ) ( ) ( x G x L x

6. Sabendo que o domnio consiste nos nmeros inteiros, qual o valor-verdade de cada uma das proposies abaixo?

a) ( )( )( ) x y x y x = + b) ( )( )( ) x y x x y = + c) ( )( )( ) 0 = + y x y x
d) ( )( )( ) 0 = + y x x y e) ( )( )( ) x y y x y x < < f) ( )( )( ) y x y x =
2


7. Considere o conjunto dos nmeros reais. Determine o valor-verdade de cada uma das seguintes proposies:

a) ) )( ( x x x = b) ) ( ) (
2
x x x = c) ) 0 )( ( = x x d) ) 2 ( ) ( x x x = + e) ( ) x x x > + 1 ) (
f) ) ( ) (
2
x x x = g) ) 2 ( ) ( x x x = h) ) 2 3 ( ) (
2
= + x x x i) ) 2 5 ( ) (
2
x x x = + j) ( ) x x x x 5 3 2 ) ( = +

8. Sabendo que as proposies 0 = x e y x = so verdadeiras e que as proposies z y = e t y = so falsas, determine o valor-
verdade de cada uma das seguintes proposies:

a) z y y x x = = 0 b) z y t y x = = 0 c) t y z y y x =
d) z y y x x 0 e) ) ( 0 t y y x x =

9. Dizer que a afirmao todos os economistas so mdicos falsa, do ponto de vista lgico, equivale a dizer que a seguinte
afirmao verdadeira:

a) pelo menos um economista no mdico. b) nenhum economista mdico. c) nenhum mdico economista.
d) pelo menos um mdico no economista. e) todos os no mdicos so no economistas.

Respostas:

1. a) F b) V c) V d) F 3. a) V b) V c) F 4. a) V b) {1, 2, 3} c) F d) A
5. a) V b) F c) F d) V 6. a) V b) V c) V d) F e) F f) V
7. a) F b) V c) V d) F e) V f) F g) V h) V i) F j) V
8. a) V b) V c) F d) V e) V 9. a



7
2. TCNICAS DE DEMONSTRAO

Com frequncia, precisamos mostrar que determinadas afirmaes so verdadeiras em um contexto. At que se prove, a afirmao
uma conjectura. Se provada, a afirmao um teorema. A saber:

Um teorema uma proposio que garantida por uma prova.
Um axioma uma proposio que se assume como verdadeira e que no precisa de prova.
Uma conjectura uma proposio que ainda no foi provada e nem refutada.

Resumo das principais tcnicas de demonstrao.

Tcnica de demonstrao
Abordagem para provar Q P
Observaes
Demonstrao por Exausto
Demonstre Q P para todos os casos
possveis.
Usada apenas para demonstrar um
nmero finito de casos.
Demonstrao Direta
Suponha P , deduza Q.
Abordagem padro, o que se deve
tentar, em geral.
Demonstrao por Contraposio
Suponha ' Q , deduza ' P . Use esta tcnica quando ' Q parecer
dar mais munio que P .
Demonstrao por Absurdo
Suponha ' Q P , deduza uma contradio. Use esta tcnica quando Q disser
alguma coisa que no verdade.

Exerccios:

1. Prove que se 100 , 25 = n ou 169, ento n um quadrado perfeito e a soma de dois quadrados perfeitos.
2. Prove que se n um inteiro par, 12 4 n , ento n a soma de dois nmeros primos.
3. Fornea uma demonstrao direta de que a soma de inteiros pares par.
4. Prove por contradio que a soma de inteiros pares par.
5. Prove que a soma de dois inteiros mpares par.
6. Prove que o produto de quaisquer dois inteiros consecutivos par.
7. Prove que para qualquer inteiro n , o nmero
2 2
2 ) 3 2 ( 3 n n n + + um quadrado perfeito.
8. Prove que se 0 3 2
2
= + x x , ento x diferente de 2 .
9. Prove que se dois inteiros so ambos divisveis por um inteiro n , ento a sua soma divisvel por n .
10. Prove que o quadrado de um inteiro mpar pode ser escrito como 1 8 + k para algum inteiro k .
11. Prove que a diferena de dois cubos consecutivos mpar.
12. Prove que a soma de quadrados de dois inteiros mpares no pode ser um quadrado perfeito (use o exerccio 9).
13. Prove que o produto dos quadrados de dois inteiros um quadrado perfeito.
14. Verifique se as sentenas abaixo so verdadeiras ou falsas.

a) O produto de quaisquer trs inteiros consecutivos par. b) A soma de quaisquer trs inteiros consecutivos par.
c) O produto de um inteiro pelo seu quadrado par. d) A soma de um inteiro com o seu cubo par.
e) O produto de dois nmeros irracionais irracional. f) A soma de dois nmeros racionais racional.

3. INDUO MATEMTICA

Primeiro princpio da induo matemtica.

1 1. ) 1 ( P verdade. (passo bsico)
2. ] verdade ) 1 ( verdade ) ( [ ) ( + k P k P k (passo indutivo)

) (n P verdadeiro para todo inteiro.
positivo .


8
Exemplos:
1. Prove que
2
) 1 2 ( 5 3 1 n n = + + + + L .

a) ) 1 ( P verdadeira, pois
2
1 1 = .
b) Suponha que ) (k P seja verdadeira, ou seja,
2
) 1 2 ( 5 3 1 k k = + + + + L . Mostraremos que ) 1 ( + k P verdadeira.

)] 1 ) 1 ( 2 [ 3 1 + + + + k L = ] 1 ) 1 ( 2 [ ) 1 2 ( 3 1 + + + + + k k L = ] 1 ) 1 [( 2
2
+ + k k = 1 2
2
+ + k k =
2
) 1 ( + k .
Portanto, )] 1 ) 1 ( 2 [ 5 3 1 + + + + + k L =
2
) 1 ( + k , o que mostra a validade de ) 1 ( + k P , provando assim que
2
) 1 2 ( 5 3 1 n n = + + + + L verdadeira 1 n .

2. Prove que 1 ,
2
) 1 (
3 2 1
+
= + + + + n
n n
n L (verifique!).
3. Prove que 1 , 0 , 1 ,
1
1
1
1
2

= + + + +
+
a a n
a
a
a a a
n
n
L (verifique!).

Contraexemplos:

Verifique que as proposies abaixo so falsas.

1. 1 ,
2
) 2 )( 1 (
3 2 1
+
= + + + + n
n n
n L . 2. 0 , 41 ) (
2
+ + = n n n n P um nmero primo.

Exerccios:

Nos exerccios de 1 a 12, use induo matemtica para provar que as proposies dadas abaixo so verdadeiras 1 n .

1.
2
2 ) 2 4 ( 10 6 2 n n = + + + + L 2. ) 1 ( 2 6 4 2 + = + + + + n n n L
3. ) 1 2 ( ) 3 4 ( 9 5 1 = + + + + n n n L 4.
6
) 2 )( 1 (
2
) 1 (
6 3 1
+ +
=
+
+ + + +
n n n n n
L
5. ) 1 3 ( ) 2 6 ( 16 10 4 + = + + + + n n n L 6.
2
) 1 ( 5
5 15 10 5
+
= + + + +
n n
n L
7.
6
) 1 2 )( 1 (
2 1
2 2 2
+ +
= + + +
n n n
n L 8.
4
) 1 (
2 1
2 2
3 3 3
+
= + + +
n n
n L
9.
3
) 1 2 )( 1 2 (
) 1 2 ( 3 1
2 2 2
+
= + + +
n n n
n L 10. 1 3 3 . 2 18 6 2
1
= + + + +
n n
L
11.
1 3 ) 1 3 )( 2 3 (
1
10 7
1
7 4
1
4 1
1
+
=
+
+ +

+
n
n
n n
L 12. 1 )! 1 ( ! ! 3 3 ! 2 2 ! 1 1 + = + + + + n n n L

14. Prove que n n 2
3
+ divisvel por 3, 1 n . 15. Prove que 7 3
2
+
n
divisvel por 1 , 8 n .
16. Prove que 1 2
3

n
divisvel por 1 , 7 n . 17. Prove que n n
3
divisvel por 3, 1 n .
18. Prove que 5 4 . 3 10
2
+ +
+ n n
divisvel por 1 , 9 n . 19. Prove que 1 9
n
divisvel por 1 , 8 n .




9
Exerccios Complementares:

1. Se for verdade que "Alguns A so R" e que "Nenhum G R", ento necessariamente verdadeiro que:

a) algum G A. b) algum A G. c) nenhum A G. d) algum A no G. e) nenhum G A.

2. Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo B C. Segue-se, portanto, necessariamente que:

a) todo C B. b) todo C A. c) algum A C. d) nada que no seja C A. e) algum A no C.

3. Se "Alguns profissionais so administradores" e "Todos os administradores so pessoas competentes", ento, necessariamente,
com as proposies apresentadas, pode-se inferir:

a) Nenhum profissional no competente. b) Toda pessoa competente administradora.
c) Todo administrador profissional. d) Nenhuma pessoa competente profissional.
e) Algum profissional uma pessoa competente.

4. Todos os alunos de matemtica so, tambm, alunos de ingls, mas nenhum aluno de ingls aluno de histria. Todos os alunos
de portugus so tambm alunos de informtica, e alguns alunos de informtica so tambm alunos de histria. Como nenhum aluno
de informtica aluno de ingls, e como nenhum aluno de portugus aluno de histria, ento:

a) pelo menos um aluno de portugus aluno de ingls. b) pelo menos um aluno de matemtica aluno de histria.
c) nenhum aluno de portugus aluno de matemtica. d) todos os alunos de informtica so alunos de matemtica.
e) todos os alunos de informtica so alunos de portugus.

5. Em uma comunidade, todo trabalhador responsvel. Todo artista, se no for filsofo, ou trabalhador ou poeta. Ora, no h
filsofo e no h poeta que no seja responsvel. Portanto, tem-se que, necessariamente:

a) todo responsvel artista. b) todo artista responsvel. c) todo responsvel filsofo ou poeta.
d) algum filsofo poeta. e) algum trabalhador filsofo.

6. (ESAF) Maria magra ou Bernardo barrigudo. Se Lcia linda, ento Csar no careca. Se Bernardo barrigudo, ento Csar
careca. Ora, Lcia linda. Logo:

a) Maria magra e Bernardo no barrigudo b) Bernardo barrigudo ou Csar careca c) Csar careca e Maria magra
d) Maria no magra e Bernardo barrigudo e) Lcia linda e Csar careca

7. (ESAF) As seguintes afirmaes, todas elas verdadeiras, foram feitas sobre a ordem de chegada dos convidados a uma festa:

1. Gustavo chegou antes de Alberto e depois de Danilo.
2. Gustavo chegou antes de Beto e Beto chegou antes de Alberto se e somente se Alberto chegou depois de Danilo.
3. Carlos no chegou junto com Beto se e somente se Alberto chegou junto com Gustavo.

Logo,

a) Carlos chegou antes de Alberto e depois de Danilo b) Gustavo chegou junto com Carlos
c) Alberto chegou junto com Carlos e depois de Beto d) Alberto chegou depois de Beto e junto com Gustavo
e) Beto chegou antes de Alberto e junto com Danilo

8. Use o mtodo de induo matemtica para provar que a sucesso dos nmeros triangulares cuja definio por recorrncia dada
por

> + =
=

1 n para ,
1
1
1
n t t
t
n n
tem o seguinte termo geral
2
2
n n
t
n
+
= .


Respostas:

1. d 2. c 3. e 4. c 5. b 6. a 7. a



10
4. TEORIA DOS CONJUNTOS

Conjunto uma lista, coleo ou classe de objetos bem definidos.

Exemplos:
a) Os nmeros 1, 3, 7 e 10. b) As solues reais da equao 0 5 3
2
= + x x .
c) As vogais do alfabeto. d) Os nmeros mpares 1, 3, 5, 7,...

Notaes:
Conjuntos so em geral designados por letras maisculas: K , , , C B A
O conjunto vazio representado das seguintes formas } { ou .
Se x um elemento de A, dizemos que x pertence a A e escrevemos A x , caso contrrio, escrevemos A x .

Exemplos anteriores reescritos:

a) { } 10 , 7 , 3 , 1 = A b) { } = = + = 0 5 3 /
2
x x R x B c) { } u o i e a C , , , , = d) { } mpar / x R x D =

Princpio da extenso. Dois conjuntos, A e B , so iguais se e somente se possuem os mesmos elementos.

Subconjunto. Se todo elemento de um conjunto A tambm um elemento de um conjunto B , diz-se que A subconjunto de B .
Tambm dizemos que A est contido em B ou que B contm A.

Notao: B A ou B A (subconjunto prprio, ou seja, B A e B A ).

Teorema. Sejam B A, e C conjuntos quaisquer. So vlidas as seguintes afirmaes:

(i) Para todo conjunto A, temos U A (conjunto universo).
(ii) Para todo conjunto A, A A .
(iii) Se B A e C B , ento C A .
(iv) B A = se, e somente se, B A e A B .

Conjuntos de conjuntos. Para um conjunto S , podemos formar um novo conjunto cujos elementos so os subconjuntos de S .
Esse novo conjunto chamado o conjunto das partes de S e denotado por ) (S .

Exemplos:

a) } 1 , 0 { = S e { } } 1 , 0 { }, 1 { }, 0 { , ) ( = S ;
b) } , , { c b a S = e { } S c b c a b a c b a S }, , { }, , { }, , { }, { }, { }, { , ) ( = .

Observao: Se S tem n elementos, ento ) (S tem
n
2 elementos. Vale para 0 = n ?

Operao binria ) (o uma operao binria em um conjunto S se, para todo par ordenado ) , ( y x de elementos de S , y x o
existe, nico e pertence a S .

Operao unria ) ( uma operao unria em um conjunto S se, para todo S x ,

x existe, nico e pertence a S .

Diagrama de Venn uma representao pictrica na qual os conjuntos so representados por reas
delimitadas por uma curva no plano.



11
Operaes entre conjuntos.

Dado um conjunto arbitrrio S , podemos definir algumas operaes binrias e unrias no conjunto ) (S . O conjunto S , neste
caso, chamado de conjunto universo. O conjunto universo define o contexto dos objetos em discusso.


Unio de conjuntos

Sejam ) ( , S B A . A unio de A e B , denotada por B A , dada por { } B x A x x ou / .


Interseo de conjuntos

Sejam ) ( , S B A . A interseo de A e B , denotada por B A , dada por { } B x A x x e / .


Complemento de um conjunto

Seja ) (S A . O complemento de A, ' A dado por { } A x S x x e / .


Diferena de conjuntos

Sejam ) ( , S B A . A diferena de A e B , denotada por B A , dada por { } B x A x x e / .


Produto cartesiano

Seja ) ( , S B A . O produto cartesiano de A e B , denotado por B A , dado por { } B A x y x y e / ) , ( .


Exemplo: Sejam { } 3 , 2 , 1 = A , { } d c b a B , , , = , { } e a C , , 3 , 2 = e { } e d c b a U , , , , , 3 , 2 , 1 = . Ento:

o { } e a C A , , 3 , 2 , 1 =
o { } a C B =
o { } d c b C , , , 1 ' =
o { } e a A C , =
o { } ), 3 , ( ), 2 , ( ), 1 , ( ), 3 , ( ), 2 , ( ), 1 , ( ), 3 , ( ), 2 , ( ), 1 , ( ), 3 , ( ), 2 , ( ), 1 , ( d d d c c c b b b a a a A B =

Identidades bsicas envolvendo conjuntos.

1a. A B B A = 1b. A B B A = (comutatividade)
2a. ) ( ) ( C B A C B A = 2b. ) ( ) ( C B A C B A = (associatividade)
3a. ) ( ) ( ) ( C A B A C B A = 3b. ) ( ) ( ) ( C A B A C B A = (distributividade)
4a. A A = 4b. A S A = (elementos neutros)
5a. S A A = ' 5b. = ' A A (complementares)

Propriedade de De Morgan. Sejam A e B dois conjuntos quaisquer. Ento ' ' )' ( B A B A = e ' ' )' ( B A B A = .

Parties. Seja S um conjunto no vazio. Uma partio de S uma subdiviso de S em conjuntos no vazios disjuntos.


12

Exemplo: Seja { } 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 = S .

a) [ ] } 9 , 8 , 4 { }, 6 , 2 { }, 5 , 3 , 1 {
1
= P no partio de S .
b) [ ] } 9 , 7 , 5 { }, 8 , 6 , 4 , 2 { }, 5 , 3 , 1 {
2
= P no partio de S .
c) [ ] } 9 , 7 { }, 8 , 6 , 4 , 2 { }, 5 , 3 , 1 {
3
= P uma partio de S .

Conjuntos contveis e no contveis.

Exemplos de conjuntos contveis (ou enumerveis):

a) { } 10 , 5 , 3 , 2 , 1 b) { } ,... 5 , 4 , 3 , 2 , 1 , 0 = N c) } 0 e , , com , ; { = = n n m
n
m
x x Q Z

Exemplos de conjuntos no contveis (ou no enumerveis):

a) R b) ] 1 , 0 [ c) conjunto dos nmeros irracionais

Exerccios:

1. Seja { } } 20 , 16 , 12 , 10 { , 5 e / = = B x N x x A , )} 2 e )( /( { y x N y y x C = = e R D = . Quais proposies
so verdadeiras?

a) C B b) D A B c) C A d) C 26 e) { } A 13 , 12 , 11
f) { } C 13 , 12 , 11 g) B } 12 { h) B } 12 { i) D A 5 j) B } {
k) A l) D }} 2 {{ m) { } D e log , , 2 n) { } B x N x x < 20 e /

2. Dada uma descrio do conjunto A como { } , 8 , 4 , 2 K = A , voc acha que A 16 ?

3. Seja { } } , { , }, { 3 1 2 A = , encontre ) ( A .

4. Encontre ) (S , sendo { } } { , , 1 = S .

5. Quais das seguintes operaes no so binrias nem unrias nos conjuntos dados? Por que no?

a)
*
; N S y x y x = = o b)
*
;
+
= = Q S y x y x o c) R S x y x
y
= = ; o
d) R S y x mx y x = = ); , ( o e)
+
= = R S x x ; f) Z S x x = =

;
g) Z S y x y x = = ; o h) N S y x y x = = ; o i) N S
x
x
x =

= ;
5 , 0
5 , 1
*

j) R S x x = =

; ln k) N S x y x = + = ; 1 o l) N S y x y x = + = ; 1 o

6. Trace o diagrama de Venn para os conjuntos no vazios C B A , , de tal maneira que C B A , , tenham as seguintes
propriedades:

a) = C A B C B A , , b) C A B C B A , ,
c) C B C B B A C A , , , d) B C C B C B A , ), (


13
7. Sejam { } 10 , 5 , 3 , 2 , 1 = A , { } 9 , 8 , 7 , 4 , 2 = B , { } 10 , 8 , 5 = C e { } 2 , 1 = D subconjuntos de
{ } 10 , 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 = S . Encontre:

a) B A b) C A c) )' ( B A d) ) ( ' C A B e) D C
f) C D g)
2
D h) ' S i) S D C B A

8. Determine os conjuntos A, B e C que satisfazem as seguintes condies:

{ } p q r s t u v x z C B A , , , , , , , , = , { } s r B A , = , { } x s C B , = ,
{ } x v u t s r q p C A , , , , , , , = , { } z x t s r q p B A , , , , , , = , { } t s A C , = .

9. Sendo a e b nmeros reais quaisquer, os nmeros possveis de elementos do conjunto { } } , { }, { }, { , , b a b a b a A = so:

a) 2 ou 5 b) 3 ou 6 c) 1 ou 5 d) 2 ou 6 e) 4 ou 5

10. Considere os seguintes dados sobre 120 estudantes universitrios no que diz respeito aos idiomas francs, alemo e russo: 65
estudam francs, 45 estudam alemo, 42 estudam russo, 20 estudam francs e alemo, 25 estudam francs e russo, 15 estudam
alemo e russo e 8 estudam os trs idiomas. Faa um diagrama de Venn com o nmero correto de estudantes em cada regio.

11. Depois de uma campanha publicitria para melhorar o nvel de conhecimento e de informao das pessoas, os 31 empregados de
uma empresa passaram a assinar os jornais CT, FT e JT, da seguinte forma:

2 empregados assinaram os 3 jornais;
3 empregados assinaram apenas os jornais CT e JT;
8 empregados assinaram apenas o jornal JT;
4 empregados assinaram os jornais CT e FT;
13 empregados assinaram o jornal JT;
16 empregados assinaram o jornal CT.

Com base nessas informaes, julgue os itens abaixo:

a) Nenhum empregado assinou apenas os jornais FT e JT.
b) 6 empregados assinaram os jornais CT e JT.
c) 3 empregados assinaram apenas os jornais CT e FT.
d) 7 empregados assinaram apenas o jornal FT.
e) 10 empregados assinaram apenas o jornal CT.

12. Seja { } }}} {{{ }}, {{ }, { , = X . Determine quais itens abaixo uma partio de X .

a) [ ] }}}} {{{ }, {{ }}, {{ }, { b) [ ] }}}} {{{{ }, }, {{ }}}, {{{
c) [ ] }}} {{ , { }}}}, {{{ }, {{ d) [ ] }}} {{ , { }}}}, {{{{ }, {

Respostas:

1. a) V b) V c) F d) V e) V f) F g) F h) V i) F j) F k) V l) F m) V n) V
5. So operaes binrias e unrias os itens b, d, e, f, k.
7. a) { } 9 , 8 , 7 , 5 , 4 , 3 , 2 , 1 b) { } 3 , 2 , 1 c) { } 10 , 9 , 8 , 7 , 6 , 5 , 4 , 3 , 1 d) { } 10 , 5 , 3 , 1
e) { } ) 2 , 10 ( ), 2 , 8 ( ), 2 , 5 ( ), 1 , 10 ( ), 1 , 8 ( ), 1 , 5 ( f) { } ) 10 , 2 ( ), 8 , 2 ( ), 5 , 2 ( ), 10 , 1 ( ), 8 , 1 ( ), 5 , 1 ( g) { } ) 2 , 2 ( ), 1 , 2 ( ), 2 , 1 ( ), 1 , 1 (
h) i) S
9. a 11. a) certo b) errado c) errado
d) certo e) errado 12. b, c




14
5. ANLISE COMBINATRIA

A anlise combinatria o ramo da matemtica que trata de contagem. Problemas de contagem so importantes sempre que temos
recursos finitos (Quanto espao de armazenamento um determinado banco de dados usa? Quantos usurios uma determinada
configurao de computador pode suportar?) ou quando estamos interessados em eficincia (Quantos clculos so efetuados por um
determinado algoritmo?).

Princpio da multiplicao. Se existem
1
n resultados possveis para um primeiro evento e
2
n para um segundo, ento existem
2 1
n n resultados possveis para a sequncia dos dois eventos.

Exemplos:

1. De quantas maneiras podemos escolher trs funcionrios de um grupo de 25 pessoas?
2. Se um homem tem quatro ternos, oito camisas e cinco gravatas, quantas combinaes ele pode compor?
3. Quantos nmeros de 4 algarismos podemos formar utilizando, uma nica vez, os algarismos 3, 4, 5 e 7?
4. Quantos nmeros de 4 algarismos podemos formar com 3, 4, 5 e 7?
5. Quantos nmeros de 3 algarismos podemos formar com 0, 1, 2, 3, 4 e 5?

Princpio da adio. Se A e B so eventos disjuntos com
1
n e
2
n resultados possveis, respectivamente, ento o nmero total de
possibilidades para o evento A ou B
2 1
n n + .

Exemplos:

1. Para passar um final de semana na praia um paulistano dispe de 3 empresas de nibus e 2 companhias de avies. De quantos
modos o paulistano poder fazer sua viagem?
2. Se uma mulher tem sete blusas, cinco saias e nove vestidos, com quantas combinaes diferentes ela pode se vestir?
3. Quantos inteiros de trs dgitos (nmeros entre 100 e 999) so pares?
4. Suponha que os quatro ltimos dgitos de um nmero de telefone precisam incluir, pelo menos, um dgito repetido. Quantos
nmeros deste tipo existem?

Em alguns casos os princpios da multiplicao e da adio no se aplicam. Nestes casos utilizamos as chamadas rvores de deciso
como as mostrada no exemplo abaixo.

Exemplo: Tony est jogando "cara ou coroa". Cada lanamento resulta em cara (C) ou coroa (K). De quantas formas ele pode lanar
a moeda cinco vezes sem obter duas caras consecutivas?



A figura acima mostra a rvore de deciso para este problema. Cada lanamento de moeda tem duas possibilidades. O ramo
esquerda est marcado com um C para cara, e o ramo da direita com um K para coroa. Sempre que um C aparecer em um ramo, o
prximo nvel pode conter apenas um ramo para a direita (K). Existem 13 possibilidades.


15
Exemplo: Desenhe a rvore de decises para o nmero de cadeias de caracteres com s Y s X ' , ' e s Z' com tamanho 3 que no
contenham um Z imediatamente aps um Y .

Exerccios:

1. Uma loja de iogurte congelado permite escolher um sabor (baunilha, morango, limo, cereja ou pssego), um acompanhamento
(raspas de chocolate, jujuba ou castanha de caju) e uma calda (creme batido ou coco ralado). Quantas sobremesas diferentes so
possveis?

2. Comea-se um jogo de computador fazendo uma seleo em cada um dos trs menus. O primeiro menu (nmero de jogadores) tem
quatro opes, o segundo menu (nvel de dificuldade do jogo) tem oito, e o terceiro menu (velocidade) tem seis. Quantas
configuraes possveis tm o jogo?

3. Um exame de mltipla escolha tem 20 perguntas, cada uma com quatro respostas possveis, e 10 perguntas adicionais, cada uma
com cinco respostas possveis. Quantas formas diferentes de respostas so possveis?

4. Uma senha de usurio para acessar um sistema computacional consiste em trs letras seguidas de dois dgitos. Quantas senhas
diferentes existem (considere o alfabeto com 26 letras)? Caso fosse possvel distinguir entre letras maisculas e minsculas, quantas
senhas diferentes existiriam?

5. A, B, C e D so ns em uma rede de computadores. Existem dois caminhos entre A e C, dois entre B e D, trs entre A e B e quatro
entre C e D. Por quantas rotas diferentes possvel mandar uma mensagem de A para D?

6. Um palndromo uma cadeia de caracteres que lida da mesma forma normalmente ou de trs para frente. Quantos palndromos
de cinco letras so possveis na lngua portuguesa?

7. Quantos nmeros de trs dgitos menores que 600 podem ser formados usando-se os algarismos 8, 6, 4 e 2?

8. Um conectivo lgico binrio pode ser definido atravs da sua tabela-verdade. Quantos conectivos lgicos binrios existem?

9. Na linguagem de programao BASIC original, um identificador tem que ser uma nica letra simples ou uma letra seguida de um
nico dgito. Quantos identificadores possvel formar?

10. Um cliente de uma lanchonete pode pedir um hambrguer com ou sem mostarda, ketchup, picles ou cebola; pode pedir um
sanduche de atum com ou sem alface, tomate ou molho trtaro; e pode escolher entre trs tipos de refrigerantes ou dois tipos de
milk-shakes. Quantos pedidos diferentes podem ser feitos supondo que um cliente possa pedir, no mximo, um hambrguer, um
sanduche de atum e uma bebida, mas possa pedir menos coisas?

11. Qual o valor da varivel Contagem aps a execuo do pseudocdigo a seguir?

Contagem = 0
para i = 1 at 5 faa
para Letra = 'A' at 'C' faa
Contagem := Contagem + 1
fim do para
fim do para

12. Qual o valor da varivel Resultado aps a execuo do pseudocdigo a seguir?

Resultado = 0;
para ndice = 20 diminuindo at 10 faa
para Interno = 5 at 10 faa
Resultado = Resultado + 2
fim do para
fim do para

13. Com algarismos mpares, quantos nmeros de 4 algarismos distintos, maiores que 5319 podemos escrever?



16
14. Uma determinada votao feita com cada pessoa colocando um pedao de papel verde, amarelo ou preto em um chapu. Os
papis so retirados um a um, e a primeira cor que recebe dois votos ganha. Desenhe uma rvore de deciso para encontrar o nmero
de maneiras em que se pode desenvolver essa votao.

15. Desenhe uma rvore de deciso (use os times A e B) para encontrar o nmero de maneiras em que as partidas da NBA podem
ocorrer, onde o vencedor o primeiro time a vencer 4 entre 7 partidas.

Respostas:

1. 30 2. 192 3. 4
20
5
10
4. 1.757.600; 14.060.800 5. 14 6. 17.576
7. 32 8. 16 9. 286 10. 917 11. 15 12. 132 13. 64
14.










Fatorial. Definimos fatorial de ) ( N n n pela relao: 1 . 2 )... 2 )( 1 ( ! = n n n n , para 2 n ; 1 ! 1 = ; 1 ! 0 = .

Exemplo: Resolva as equaes abaixo.

a)
30
)! 1 (
! ) 1 (
+
=
n
n b) 21
)! 2 ( ! 2
!
=
n
n
c) n
n
n n
7
)! 1 (
! ) 1 (
=

+
d) )! 2 ( 12 ! = n n

Permutao. o tipo de agrupamento sem repetio em que entram todos os elementos em cada grupo. Um agrupamento ser
diferente do outro em funo da ordem dos seus elementos.
! ) , ( n n n P =

Arranjo simples. o tipo de agrupamento sem repetio em que um grupo diferente do outro pela ordem ou pela natureza dos
elementos componentes.
r n
r n
n
r n P

= ,
)! (
!
) , (
Exemplos:

1. Com relao palavra TEORIA:
a) Quantos anagramas existem? b) Quantos anagramas comeam com a letra T?
c) Quantos anagramas comeam com T e terminam com A? d) Quantos anagramas comeam por vogal?
e) Quantos anagramas tm as vogais juntas?

2. Quantos anagramas de trs letras podem ser formados a partir das letras da palavra COMPILAR se nenhuma letra pode ser
repetida?
3. Dez atletas competem em um evento olmpico. So dadas medalhas de ouro, prata e bronze. De quantas maneiras podem ser dadas
as medalhas?
4. De quantas maneiras pode-se selecionar um presidente e um vice-presidente dentre um grupo de 20 pessoas?
5. De quantas maneiras seis pessoas podem se sentar em uma fileira de seis cadeiras?
6. Um professor de Matemtica comprou dois livros para premiar dois alunos de uma classe de 42 alunos. Como so dois livros
diferentes, de quantos modos distintos pode ocorrer premiao?
a) 861 b) 1722 c) 1764 d) 3444 e) 242





17
Permutao com repetio.
! ... ! !
!
2 1
..., , ,
2 1
k
n n n
n
n n n
n
P
k
=
Exemplos:

1. Quantas permutaes distintas podem ser feitas com os caracteres que formam a palavra RADAR?
2. Quantas permutaes distintas podem ser feitas com os caracteres que formam a palavra MISSISSIPI?
3. Quantas permutaes distintas existem dos caracteres na palavra INCONSTITUCIONALISMO?

4. Quantos anagramas da palavra RICARDO apresentam:
a) as vogais juntas, na ordem alfabtica? b) as vogais juntas, em qualquer ordem?

5. Um fundo de investimento disponibiliza nmeros inteiros de cotas aos interessados nessa aplicao financeira. No primeiro dia de
negociao desse fundo, verifica-se que 5 investidores compraram cotas, e que foi vendido um total de 9 cotas. Em tais condies, o
nmero de maneiras diferentes de alocao das 9 cotas entre os 5 investidores igual a:
a) 56. b) 70. c) 86. d) 120. e) 126.

6. (ITA) O nmero de solues inteiras, maiores ou iguais a zero, da equao 5 = + + + w z y x :
a) 36 b) 48 c) 52 d) 54 e) 56

Combinao simples. o tipo de agrupamento sem repetio em que um grupo diferente de outro apenas pela natureza dos
elementos componentes.
r n
r n r
n
r n C

= ,
)! ( !
!
) , (
Outras notaes:
n
r
C e
|
|

\
|
r
n
.
Exemplos:

1. De quantas maneiras possvel escolher uma comisso de 3 pessoas em um grupo de 12?
2. Quantos comits de 5 pessoas com um determinado chefe pode ser selecionado entre 12 pessoas?

3. Uma comisso de 8 alunos deve ser escolhida em um grupo contendo 19 alunos do primeiro ano e 34 alunos do segundo ano.
a) De quantas maneiras possvel selecionar 3 alunos do primeiro ano e 5 do segundo?
b) De quantas maneiras possvel selecionar uma comisso contendo exatamente 1 aluno do primeiro ano?
c) De quantas maneiras possvel selecionar uma comisso contendo no mximo 1 aluno do primeiro ano?
d) De quantas maneiras possvel selecionar uma comisso contendo pelo menos 1 aluno do primeiro ano?

4. So dados seis pontos distintos em uma circunferncia. Quantos polgonos convexos (tringulos, quadrilteros, pentgonos,
hexgonos) existem com vrtices nestes pontos?

5. Na loteria de nmeros (loto) so sorteados 5 nmeros entre os naturais 0, 1, 2, 3, ..., 99.
a) Quantos so os resultados possveis para cada sorteio?
b) Quantos so os resultados possveis formados por trs nmeros pares e dois mpares?
c) Quantos so os resultados possveis com pelo menos quatro nmeros pares?

Combinao com repetio.
)! 1 ( !
! ) 1 (
) , 1 (

+
= +
n r
r n
r r n C
Exemplos:

1. Uma pastelaria vende pastis de carne, queijo e palmito. De quantas formas uma pessoa pode comer 5 pastis?

2. No dia de Cosme e Damio so distribudas 10 mas idnticas para 7 crianas.
a) De quantas maneiras isto pode ser feito?
b) De quantas maneiras isto pode ser feito se cada criana recebe pelo menos uma ma?


18
Exerccios:

1. Os 14 times locais de futebol jnior esto listados no jornal. Quantas listas so possveis?

2. Quantas permutaes das letras na palavra COMPUTAR existem? Quantas delas terminam com uma vogal?

3. Quantas permutaes diferentes dos caracteres na palavra ERRO existem?

4. De quantas maneiras seis pessoas podem se sentar em um crculo formado por seis cadeiras? (Podem-se distinguir apenas posies
relativas no crculo)

5. De quantas maneiras diferentes voc pode sentar 11 homens e 8 mulheres em uma fila?

6. De quantas maneiras diferentes voc pode sentar 11 homens e 8 mulheres em uma fila se os homens sentam todos juntos e as
mulheres tambm?

7. O controle de qualidade quer verificar 25 processadores dos 300 produzidos por dia. De quantas maneiras isto pode ser feito?

8. De quantas maneiras pode-se selecionar um jri de 5 homens e 7 mulheres em um conjunto de 17 homens e 23 mulheres?


Nos Exerccios 9 a 12, uma anfitri deseja convidar 6 pessoas para jantar de uma lista de 14 amigos.

9. De quantas maneiras ela pode escolher seus convidados?
10. De quantas maneiras ela pode escolher seus convidados se seis de seus amigos so maantes, seis so interessantes e ela quer
convidar pelo menos um de cada tipo?
11. De quantas maneiras ela pode escolher seus convidados se dois de seus amigos no gostam um do outro e, se um deles vier o
outro no vem?
12. De quantas maneiras ela pode escolher seus convidados, se dois de seus amigos gostam muito um do outro e um deles no vem
sem o outro?

13. Quantas permutaes distintas podem ser formadas com as letras da palavra HAVAIANO? Quantas delas comeam com H?

14. Uma livraria tem uma prateleira onde esto expostos cinco, trs e quatro exemplares, respectivamente, dos trs livros mais
vendidos. Quantos arranjos diferentes desses livros podem ser feitos se livros com mesmo ttulo no so distinguveis?

15. O Grupo X usa palavras de cdigo secretas que so permutaes de cinco caracteres. Voc descobre que existem apenas 10
palavras de cdigo. O que voc pode dizer sobre caracteres repetidos nas palavras cdigo?

16. Em um jantar para cinco pessoas prepara-se uma bandeja com cinco pratos contendo as entradas. As entradas podem ser
mariscos, bolinhos de bacalhau ou bolinhas de queijo. Quantas bandejas diferentes podem ser produzidas?

17. Um florista tem rosas, cravos, lrios e margaridas em estoque. Quantos buqus diferentes de uma dzia de flores podem ser
feitos?

18. De quantos modos podemos formar uma sucesso de trs nmeros naturais ) , , ( c b a no necessariamente distintos, cuja soma
igual a 10.

Respostas:

1. ! 14 2. ! 7 . 3 , ! 8 3.12 4. ! 5 5. ! 19
6. ! 2 ! 8 ! 11 7. ) 25 , 300 ( C 8. ) 7 , 23 ( ). 5 , 17 ( C C 9. ) 6 , 14 ( C
10. ) 6 , 8 ( . 2 ) 6 , 14 ( C C 11. ) 6 , 12 ( ) 5 , 12 ( . 2 C C + 12. ) 6 , 12 ( ) 4 , 12 ( C C +
13. a)
! 3
! 8
b)
! 3
! 7
14.
! 3 ! 4 ! 5
! 12
15. 10 16. ) 5 , 7 ( C
17. ) 12 , 15 ( C 18. 66


19
6. RELAES E FUNES

Definio. Dado o conjunto S , uma relao binria em S , um subconjunto de S S .

Exemplo: Seja } 2 , 1 { = S . Ento )} 2 , 2 ( ), 1 , 2 ( ), 2 , 1 ( ), 1 , 1 {( = S S . Seja a relao em S definida por y x se, e somente
se, y x + mpar. Encontre a relao .

Definio. Dados os conjuntos S e T , uma relao binria de S para T um subconjunto de T S .

Exemplos:

1. Sejam } 2 , 1 { = S e } 4 , 3 , 2 { = T . Uma relao em )} 4 , 2 ( ), 3 , 2 ( ), 2 , 2 ( ), 4 , 1 ( ), 3 , 1 ( ), 2 , 1 {( = T S pode ser definida por
y x se, e somente se, y x
2
1
= . Encontre a relao .

2. Sejam } 2 , 1 { = S e } 4 , 3 , 2 { = T . Seja uma relao em T S definida por y x y x + for par. Encontre a relao .

3. Se } 5 , 3 , 2 , 1 , 0 , 1 , 2 { = S e } 4 , 3 , 2 , 1 ,
2
1
,
3
1
{ = T , quais pares abaixo pertencem relao em T S definida por
x
y y x um nmero inteiro?

) 2 / 1 , 5 ( ), 1 , 1 ( ), 2 , 1 ( ), 2 / 1 , 2 ( ), 4 , 0 ( ), 0 , 0 ( ), 3 / 1 , 1 ( ), 1 , 5 ( ), 4 , 2 ( ), 3 , 3 ( ), 3 , 2 ( ), 2 , 0 ( ), 2 , 1 (

Se uma relao binria em T S , ento consiste em um conjunto de pares ordenados da forma ) , ( t s . Dada uma primeira
componente s ou uma segunda componente t , podem ser formados diversos pares pertencentes relao. A relao um para um
se cada primeira componente e cada segunda componente aparece apenas uma vez na relao. A relao um para muitos se
alguma primeira componente aparece mais de uma vez, isto , se um s pode aparecer em mais de um par. Ela dita muitos para
um se alguma segunda componente t aparece em mais de um par. Finalmente, ela dita muitos para muitos se pelo menos um s
aparece em mais de um par e pelo menos um t aparece em mais de um par. A Figura a seguir ilustra essas quatro possibilidades.
Note que nem todos os valores de S e T precisam ser componentes de algum par ordenado de .





20
Exemplos:

1. As relaes binrias abaixo so definidas em N . Quais entre os pares ordenados pertencem a ?

a) ) 2 , 3 ( ), 3 , 3 ( ), 3 , 2 ( ), 2 , 2 ( ; 1 + = y x y x b) ) 6 , 2 ( ), 5 , 2 ( ), 4 , 2 ( ; divide y x y x
c) ) 6 , 5 ( ), 5 , 4 ( ), 4 , 3 ( ), 3 , 2 ( ; mpar x y x d) ) 3 , 4 ( ), 4 , 6 ( ), 2 , 5 ( ), 1 , 2 ( ), 2 , 1 ( ;
2
y x y x >
e) ) 4 , 4 ( ), 3 , 3 ( ), 5 , 2 ( ), 3 , 1 ( ; 7 < + y x y x f) ) 3 , 5 ( ), 3 , 6 ( ), 2 , 4 ( ), 2 , 0 ( ; 2 + = y x y x
g) ) 3 , 1 ( ), 1 , 3 ( ), 2 , 2 ( ), 0 , 5 ( ; 10 3 2 = + y x y x h) ) 9 , 3 ( ), 2 , 4 ( ), 1 , 1 ( ; perfeito quadrado um y y x

2. Identifique cada uma das relaes em } 9 , 7 , 5 , 2 { = S como sendo um para um, um para muitos, muitos para um ou muitos para
muitos.

a) )} 2 , 9 ( ), 5 , 7 ( ), 2 , 5 {( b) )} 2 , 7 ( ), 7 , 5 ( ), 5 , 2 {( c) )} 7 , 2 ( ), 9 , 9 ( ), 5 , 2 ( ), 9 , 7 {( d) )} 9 , 2 ( ), 7 , 2 ( ), 5 , 2 ( ), 2 , 2 {(

Definio. Seja uma relao binria em um conjunto S . Ento:

ser reflexiva se ) ) , ( )( ( x x S x x ;
ser simtrica se ) ) , ( ) , ( , )( )( ( x y y x S y x y x ;
ser transitiva se ) ) , ( ) , ( ) , ( , , )( )( )( ( z x z y y x S z y x z y x ;
ser antissimtrica se ) ) , ( ) , ( , )( )( ( y x x y y x S y x y x = .

Definio. Uma relao binria em S reflexiva, simtrica e transitiva chamada de uma relao de equivalncia em S .

Definio. Uma relao binria em S reflexiva, antissimtrica e transitiva chamada de uma ordem parcial em S .

Exemplos:

1. Seja { } 3 , 2 , 1 = S .
a) Se uma relao em S reflexiva, quais pares ordenados devem pertencer a ?
b) Se uma relao em S simtrica, quais pares ordenados devem pertencer a ?
c) Se uma relao em S simtrica e se ) , ( b a , ento que outro par ordenado tem que pertencer a ?
d) Se uma relao em S antissimtrica e se ) , ( b a e ) , ( a b pertencem a , o que tem que ser verdade?
e) A relao )} 2 , 1 {( = em S transitiva?

2. Classifique as relaes binrias definidas conjuntos abaixo em reflexivas, simtricas, antissimtricas e/ou transitivas se possvel.
Alguma relao abaixo relao de equivalncia ou ordem parcial?

a) par , y x y x N S + = ;
b) y x y x N S divide , = ;
c) y x y x y x S com coincide ou a paralela , plano do retas as todas de conjunto = ;
d)
2
, y x y x N S = = ;
e)
2
}, 1 , 0 { y x y x S = = ;
f) y x y x x x S que velho mais , Bahia} na mora que pessoa uma / { = ;
g) y x y x x x S que fileira mesma na senta , sala} sua da aluno um / { = ;
h) )} 1 , 2 ( ), 2 , 1 ( ), 3 , 3 ( ), 2 , 2 ( ), 1 , 1 {( , 1,2,3} { = = S .




21
3. Verifique se as relaes binrias nos conjuntos abaixo so reflexivas, simtricas, antissimtricas e transitivas:

a) N S y x y x = , b) ) ( , N S B A B A =

Definio. Uma relao binria

em um conjunto S o fecho de uma relao em S em relao propriedade P se:

tem a propriedade P ;

um subconjunto de qualquer outra relao em S que inclui e tem a propriedade P .

Exemplo: Encontre os fechos reflexivo, simtrico e transitivo da relao em } , , , { d c b a S = dada por
)} , ( ), , ( ), , ( ), , ( ), , ( ), , ( ), , ( ), , {( a d a c d b d a c a c c b b a a = .

Definio. Sejam S e T conjuntos. Uma funo (aplicao) f de S em T , T S f : , um subconjunto de T S tal que
cada elemento de S aparece exatamente uma vez como a primeira componente de um par ordenado. S o domnio e T o
contradomnio da funo. Se ) , ( t s pertence funo, ento denotamos t por ) (s f ; t a imagem de s por f . Para
) ( , A f S A denota } ); ( { A a a f .



Definio. Uma funo T S f : dita sobrejetora se sua imagem igual o seu contradomnio.

Definio. Uma funo T S f : injetora se nenhum elemento de T imagem, por f , de dois elementos distintos de S .

Definio. Uma funo T S f : bijetora se , ao mesmo tempo, injetora e sobrejetora.

Definio. Sejam T S f : e U T g : . A funo composta f g o a funo de S em U definida por
)) ( ( ) )( ( s f g s f g = o .

Definio. Seja f uma funo T S f : . Se existir uma funo S T g : tal que
S
i f g = o e
T
i g f = o , ento g
chamada a funo inversa de f , denotada por
1
f .

Teorema sobre bijees e funes inversas. Seja T S f : . Ento f uma bijeo, se, e somente se,
1
f existe.

Exerccios:

1. Diga se cada uma das relaes em S a seguir um para um, um para muitos, muitos para um ou muitos para muitos.

a) 1 , + = = y x y x N S ; b) y x y x S de filha Xarpolis, em mulheres as Todas = ;
c) ) ( ) ( }), 3 , 2 , 1 ({ B n A n B A S = = ; d) 5 , = = x y x R S .


22
2. Sejam e duas relaes binrias em N definidas por y x y x divide e y x y x 5 . Quais dos pares
ordenados satisfazem as relaes correspondentes?

a) ; ) 0 , 0 ( ), 1 , 2 ( ), 17 , 3 ( ), 6 , 2 ( b) ; ) 12 , 2 ( ), 2 , 1 ( ), 6 , 3 (

c) ' ; ) 15 , 3 ( ), 8 , 2 ( ), 5 , 1 ( c) ' ; ) 8 , 4 ( ), 10 , 2 ( ), 1 , 1 (

3. Sejam } 6 , 4 , 2 , 1 , 0 { = S . Teste se as relaes binrias em S dadas a seguir so reflexivas, simtricas, antissimtricas ou
transitivas.

a) )} 6 , 4 ( ), 4 , 2 ( ), 2 , 1 ( ), 1 , 0 ( ), 6 , 6 ( ), 4 , 4 ( ), 2 , 2 ( ), 1 , 1 ( ), 0 , 0 {( =
b) )} 4 , 6 ( ), 6 , 4 ( ), 2 , 4 ( ), 4 , 2 ( ), 0 , 1 ( ), 1 , 0 {( =
c) )} 2 , 2 ( ), 1 , 1 ( ), 0 , 0 ( ), 0 , 1 ( ), 1 , 2 ( ), 0 , 2 ( ), 2 , 0 ( ), 2 , 1 ( ), 1 , 0 {( =
d) )} 4 , 6 ( ), 6 , 4 ( ), 6 , 6 ( ), 4 , 4 ( ), 2 , 2 ( ), 1 , 1 ( ), 0 , 0 {( =
e) =

4. Encontre os fechos reflexivo, simtrico e transitivo de cada uma das relaes do exerccio anterior.

5. Teste se as relaes binrias em S dadas a seguir so reflexivas, simtricas, antissimtricas ou transitivas.

a) mpar , x y x N S = ;
b) S o conjunto de todas as cadeias de caracteres com comprimento finito, y x nmero de caracteres em igual ao nmero
de caracteres em y ;
c) 5 }, 5 , 4 , 3 , 2 , 1 , 0 { = + = y x y x S ;
d)
2 1 2 1 2 2 1 1
e ) , ( ) , ( , y y x x y x y x N N S = .

6. Sejam } 6 , 4 , 2 , 0 { = S e } 7 , 5 , 3 , 1 { = T . Determine se cada um dos conjuntos de pares ordenados a seguir uma funo com
domnio S e contradomnio T . Se for o caso, a funo injetora? sobrejetora?

a) )} 0 , 6 ( ), 6 , 4 ( ), 4 , 2 ( ), 2 , 0 {( b) )} 5 , 4 ( ), 3 , 0 ( ), 1 , 2 ( ), 3 , 6 {( c) )} 5 , 6 ( ), 1 , 0 ( ), 7 , 4 ( ), 3 , 2 {(

d) )} 3 , 6 ( ), 5 , 4 ( ), 1 , 2 {( e) )} 5 , 2 ( ), 7 , 0 ( ), 1 , 4 ( ), 3 , 0 ( ), 1 , 6 {( f)

7. Sejam os conjuntos:
} , , , , , , { 3 9 5 2 0 2 S = , } , , , , , { f e d c b a T = e = U .
Sejam as funes:
T S f : , )} , ( ), , ( ), , ( ), , ( ), , ( ), , ( ), , {( e 3 d f 9 c 5 a 2 e 0 b 2 f = e
)} , ( ), , ( ), , ( ), , ( ), , ( ), , ( ), , {( , : 4 3 0 9 3 5
2
1
2 4 0 1 2 g U S g = .

a) Encontre a funo U T h : tal que f h g o = .
b) Classifique as funes f , g e h em injetora e sobrejetora se possvel.

8. Sejam } 4 , 3 , 2 , 1 { = S , } 6 , 5 , 4 , 3 , 2 , 1 { = T e } 10 , 9 , 8 , 7 , 6 { = U . Sejam tambm a funo f de S em T dada por
)} 6 , 4 ( ), 3 , 3 ( ), 4 , 2 ( ), 2 , 1 {( e uma funo g de T em U dada por )} 9 , 6 ( ), 8 , 5 ( ), 7 , 4 ( ), 9 , 3 ( ), 6 , 2 ( ), 7 , 1 {( . Escreva os pares
ordenados da funo f g o .



23
9. Seja f uma funo que leva cadeias de caracteres alfabticos e espaos em branco em cadeias de consoantes, f remove todas as
vogais e espaos em branco de cada cadeia. Suponha que g leva uma cadeia no nmero de caracteres que ela contm. Qual o valor
de ) lincoln abranham )( ( f g o ?

10. Seja P o conjunto das partes de } , { b a e seja S o conjunto de todas as cadeias binrias de comprimento 2 . Vamos definir uma
funo S P f : da seguinte maneira: para A em P , ) ( A f tem 1 na posio do bit de maior ordem (extremidade esquerda da
cadeia) se, e somente se, a pertence a A; ) ( A f tem 1 na posio do bit de menor ordem (extremidade direita da cadeia) se, e
somente se, b pertence a A. f injetora? f sobrejetora?

11. Sejam os conjuntos:

} 20 , 5 , 2 , 0 , 1 , 2 , { = S , } 6 , 5 , 4 , 3 , 2 , 1 { = T , } , , , , { 1 4 2 1
2
1
U = .

Sejam as relaes:

)} 2 , 2 ( ), 5 , 5 ( ), 6 , 2 ( ), 4 , 1 ( ), 1 , 0 ( ), 2 , {( , : = T S ,
)} , ( ), , ( ), , ( ), , ( ), , ( ), , {( , : 4 3 1 2 1 5
2
1
6 1 4 2 1 U T = ,
)} 5 , 2 ( ), 0 , 1 ( ), 20 , 5 ( ), 1 , 1 ( ), 1 , 0 ( ), 20 , 2 ( ), 2 , 0 ( ), 2 , 2 ( ), , {( , : = S S .

Sejam as funes:

)} 4 , 20 ( ), 3 , 5 ( ), 2 , 2 ( ), 6 , 0 ( ), 5 , 1 ( ), 4 , 2 ( ), 1 , {( , : = f T S f ,
)} 2 , 5 ( ),
2
1
, 3 ( ), 1 , 6 ( ), 1 , 4 ( ),
2
1
, 2 ( ), 1 , 1 {( , : = g U T g .

a) Classifique as relaes acima em um para um, um para muitos, muitos para um ou muitos para muitos.
b) Quais relaes acima funo? Se for o caso, a funo injetora? sobrejetora?
c) Encontre o fecho reflexivo, o fecho simtrico e o fecho transitivo da relao .
d) Encontre f g o .

Respostas:

1. a) um para um b) um para um ou muitos para um c) muitos para muitos d) um para muitos
2. a) ) 0 , 0 ( ), 17 , 3 ( ), 6 , 2 ( b) ) 12 , 2 ( c) Nenhum d) ) 8 , 4 ( ), 1 , 1 (
3. a) R, A b) S c) S, T d) R, S, T e) S, A, T 5. a) T b) R, S, T c) S d) R, A, T
6. a) No b) Sim, no injetora/no sobrejetora c) Sim, injetora/sobrejetora d) No
e) No f) No 8. )} 9 , 4 ( ), 9 , 3 ( ), 7 , 2 ( ), 6 , 1 {( 9. 9 10. Injetora e sobrejetora

7. REFERNCIAS BIBLIOGRFICAS

GERSTING, J. L. Fundamentos Matemticos para a Cincia da Computao. 5 ed. LTC, So Paulo, 2004.

LIPSCHUTZ, S.; LIPSON, M. Matemtica Discreta. 2 ed. Bookman, So Paulo, 2004.

LIPSCHUTZ, S. Teoria dos Conjuntos. McGraw-Hill Ltda. So Paulo, 1972.


A melhor maneira de nos prepararmos para o futuro concentrar toda a imaginao
e entusiasmo na execuo perfeita do trabalho de hoje. Dale Carnegie.