Você está na página 1de 81

FACULDADE DE TECNOLOGIA DE BAURU - FATEC

Rua Manoel Bento Cruz, 3-30 Centro - Bauru, SP CEP 17015-171 Fone: (14) 3223-2083





























Cursos:
Tecnologia em Banco de Dados
Tecnologia em Redes de Computadores
1 Semestre


Matemtica Discreta
(MMD001)
Fatec Bauru 2

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
ndice
ndice ......................................................................................................................... 2
Introduo ................................................................................................................ 5
O que Matemtica Discreta? .....................................................................................5
Introduo Lgica .................................................................................................... 6
Introduo .............................................................................................................6
Conceito de Proposio .............................................................................................6
Valores Lgicos das Proposies .................................................................................7
Proposies simples e proposies compostas .................................................................7
Conectivos lgicos ....................................................................................................8
Operaes Lgicas sobre Proposies ............................................................................ 9
Introduo .............................................................................................................9
Negao ................................................................................................................9
Conjuno .............................................................................................................9
Disjuno ............................................................................................................ 10
Disjuno exclusiva ............................................................................................... 10
Condicional/implicao ........................................................................................... 11
Bicondicional ........................................................................................................ 12
Valor Lgico de uma proposio composta ................................................................... 13
Exerccios.....................................................................................................................................14
Tabelas-Verdade ........................................................................................................ 16
Introduo ........................................................................................................... 16
Construo da Tabela-Verdade de uma proposio composta ........................................... 16
Exerccios.....................................................................................................................................17
Tautologias, Contradies e Contingncias ................................................................... 19
Definies ............................................................................................................ 19
Exerccios.....................................................................................................................................20
Equivalncia lgica .................................................................................................... 21
Exerccios.....................................................................................................................................21
lgebra das Matrizes .................................................................................................. 23
Introduo ........................................................................................................... 23
Definio ............................................................................................................. 23
Representao de uma matriz .................................................................................. 24
Igualdade de Matrizes ............................................................................................ 24
Matrizes Especiais ................................................................................................. 24
Exerccios.....................................................................................................................................25
Operaes Matriciais.................................................................................................. 26
Adio de Matrizes ................................................................................................ 26
Subtrao de Matrizes ............................................................................................ 26
Multiplicao de Matriz por escalar (n) ....................................................................... 26
Multiplicao de Matrizes ........................................................................................ 27
Matriz Inversa ...................................................................................................... 28
Matriz Booleana .................................................................................................... 28
3 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Exerccios.....................................................................................................................................29
Teoria dos Conjuntos ................................................................................................. 32
Introduo ........................................................................................................... 32
Alguns conjuntos importantes ................................................................................... 33
Relao de pertinncia: elemento x conjunto ................................................................. 34
Subconjuntos ........................................................................................................ 34
Igualdade de conjuntos ........................................................................................... 35
Partes de um conjunto ............................................................................................ 36
Exerccios.....................................................................................................................................37
Exerccios Complementares......................................................................................................39
Diagrama de Venn-Euller ............................................................................................ 41
Introduo ........................................................................................................... 41
Diagrama de Venn-Euller ........................................................................................ 41
Exerccios.....................................................................................................................................42
Operaes entre Conjuntos ......................................................................................... 44
Introduo ........................................................................................................... 44
Diferena ............................................................................................................. 44
Interseo ............................................................................................................ 44
Unio ou reunio ................................................................................................... 45
Conjunto Complementar .......................................................................................... 47
Exerccios.....................................................................................................................................47
Exerccios Complementares......................................................................................................52
Produto Cartesiano .................................................................................................... 54
Introduo ........................................................................................................... 54
Definio de Produto Cartesiano ............................................................................... 54
Exerccios.....................................................................................................................................55
Relaes e suas propriedades ...................................................................................... 56
Definio de Relao .............................................................................................. 56
Propriedades das Relaes ...................................................................................... 56
Relaes de equivalncia ......................................................................................... 57
Relaes de ordem parcial ....................................................................................... 58
Representao de Relaes usando Dgrafos ................................................................ 58
Exerccios.....................................................................................................................................59
Funo ..................................................................................................................... 61
Definies ............................................................................................................ 61
Funes injetoras, sobrejetoras e bijetoras ................................................................... 62
Exerccios.....................................................................................................................................63
Composio de Funes ............................................................................................. 65
Definio ............................................................................................................. 65
Exerccios.....................................................................................................................................66
Funo Inversa ......................................................................................................... 67
Definies ............................................................................................................ 67
Regra prtica para obteno da Inversa de uma funo: ................................................. 67
Exerccios.....................................................................................................................................68
Fatec Bauru 4

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Anlise Combinatria ................................................................................................. 69
Introduo ........................................................................................................... 69
Exerccios.....................................................................................................................................70
Reviso de Fatorial ................................................................................................ 70
Arranjos .............................................................................................................. 71
Permutaes ........................................................................................................ 72
Combinaes ........................................................................................................ 72
Exerccios.....................................................................................................................................73
Teoria dos Grafos ...................................................................................................... 76
Introduo ........................................................................................................... 76
Definies ............................................................................................................ 76
Conceitos bsicos da Teoria dos Grafos ...................................................................... 77
Exerccios.....................................................................................................................................79
Bibliografia ................................................................................................................... 81





5 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Introduo

O que Matemtica Discreta?
O ensino da Matemtica Discreta para os cursos da rea de computao e
informtica recomendado por todas as verses do Currculo de Referncia da Sociedade
Brasileira de Computao e fortemente sugerido pelas Diretrizes Curriculares para os
Cursos da rea de Computao e Informtica, da Comisso de Especialistas de Ensino
de Computao e Informtica CCEInf. Segundo estas Diretrizes: ...a Matemtica, para
a rea de computao e informtica, deve ser vista como uma ferramenta a ser usada na
definio formal de conceitos computacionais (linguagens, autmatos, mtodos etc.) ...
Considerando que a maioria dos conceitos computacionais pertencem ao domnio do
discreto, a Matemtica Discreta (ou tambm chamada lgebra Abstrata) fortemente
empregada. A Matemtica Discreta, tambm chamada matemtica finita, o estudo das
estruturas matemticas que so discretas, no sentido de no suportarem ou requererem
a noo de continuidade. Grande parte (no todos), dos objetos estudados na Matemtica
Discreta so conjuntos contveis, como exemplo o conjunto dos nmeros inteiros.
Os conceitos e notaes da Matemtica Discreta so teis para o estudo ou a
expresso de objetos ou problemas em algoritmos de computador e linguagens de
programao. Hoje, em dia, um tpico quente recente de aplicao da Matemtica
Discreta a criptografia matemtica, que baseada na teoria dos nmeros (o estudo dos
inteiros positivos 1, 2, 3,...), e largamente aplicada entre outras, em segurana de
computadores e transao bancria eletrnica.

Fatec Bauru 6

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Introduo Lgica
Introduo
A Lgica Matemtica bsica para qualquer estudo em Computao e
Informtica e, em particular, para o estudo de Matemtica Discreta. De fato, para
desenvolver qualquer algoritmo e, conseqentemente, qualquer software computacional,
so necessrios conhecimentos bsicos de Lgica.
Como poderamos definir o que Lgica? Um conceito de lgica seria:



Conceito de Proposio
O ponto inicial da Lgica o termo proposio. Por uma proposio
entendemos como sendo todo conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo. As proposies transmitem pensamentos, isto ,
afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes. Toda
proposio (ou declarao) uma representao lgica do juzo que afirma (valor lgico
verdadeiro) ou nega (valor lgico falso) a identidade representativa de dois conceitos.
Consideremos as seguintes sentenas:
(a) Rio de Janeiro a capital do Brasil
(b) Que horas so?
(c) Existe vida em outros planetas do Universo
(d) Ela muito talentosa
(e) Hoje tera-feira
A sentena (a) uma proposio, j que falsa. A sentena (b) no pode ser
considerada falsa ou verdadeira, pois uma pergunta. Ela no tem valor verdadeiro nem
falso e, portanto, no uma proposio. A sentena (c) uma proposio, j que falsa
ou verdadeira (mesmo sem sermos capazes de decidir qual das alternativas vlida). A
sentena (d) no falsa nem verdadeira, pois ela no est especificada; por isso, (d) no
uma proposio. A sentena (e) no uma proposio, apenas uma sentena aberta
que depende da varivel hoje.
Lgica: conjunto de leis, princpios ou mtodos que determinam um
raciocnio coerente, induzindo a uma soluo prtica e eficaz do
problema.
7 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
A Lgica Matemtica adota como regras fundamentais do pensamento os dois
seguintes princpios (ou axiomas):
(1) PRINCPIO DA NO CONTRADIO: uma proposio no pode ser verdadeira
e falsa ao mesmo tempo;
(2) PRINCPIO DO TERCEIRO EXCLUDO: toda a proposio ou verdadeira ou
falsa, isto , verifica-se sempre um destes casos e nunca uma terceira opo;
Por virtude deste princpio diz-se que a Lgica Matemtica uma lgica
bivalente.

Valores Lgicos das Proposies
Chama-se valor lgico de uma proposio a VERDADE (V) se a proposio
verdadeira e a FALSIDADE (F) se a proposio falsa. Os valores lgicos VERDADE e
FALSIDADE de uma proposio designam-se abreviadamente pelas letras V e F,
respectivamente.
Assim, o que os princpios da no contradio e do terceiro excludo afirmam
que:
TODA PROPOSIO TEM UM, E UM S, DOS VALORES: (V) ou (F)

Consideremos, por exemplo, as proposies:
(a) A Lua satlite natural de Jpiter (Falsa)
(b) Dois um nmero inteiro (Verdadeira)
(c) O nmero 5 par (Falsa)
(d) No Brasil fala-se portugus (Verdadeira)

Proposies simples e proposies compostas
As proposies podem ser classificas em simples ou atmicas e compostas ou
moleculares.
Proposies simples ou atmicas: so aquelas que no contm nenhuma outra
proposio como parte integrante de si mesma. Por exemplo:
p: Joo Pedro esbelto
q: O nmero 16 quadrado perfeito
Fatec Bauru 8

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
r: Vincius estuda na FATEC Bauru
t: Joo Pedro feliz

Proposies compostas ou moleculares: aquelas que so formadas pela
combinao de duas ou mais proposies. Por exemplo:
P(p, r): Joo Pedro esbelto e Vincius estuda na FATEC Bauru.
Q(q, p): O nmero 16 quadrado perfeito ou Joo Pedro esbelto.
R(p,t): Se Joo Pedro esbelto, ento feliz.

NOTA (1): as proposies simples so geralmente designadas por letras latinas
minsculas e as proposies compostas so habitualmente designadas por letras latinas
maisculas;
NOTA (2): Quando interessa destacar ou explicitar que uma proposio
composta P formada pela combinao das proposies simples p, q, r, ... , escrevemos
P(p, q, r, ...).

Conectivos lgicos
Conectivo tudo aquilo que estabelece uma conexo, isto , que une uma coisa a
outra. Na lgica, o conectivo um termo ou smbolo dele, que relaciona proposies de
modo tal que a verdade ou falsidade da afirmao resultante determinada pela verdade
ou falsidade dos seus componentes. De maneira geral, chamam-se conectivos lgicos as
palavras que usamos para formar novas proposies a partir de outras. So conectivos
usuais em Lgica Matemtica as palavras:
e, ou, no, se ... ento, ... se e somente se ...
Exemplos:
P: Windows um sistema operacional e Java uma linguagem de programao
Q: Linux um software livre ou Excel uma planilha eletrnica
R: No est nevando hoje
S: Se Joo Pedro fez Anlise de Sistemas, ento ele sabe programar
T: O tringulo ABC retngulo se e somente se tiver um ngulo reto
9 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Operaes Lgicas sobre Proposies

Introduo
Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies,
chamadas de operaes lgicas. Estas operaes obedecem a certas regras de um
clculo, denominado de clculo proposicional, semelhante ao da aritmtica sobre
nmeros. Vejamos quais so estas operaes lgicas.
Negao
Chama-se negao de uma proposio p a proposio representada por no p
(~p), cujo valor lgico a VERDADE (V) quando p falsa e a FALSIDADE (F) quando p
verdadeira. Assim, no p tem o valor lgico oposto daquele de p:
p ~p
V F
F V
Exemplos: p: 2 + 3 = 5 (V) ~p: 2 + 3 = 5 (F)
q: 7 < 3 (F) ~q: 7 > 3 (V)
r: Roma capital da Frana (F) ~r: Roma no capital da Frana (V)
s: Algum homem vaidoso (V) ~s: Nenhum homem vaidoso (F)

Conjuno
Chama-se conjuno de duas proposies p e q a proposio representada por p
e q (p . q), cujo valor lgico a VERDADE (V) quando as proposies p e q so ambas
verdadeiras e a FALSIDADE (F) nos demais casos. Atravs de uma tabela, temos:
p q p . q
V V V
V F F
F V F
F F F
Fatec Bauru 10

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exemplos: r: O enxofre verde (F)
s: 7 um nmero primo (V)
r . s: O enxofre verde e 7 um nmero primo (F)
Disjuno
Chama-se disjuno de duas proposies p e q a proposio representada por p
ou q (p v q), cujo valor lgico a VERDADE (V) quando ao menos uma das proposies
p e q verdadeira e a FALSIDADE (F) quando as proposies p e q so ambas falsas.
Atravs de uma tabela temos:
p q p v q
V V V
V F V
F V V
F F F

Exemplos: p: Paris a capital da Frana (V)
q: 10 3 = 8 (F)
p v q: Paris a capital da Frana ou 10 3 = 8 (V)

Disjuno exclusiva
Na linguagem comum a palavra ou tem dois sentidos. Assim, por exemplo,
consideremos as seguintes proposies:
p: Carlos engenheiro ou dentista q: Marisa alagoana ou gacha
As subproposies de p podem ser ambas verdadeiras, portanto, podemos afirmar
que este ou INCLUSIVO. Assim sendo, a proposio p uma disjuno inclusiva ou
apenas disjuno das proposies originais. J a proposio q pode ter somente uma das
duas subproposies verdadeira, portanto, podemos afirmar que este ou
EXCLUSIVO. Assim sendo, a proposio q uma disjuno exclusiva.
Simbolicamente, a disjuno exclusiva entre p e q representada por pv q (ou
p ou q).
11 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Atravs de uma tabela temos:
p q
p v q
V V F
V F V
F V V
F F F

Condicional/implicao
Chama-se proposio condicional uma proposio representada por se p ento q
(p q), cujo valor lgico a FALSIDADE (F) no caso em que p verdadeira e q falsa e a
VERDADE (V) nos demais casos. Atravs de uma tabela temos:
p q p q
V V V
V F F
F V V
F F V

Exemplos: p: O ms de maio tem 31 dias (V)
q: A Terra quadrada (F)
p q: Se o ms de maio tem 31 dias ento a Terra quadrada (F)

OBS (1): na condicional p q diz-se que p o antecedente e q o conseqente.
Tambm se l de uma das seguintes maneiras:
- p condio suficiente para q
- q condio necessria para p
OBS (2): a declarao O fogo uma condio necessria para a fumaa pode ser
dita de outra forma: Se houver fumaa, ento haver fogo. O antecedente h fumaa
e o conseqente h fogo.
Fatec Bauru 12

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Bicondicional
Chama-se proposio bicondicional uma proposio representada por p se e
somente se q (pq), cujo valor lgico a VERDADE (V) quando p e q so ambas
verdadeiras ou ambas falsas, e a FALSIDADE (F) nos demais casos. Atravs de uma
tabela temos:
p q p q
V V V
V F F
F V F
F F V
Exemplos: p: Roma fica na Europa (V)
q: A neve branca (V)
p q: Roma fica na Europa se e somente se a neve branca (V)

NOTA: A tabela abaixo mostra algumas expresses comuns em portugus
associadas aos seus conectivos lgicos:
Expresso em Portugus Conectivo lgico Expresso Lgica
(simblica)
no p
falso que p
no verdade que p

Negao

~ p
e; mas; tambm; alm disso Conjuno p . q
Ou Disjuno p v q
Se p ento q
p implica q
p, logo q
p s se q; p somente se q
q segue de p
p uma condio suficiente para q;
basta p para q
q uma condio necessria para p



Condicional



p q
p se e somente se q
p condio necessria e suficiente
para q
Bicondicional p q
13 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Valor Lgico de uma proposio composta
Dada uma proposio composta P(p, q, r, s, ...), pode-se sempre determinar o
valor lgico (V ou F) quando so dados ou conhecidos os valores lgicos respectivos das
proposies componentes p, q, r, r, s,... Vejamos alguns exemplos:
Exemplo (1): sabendo que os valores lgicos de p e q so respectivamente (V) ou
(F), determinar o valor lgico da proposio: P(p,q): q ~ p ~ q) (p ~ . v
Resoluo: V(P) = F ~ V ~ F) (V ~ . v :
V(P) = F V ~
V(P) = F F
V(P) = V

Exemplo (2): sendo V(p) = F e V(q) = F, determine o valor lgico (V ou F) da
proposio P(p, q): q) p (p q) (p .
Resoluo: V(P) = F) F (F F) (F . :
V(P) = F) (F V
V(P) = V V
V(P) = V

OBS: obvia a necessidade de usar parntesis na simbolizao das proposies,
que devem ser colocados para evitar ambigidade. Assim, por exemplo, a expresso
r q p v . d lugar, colocando parntesis, s duas proposies: r q) (p v . e r) q ( p v .
que so diferentes.
Por outro lado, parntesis podem ser suprimidos a fim de simplificar as
proposies, desde que no haja ambigidade. Para a supresso de parntesis, a ordem
de precedncia :
(1) ~ (2) . e v (3) (4)
Portanto, o conectivo mais fraco o ~ e o mais forte o . Assim, por exemplo, a
proposio r s q p . uma bicondicional e nunca uma condicional ou uma
conjuno. Se quisermos convert-la para uma condicional devemos usar parntesis:
r) s q ( p . , ou para convert-la para uma conjuno: r s) q (p . .

Fatec Bauru 14

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exerccios

[1] Se p, q e r so proposies VERDADEIRAS (V) e w, x e y so proposies FALSAS (F),
determine o valor lgico de cada uma das seguintes proposies:
a.) q) (p x) ~ (y w) p ( v .
b.) r)) ~ p (~ q) ((p r)) (q w (~ . . v .
c.) q))) ~ p (~ q) ((p r)) y (~ y r ((~ ~ . . . . v
d.) y) y) x ((~ y)) (p w ( v
e.) r)) ~ p (~ y) ((p p)) (y y) p (( v v . .
f.) x)) (q p) ((w y)) x) w (( y)) x ( w (( v . v

[2] Sejam as proposies simples: p: O processador do meu PC lento
q: Minha impressora rpida
Traduzir para a linguagem corrente as seguintes proposies:
a.) ~(p . ~q) b.) ~~p c.) ~(~p v ~q)
d.) p ~q e.) ~p ~q f.) ~(~q p)

[3] Sejam dadas as proposies abaixo:
p: Carla est com gripe q: Carla perdeu a prova r: Carla foi reprovada
Traduzir para a linguagem simblica as seguintes proposies:
a.) Carla est com gripe ou perdeu a prova, mas no foi reprovada.
b.) Carla est com gripe e perdeu a prova, ou no perdeu a prova e foi reprovada.
c.) falso que Carla perdeu a prova, mas que no foi reprovada.
d.) falso que Carla est com gripe ou foi reprovada, mas que no perdeu a prova.

[4] As proposies x = 0 e x = y so Verdadeiras (V) e as proposies y = w e y = t so
Falsas (F), determine ento o valor lgico de cada uma das seguintes proposies:
a.) x = 0 . x = y y = w b.) x = 0 v y = t y = w
c.) x = 0 v y = w y = t d.) x = 0 (x = y . y = t)

15 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
[5] Determinar o valor lgico (V ou F) de cada uma das seguintes proposies:
a.) 8 5 2 = + se e somente se 81 4
3
=
b.) Se 2 3 1
0
= + ento 1 3 5 =
c.) Se 8 for mpar, ento 6 par
d.)
2 2 2
5 4 3 = + t racional
e.) 1 1 = v
2 2 2
5 ) 4 3 ( = +
f.) 20 1024 < . 5 racional
g.) No verdade que 15 um nmero primo
h.) 81 3
4
= ~( 3 1 2 = + . 0 0 . 5 = )
i.) ~( 5 1 1 = + 1 3 3 = + )

[6] Escreva cada uma das proposies compostas a seguir em notao simblica usando
letras de proposio para denotar as componentes:
a.) Se os preos subirem, ento haver muitas casas para vender e elas sero caras;
mas se as casas no forem caras, ento, ainda assim, haver muitas casas para vender.
b.) Tanto ir dormir como ir nadar uma condio suficiente para a troca de roupa;
no entanto, mudar a roupa no significa que se vai nadar.
c.) Vai chover ou nevar mas no ambos.
d.) Se Antonio vencer ou perder, vai ficar cansado.
e.) Os impostos sero reduzidos se e somente se Anita ganhar as eleies e a
economia permanecer forte.








Fatec Bauru 16

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Tabelas-Verdade

Introduo
Dadas vrias proposies simples p, q, r, s,... podemos combin-las pelos
conectivos lgicos: ~, ., v, , e construir proposies compostas, tais como:
P(p, q): ~(p . ~q) Q(p, q, r): (p ~q) . (~q v p r)
Ento, com o emprego das operaes lgicas fundamentais vistas anteriormente,
possvel construir a Tabela-Verdade correspondente a qualquer proposio composta
dada, Tabela-Verdade esta que mostrar exatamente os casos em que a proposio
composta ser VERDADEIRA (V) ou FALSA (F).
O nmero de linhas da tabela-verdade de uma proposio composta depende do
nmero de proposies simples que a integram, sendo dado o seguinte teorema:

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

Construo da Tabela-Verdade de uma proposio composta
Construindo a Tabela-Verdade para a proposio P(p,q): ~(p . ~q), teremos:
p q ~q p . ~q ~(p . ~q)
V V F F V
V F V V F
F V F F V
F F V F V

Simbolicamente temos: P(VV) = V
P(VF) = F
P(FV) = V
P(FF) = V
17 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Os valores lgicos da proposio composta dada correspondentes a todas as
possveis atribuies dos valores lgicos (V) e (F) s proposio simples componentes p e
q so V, F, V, V, isto :
P(VV, VF, FV, FF) = VFVV

Exerccios
[1] Construa a Tabela-Verdade para cada uma das proposies compostas abaixo:
(a) P(p, q): p) (q ~ q) p ( ~ v .
(b) Q(p, q, r): r ~ q r ~ p . v
(c) R(p, q, r): r) (p r) q ( q) (p .
(d) S(p, q, r): r)) ~ (p q ( ~ r)) q (~ (p v . v
(e) T(p, q): q) p q (p ~ v .
(f) P(p, q, r): r q r p ~ v .
(g) Q(p, q, r): r) ~ q p (~ r) q p ( v v .
(h) R(p, q, r): r) (p q) p ( r) (q p v . v . v

[2] Determinar P(VFV) em cada um dos seguintes casos:
(a) P(p, q, r): r) q ( p . v
(b) P(p, q, r): q) ~ r p (~ r)) ~ q ( (p v . v
(c) P(p, q, r): q) r (~ p ~ r) p ( . v

[3] Sabendo que as proposies p e q so Verdadeiras (V) e que as proposies r e s so
Falsas (F), determinar o valor lgico de cada uma das seguintes proposies:
(a) P(p, q, r, s): p) ~ (s s) r ( ~ q v .
(b) Q(p, q, r, s): s) (p r) (q v . v
(c) S(p, q, r, s): q) (p r) (s
(d) T(p, q, r, s): q)) (s p) ((r ~ .
Fatec Bauru 18

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[4] Trs alunos cursam aulas de Ingls na Escola SPEAK ALL e eles so suspeitos de
no pagarem suas matrculas. A professora responsvel pelo curso entrevistou os trs
alunos, para cobrar a matrcula, e obteve os seguintes depoimentos:
JOS: Marcelo no pagou e Viviane pagou
MARCELO: Se Jos no pagou, Viviane tambm no pagou
VIVIANE: Eu paguei, mas pelo menos um dos outros no pagou
Pede-se:
(a) exprimir simbolicamente os depoimentos
(b) identificar os pagantes e os no pagantes e os mentirosos, supondo que todos
pagaram as matrculas

[5] Considere a afirmao P: A ou B, onde A e B, por sua vez, so as seguintes
afirmaes:
A: Carlos dentista
B: Se Enio economista, ento Juca arquiteto
Ora, sabe-se que a afirmao P falsa. Logo, podemos afirmar que:
( ) Carlos no dentista; Enio no economista; Juca no arquiteto
( ) Carlos no dentista; Enio economista; Juca no arquiteto
( ) Carlos no dentista; Enio economista; Juca arquiteto
( ) Carlos dentista; Enio no economista; Juca no arquiteto
( ) Carlos dentista; Enio economista; Juca no arquiteto














19 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Tautologias, Contradies e
Contingncias
Definies

Definio 1: chama-se tautologia toda a proposio composta que for verdadeira, ou
seja, se for verdadeira para todas as combinaes possveis de valores de sentenas
variveis. As tautologias tambm so denominadas proposies tautolgicas ou
proposies logicamente verdadeiras. imediato que as proposies p p e p p so
tautologias (Princpio de Identidade para as proposies).
Exemplo (1): a proposio q) (p ~ p . v tautolgica. Veja sua Tabela Verdade:
p q p . q ~(p . q) p v ~(p . q)
V V V F V
V F F V V
F V F V V
F F F V V


Definio 2: chama-se contradio toda proposio composta que for falsa, ou seja, se
for falsa para todas as combinaes possveis de valores de sentenas variveis.
Como uma tautologia sempre (V), a negao de uma tautologia resulta em uma
contradio e, vice-versa. As contradies tambm so chamadas de proposies
contravlidas ou proposies logicamente falsas.
Exemplo (1): a proposio q) (p ~ q) (p v . . uma contradio, veja sua Tabela Verdade:

p q p . q (p v q) ~(p v q) (p .q) . ~(p v q)
V V V V F F
V F F V F F
F V F V F F
F F F F V F
Fatec Bauru 20

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Definio 3: chama-se contingncia toda proposio composta em cuja ltima coluna da
sua Tabela Verdade figuram os valores (V) e (F) cada um pelo menos uma vez. Em outros
termos, contingncia toda proposio composta que no tautologia nem contradio.
As contingncias so tambm denominadas proposies contingentes ou proposies
indeterminadas.
Exemplo (1): a proposio p q p v uma contingncia conforme sua Tabela Verdade:

p q p v q p v q p
V V V V
V F V V
F V V F
F F F V

Exerccios

[1] Determinar quais das seguintes proposies so tautolgicas, contravlidas ou
contingentes:
(a) p q) q) ((p ~
(b) q) (p q p ~ v
(c) q) ~ (p q ~ p v
(d) q) (p q ~ p ~ v
(e) q) ~ p ( p ~ . .
(f) r) q (p q p v .





21 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Equivalncia lgica


Diz-se que uma proposio P(p, q, r, s,...) logicamente equivalente ou apenas
equivalente a uma proposio Q(p, q, r, s, s,...) se as Tabelas Verdade destas duas
proposies so idnticas. A notao utilizada : P(p, q, r, s,...) Q(p, q, r, s,...)
OBS: em particular, se as proposies P(p, q, r, s,...) e Q(p, q, r, s, ...) so ambas
tautologias ou so ambas contradies, ento so equivalentes.
Exemplo (1): Vejamos as Tabelas Verdades das proposies: q p p . e q p
p q p . q p p . q p q
V V V V V
V F F F F
F V F V V
F F F V V
so iguais
Podemos afirmar que:
q p p . e q p so equivalentes, ou seja: q p q p p .
Propriedades da Equivalncia Lgica:
1. Reflexiva: P(p, q, r, s,...) P(p, q, r, s,...)
2. Simtrica: se P(p, q, r, s,...) Q(p, q, r, s,...) ento Q(p, q, r, s,...) P(p, q, r, s,...)
3. Transitiva: se P(p, q, r, s,...) Q(p, q, r, s,...) e
Q(p, q, r, s,...) S(p, q, r, s,...) ento
P(p, q, r, s,...) S(p, q, r, s,...)

Exerccios
[1] Demonstre por tabelas-verdade se as seguintes proposies so equivalentes:
(a) r q) (p e q ~ r ~ p .
(b) r) (p q) (p v e r q p v
Fatec Bauru 22

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[2] Mostre que as sentenas abaixo so equivalentes, escrevendo cada uma delas
simbolicamente e construindo uma tabela-verdade:
. Se Paulo for ao treino, ento ele iniciar o jogo
. Paulo no vai ao treino ou ele inicia o jogo

[3] Mostre que as duas sentenas abaixo so logicamente equivalentes:
p) q (~ q) (p v . e q p

[4] Verifique se as proposies abaixo so logicamente equivalentes:
(a) q) (p ~ . e q ~ p ~ .
(b) q) (p ~ v e q ~ p ~ v


















23 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
lgebra das Matrizes
Introduo
Muitas vezes, para designar com clareza certas situaes, necessrio formar
um grupo ordenado de nmeros que se apresentam dispostos em linhas e colunas numa
tabela. Essas tabelas so chamadas na Matemtica de matrizes. Com o advento da
computao e a crescente necessidade de se guardar muita informao, as matrizes
adquiriram uma grande importncia. Para termos uma idia dessa importncia, basta
saber que as imagens que vemos na tela do computador uma enorme matriz, sendo
que cada valor guardado nas linhas e colunas da matriz representam pontos coloridos
mostrados na tela (pixels). Estas imagens podem ser configuradas para diversas
resolues: 600 x 860 (600 linhas e 800 colunas); ou 768 x 1024 (768 linhas e 1024
colunas).

Definio
Dados dois nmeros m e n naturais e no nulos, chama-se matriz m por n (indica-
se m x n) toda tabela M formada por nmeros reais distribudos em m linhas e n
colunas.
Assim:
(

=
8 6 - 3
4 0 1
A uma matriz com duas linhas e trs colunas.
As dimenses da matriz so o nmero de linhas e o de colunas. Aqui, A uma
matriz 2 x 3.


OBS (1): os nmeros que formam uma matriz so chamados de elementos da
matriz;
OBS (2): os elementos de uma matriz podem estar dispostos entre parntesis,
colchetes ou duas barras;
OBS (3): para dar nomes s matrizes usamos letras maisculas do nosso alfabeto:
A, B, C, D, etc; e os elementos so representados por letras minsculas acompanhadas
de um duplo ndice (indicando a posio ocupada pelo elemento na matriz).
Fatec Bauru 24

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Representao de uma matriz
mxn ij
) (a A=

(
(
(
(

=
mn m2 m1
2n 22 21
1n 12 11
a ... a a
... ... ... ...
a ... a a
a ... a a
A

Igualdade de Matrizes
Duas matrizes A e B so iguais se tm a mesma dimenso e se os seus elementos
correspondentes so iguais. Portanto, a igualdade de duas matrizes m x n equivalente
a um sistema de m.n igualdades, uma para cada par de elementos correspondentes.

Matrizes Especiais
- Matriz Linha (ou vetor linha): toda matriz do tipo 1 x n, ou seja, possui apenas
uma linha. | |
4 x 1
0 4 2 3 A =

- Matriz Coluna (ou vetor coluna): toda matriz do tipo n x 1, ou seja, possui apenas
uma coluna.
1 x 2
4
3
A
(

=

- Matriz Nula (ou matriz zero): toda matriz cujos elementos so todos iguais a zero
(
n x m
O ).
4 x 2
0 0 0 0
0 0 0 0
O
(

=

- Matriz Quadrada: matriz cujo nmero de linhas exatamente igual ao nmero de
colunas (m = n).
3 x 3
33 32 31
23 22 21
13 12 11
a a a
a a a
a a a
A
(
(
(

=
Diagonal principal (i = j)
- Matriz Identidade ) (I
n
: matriz quadrada de ordem n em que todos os elementos da
diagonal principal so iguais a um (1) e os demais elementos so iguais a zero (0).
25 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
x2 2
2
1 0
0 1
I
(

=

3 x 3
3
1 0 0
0 1 0
0 0 1
I
(
(
(

=

- Matriz Transposta: Dada uma matriz A do tipo mxn, denominamos matriz
transposta de A (
t
A ) , matriz do tipo nxm cujas colunas coincidem ordenadamente com
as linhas de A.
4 x 2
0 2 1 3
5 8 4
A
(

=
t

2 x 4
t
0
2 5
1 8
3 4
A
(
(
(
(
(

=
t

- Matriz Simtrica: matriz quadrada onde a parte triangular superior diagonal
principal uma reflexo da parte triangular inferior, ou seja,
ji ij
a a = . De maneira
genrica se
t
A A = ento ela simtrica. Por exemplo:
3 x 3
6 2 7
2 0 5
7 5 1
A
(
(
(

=

Exerccios
[1] Represente na forma tabular as seguintes matrizes:
2x3 ij
) (a A=
tal que
2 2
ij
j i a + =
) (b B
ij
=
com 1 s i s 3 e 1 s j s 3, tal que 5 - j 2 i 3 b
ij
+ =
4 x 2 ij
) (c C=
, tal que

>
= +
<
=
+
j i se ,
j
i 4
j i se j, - 3 2i
j i se , ) 1 (
c
j i
ij


[2] Encontre o valor de x, y, z e w, tal que:
(


=
(

+
+
6 6
7 4
2w z w - z
y 3 2x y x


Fatec Bauru 26

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Operaes Matriciais
Adio de Matrizes
Dadas duas matrizes de mesma dimenso, isto ,
n x m ij
) (a A= e
n x m ij
) (b B = . A
soma de A e B (escreve-se A + B) a matriz obtida pela adio dos elementos
correspondentes de A e B.
n x m ij ij
) b (a B A + = +
Exemplo:
(

2 1 4
3 5 1
+
(


1 5 0
2 8 4
=
(

3 6 4
1 13 3

OBS: na adio de matrizes valem as seguintes propriedades:
- A + B = B + A Comutativa
- A + (B + C) = (A + B) + C Associativa
- A + O = O + A = A Elemento Neutro
Subtrao de Matrizes
Dadas duas matrizes de mesma dimenso, isto ,
n x m ij
) (a A= e
n x m ij
) (b B = ,
denomina-se matriz diferena entre A e B (escreve-se A - B) a matriz obtida subtraindo-
se os elementos correspondentes de A e B.
n x m ij ij
) b (a B - A =
Exemplo:
|
|
|
.
|

\
|

1 3
5 4
0 1
-
|
|
|
.
|

\
|

5 1
0 1
2 3
=
|
|
|
.
|

\
|

4 4
5 3
2 4


OBS: na subtrao de matrizes notamos que A B = B A

Multiplicao de Matriz por escalar (n)
Dadas uma matriz
n x m ij
) (a A= e um nmero real k, denomina-se produto do real
k por A (e escreve-se k. A) a matriz obtida multiplicando-se cada um dos elementos de A
por k.
27 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
n x m ij
) k.a ( A k. =
OBS: desta operao podemos tirar que:
- (-1). B = -B oposta de B
- A B = A + (-B)

Exemplo:
|
|
|
.
|

\
|

2 3
8 4
0 1
.
2
1
=
|
|
|
|
|
|
|
|
.
|

\
|

1
2
3
4 2
0
2
1


Multiplicao de Matrizes
O produto das matrizes A e B (escreve-se A.B) no determinado por meio do
produto dos seus respectivos elementos.
Para calcular A.B, o nmero de colunas de A tem que ser igual ao nmero de
linhas de B. Assim, se
n x m ij
) (a A= e
p n x ij
) (b B= , ento o produto de A.B ser uma matriz
do tipo mxp e ser obtido da seguinte maneira: tomando-se os elementos da linha i da
matriz A e multiplicando-se cada um deles pelo seu correspondente da coluna j na
matriz B e somando-se os resultados.
Exemplo: dadas as matrizes
(

=
2 1 4
3 4 2
A
e
(
(
(

=
5 6
2 2
3 5
B

A matriz A do tipo 2 x 3 e B do tipo 3 x 2, logo o produto A.B possvel e
uma matriz 2 x 2.
(

2 1 4
3 4 2
.
(
(
(

5 6
2 2
3 5
=
(
(
(

+ + + +
+ + + +
5 . 2 2 ). 1 ( 3 . 4 6 . 2 2 ). 1 ( 5 . 4
5 . 3 2 . 4 3 . 2 6 . 3 2 . 4 5 . 2
=
(
(
(

20 30
29 36


OBS (1): no produto de duas matrizes A e B, a ordem em que os fatores aparecem
importante, pois a multiplicao de matrizes no comutativa, ou seja, A.B nem
sempre igual a B.A
Fatec Bauru 28

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Matriz Inversa
Dada uma matriz quadrada A, de ordem n, dizemos que A inversvel se existir
uma matriz quadrada B, tal que:
n
I B.A A.B = = . Neste caso, dizemos que B a inversa
de A, e denotamos por
-1
A .
Exemplo: verificar se existe a matriz inversa de
(

=
1 2
1 3
A .
Matriz Booleana
Os dgitos binrios (ou bits) so os smbolos 0 e 1. Considere as operaes
seguintes com estes dgitos:

+ 0 1 x 0 1
0 0 1 0 0 0
1 1 1 1 0 1


Entendendo esses dgitos como valores lgicos (0 representando FALSO e 1
representando VERDADEIRO), as operaes acima correspondem, respectivamente, s
operaes lgicas OU (v) e E (.), isto :
v F V . F V
F F V F F F
V V V V F V
As operaes acima em 0 e 1 so chamadas de operaes booleanas, uma vez
que tambm correspondem s operaes da lgebra Booleana (desenvolvida pelo
matemtico ingls George Boole).
Seja ) (a A
ij
= uma matriz cujos elementos so os bits 0 e 1 sujeitos s operaes
booleanas definidas acima. Ento A chamada de Matriz Booleana. Podemos definir uma
operao booleana de multiplicao A.B para matrizes booleanas usando multiplicao e
a soma booleana, ao invs de multiplicao e adio usuais.
- Multiplicao Booleana: x . y = min(x, y)
- Adio Booleana: x v y = max(x, y)
29 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Exemplo: Sejam A =
(
(
(

1 0 0
0 1 0
0 1 1
e B =
(
(
(

1 0 0
1 1 1
0 0 1
ento:
A . B =
(
(
(

1 0 0
0 1 0
0 0 1
A v B =
(
(
(

1 0 0
1 1 1
0 1 1

e o produto booleano A . B ser dado por: A . B =
(
(
(

1 0 0
1 1 1
1 1 1

Exerccios

[1] Se a matriz A for de dimenso 3x5 e a matriz B for de dimenso 5x2, ento a matriz
A.B ser de dimenso ____________________.
Seja B uma matriz de dimenso 2x3 e
2
B.A est definida, ento A uma matriz de
dimenso ___________________.

[2] Em uma pesquisa com 1000 estudantes de uma I.E.S., foram obtidas as seguintes
informaes: metade dos alunos eram estudantes de Engenharia da Computao (EC),
dos quais 60% eram homens; 300 alunos eram estudantes de Engenharia de Produo
(EP), dos quais 75% eram homens; e os estudantes restantes eram de Biologia (BIO), dos
quais 60% eram mulheres. Expresse essas informaes usando uma matriz 2x3,
rotulando as linhas como homens e mulheres e as colunas como EC, EP e BIO.

[3] Dado as seguintes matrizes: A =
(

1 - 0
1 2
, B =
(

0 2
1 1
e C =
(

3 1 -
4 1
, determine:
(a) C 3B - 2A + (b) 3B-
2
I (c) C) - B 2.(A C - 4A - + +
(d) B A
t
+ (e) ) B (A -
t t
+

Fatec Bauru 30

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[4] Sejam as matrizes:
|
|
|
.
|

\
|
=
0 3
4 2
3 1
A
,
|
|
.
|

\
|
=
2 4 1
0 5 2
B
,
|
|
|
.
|

\
|
=
3 4 3
1 3 2
2 0 1
C
e
|
|
.
|

\
|

=
4 1
2 3
D .
Determine:
(a) A.B (b) B.A (c) A.D (d) C.C
(e)
2
D (f) D.B (g) B.C

[5] Sejam as matrizes A =
|
|
|
.
|

\
|

3 4
1 2
6 1
e B =
|
|
.
|

\
|
2 1
5 3
, determine:
(a) A.B (b)
t
B.A

[6] Determine, se existir, a inversa de cada uma das seguintes matrizes:
(a) A =
(

2 0
3 1
(b) B =
(

4 2
10 5
(c) C =
(

5 4
3 2


[7] Para a fabricao de caminhes, uma indstria montadora precisa de eixos e rodas
para seus trs modelos de veculos, com a seguinte especificao:

Componentes
Modelo
A B C
Eixos 2 3 4
Rodas 4 6 8
Para os dois primeiros meses do ano, a produo da fbrica dever seguir a
tabela abaixo:
Modelos
Meses
Janeiro Fevereiro
A 30 20
B 25 18
C 20 15

Usando a multiplicao de matrizes, a quantidade de eixos e rodas, necessrios
no perodo, ser, respectivamente, de:
(a) 215 e 154 (b) 154 e 308 (c) 369 e 738
(d) 738 e 369 (e) n.d.a.

31 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
[8] Para as matrizes booleanas A =
(
(
(

1 1 0
0 1 1
0 0 1
e B =
(
(
(

1 0 1
1 0 0
1 0 1
, encontre:
(a) A v B (b) A.B (c) B . A (d) B.A (e) B v
t
A

[9] Dadas as matrizes A =
|
|
|
.
|

\
|

0 1 1
4 1 0
2 3 1
e B =
|
|
|
.
|

\
|

18 5 10
1 5 3
2 0 5
, determine X tal que:
3X + 2A = B

[10] Determine as matrizes X e Y nos seguintes casos:
(a) 2X Y =
|
|
.
|

\
|
0 2
1 0
e Y X =
|
|
.
|

\
|
1 2
1 1

(b) X + Y =
|
|
.
|

\
|
4 7
3 2
e 2X 2Y =
|
|
.
|

\
|

8 10
6 12


[11] Uma matriz simtrica quando
t
A A = . Se A=
|
|
.
|

\
|
1 3
x 2
e B =
|
|
.
|

\
|
1 0
1 1
e A.B
simtrica, qual ser o valor de x?


[12] Julgue Verdadeiro (V) ou Falso (F) as seguintes sentenas:

V F Matrizes de mesma dimenso sempre podem ser adicionadas
V F Matrizes de mesma dimenso sempre podem ser multiplicadas
V F Uma matriz quadrada sempre ter uma inversa
V F Se A e B so ambas matrizes de dimenso 4x4, ento AB = BA
V F A adio de matrizes sempre definida
V F A multiplicao de matrizes comutativa






Fatec Bauru 32

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Teoria dos Conjuntos
Introduo
O conceito de conjunto fundamental, pois praticamente todos os conceitos
desenvolvidos em Computao e Informtica, bem como os correspondentes resultados,
so baseados em conjuntos ou construes sobre conjuntos.
Conjunto uma estrutura que agrupa objetos e constitui uma base para
construir estruturas mais complexas. Assim, entendemos um conjunto como sendo
qualquer coleo de objetos, sem repeties, no ordenados, denominados elementos ou
membros. O termo elemento usado de maneira ampla, no definido formalmente e
pode determinar um objeto concreto ou abstrato. Por exemplo, podemos falar do
conjunto de todos os alunos regularmente matriculados no Curso de Redes, do conjunto
de todas as letras do nosso alfabeto, o conjunto de todos os nmeros reais menores do
que 4, o conjunto de todos os jogadores da seleo brasileira de futebol, etc.
Conjuntos so usualmente denotados por letras maisculas: A, B, C, S etc. Os
elementos de um conjunto so normalmente denotados por minsculas: a, b, x, y etc.
Na maior parte dos casos, os conjuntos sero definidos por meio de uma
propriedade caracterstica dos objetos a ele pertencentes. Em geral, um conjunto est
completamente determinado quando os seus elementos esto todos especificados, e
existem, essencialmente, duas formas para fazer isto. Uma forma descrever, se
possvel, todos os elementos, ou seja, enumerar todos os seus elementos. O conjunto que
definido listando todos os seus elementos separados por vrgulas em qualquer ordem e
dispostos habitualmente entre chaves, denominado denotao por extenso. Por
exemplo:
Conjunto das consoantes da palavra DISCRETA = {d, s, c, r, t}
Conjunto das cores da bandeira do Brasil = {verde, amarelo, azul, branco}
A segunda forma definir o conjunto, mencionando as caractersticas ou
propriedades em que os elementos desse conjunto a verificam, denominada denotao
por compreenso. Por exemplo:
B = { x x um nmero inteiro, x > 0}
Neste caso, l-se: B o conjunto de x tal que x inteiro e x maior que zero.
Note que os elementos do conjunto B so todos os nmeros inteiros positivos.
Usualmente, x designa um qualquer elemento do conjunto; o smbolo l-se: tal que e a
vrgula (,) l-se e.
33 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Alguns conjuntos importantes
Dois conjuntos especiais so: o conjunto Universal e o conjunto Vazio.
Em qualquer aplicao da Teoria dos Conjuntos, os elementos de todos os
conjuntos em estudo pertencem a algum conjunto maior chamado conjunto Universal,
que representamos por U.
Um conjunto sem elementos chamado de conjunto Vazio e denota-se por { }
ou C. S existe um conjunto vazio. Se A e B so dois conjuntos vazios, ento A = B, uma
vez que tem exatamente os mesmos elementos, nomeadamente, nenhum.
Exemplos: Conjunto de todos os brasileiros maiores que 300 anos
Conjunto de todos os nmeros mpares e divisveis por 2
Na Teoria dos Conjuntos, os objetos de interesse so os conjuntos e no os
elementos que os formam. Assim, as operaes devem ser definidas sobre ou entre
conjuntos, mas nunca sobre elementos isolados. Para tratar elementos, devemos
considerar conjuntos unitrios. Por exemplo, se a um elemento de U ento, {a} denota o
conjunto unitrio que contm apenas um nico elemento, o elemento a.
Podemos, ento, dizer que existem infinitos conjuntos unitrios e ele pode ser
denotado por 1.
Exemplos: O conjunto das selees pentacampes mundiais de futebol
1 = {x x par e primo}

Podemos destacar, tambm, os conjuntos finitos e conjuntos infinitos. Um
conjunto considerado conjunto finito quando possuir um nmero finito de elementos,
ou seja, uma quantidade contvel de elementos e todos os seus elementos puderem ser
denotados por extenso.
Exemplos: C
Vogais = {a, e, i, o, u}
A = {x ( x nmero natural compreendido entre 3 e 10}
J um conjunto infinito poder ser representado atravs de denotao por
compreenso e o nmero de elementos deste conjunto so infinitos, ou seja, incontveis.
Exemplos: Conjunto dos nmeros naturais ()
Conjunto dos nmeros reais (9)
C = { x ( x nmero par positivo}
Fatec Bauru 34

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
NOTA: os seguintes conjuntos so importantes na Matemtica e em geral na
Computao e Informtica em particular e possuem uma denotao universalmente
aceita:

- Conjunto dos nmeros naturais = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,...}
- Conjunto dos nmeros inteiros Z = {.., -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6,...}
- Conjunto dos nmeros racionais Q = { x =
b
a
(a , b so nmeros inteiros e b 0}
- Conjunto dos nmeros irracionais nmeros que no podem ser expressos na forma
de frao
|
.
|

\
|
b
a

- Conjunto dos nmeros reais 9 = { x ( x racional ou x irracional}

Relao de pertinncia: elemento x conjunto
Quando temos um determinado elemento x pertencente a um conjunto A, dizemos
que este elemento pertence ao conjunto, e denotamos por x e A. Diremos,
alternativamente, que x um membro de A. Da mesma forma quando x no pertence ao
conjunto A, escrevemos x e A.
Exemplo (1): 6 e {x x um inteiro par}
1 e {x x um inteiro par}
Exemplo (2): Seja A = {x x uma letra do alfabeto e x uma vogal}
Observe que: b e A i e A p e A
Subconjuntos
Sejam dois conjuntos A e B, dizemos que A um subconjunto de B se, e somente
se, todos os elementos de A so tambm elementos de B, ou, se todos os elementos de A
pertencem tambm ao conjunto B. A notao A _ B significa que A um subconjunto de
B. Algumas vezes, em lugar de dizermos que A um subconjunto de B, dizemos que A
est includo em B, ou que A est contido em B.
Exemplo (1): {4, 8} _ {2, 4, 5, 7, 8, 10}
{b, a} _ {c, a, b} {1, 3} _ {1, 2, 3}
Exemplo (2): Sejam os seguintes conjuntos:
A = {1, 2, 3, 4, 5, 6, 7} B = {3, 4, 5} C = {6, 7, 8}
As seguintes sentenas so todas verdadeiras:
35 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
B _ A C . A
{3, 7} _ A 7 e C 8 e A

NOTA (1): so propriedades evidentes da relao de incluso:
Se A _ B e B _ C ento A _ C (transitiva)
A _ A (reflexiva: todo conjunto subconjunto dele mesmo)
C _ A (o conjunto vazio subconjunto de qualquer outro conjunto)
A _ U
NOTA (2): se B _ A ento A _ B (l-se: A contm B)
NOTA (3): Os smbolos utilizados na relao entre:
- Elemento / Conjunto: e (pertence) e (no pertence)
- Conjunto / Conjunto: _ (est contido) _ (contm) . (no est contido)

Igualdade de conjuntos
Dizemos que dois conjuntos A e B so iguais (ou idnticos) se, e somente se, todo
elemento de A pertencer a B e todo elemento de B pertencer ao conjunto A. Neste caso,
indicamos por A = B. Se um dos conjuntos contm algum elemento que no pertence ao
outro, dizemos que os dois conjuntos so distintos e escrevemos A B.
Exemplo: Sejam os conjuntos:
A = {x x algarismo do nmero 125.432} = {1, 2, 5, 4, 3}
B = {x x algarismo do nmero 324.514} = {3, 2, 4, 5, 1}

Notamos que todo elemento de A pertence a B e tambm todo elemento de B
pertence ao conjunto A; logo temos A = B.
Este exemplo mostra que no precisamos repetir elemento de um mesmo
conjunto; basta indicar cada elemento uma nica vez.

NOTA (1): sabemos que A e B so iguais se contm os mesmos elementos.
Podemos reescrever esta igualdade em termos de subconjuntos:
A = B A _ B e B _ A
NOTA (2): importante salientarmos sobre a diferena entre e e _. A notao x e A
significa que x um elemento ou membro do conjunto A. J a notao A _ B significa
que todo elemento de A est contido em B, ou seja, todo elemento do conjunto A tambm
pertence ao conjunto B;
Fatec Bauru 36

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
NOTA (3): tambm precisamos saber a diferena entre x e {x}. O smbolo x se
refere a um objeto (nmero, letra ou qualquer elemento de um conjunto), e a notao {x}
significa o conjunto cujo nico elemento x. sempre correto escrever x e {x}, mas no
correto escrever x = {x} ou x _ {x}.

Partes de um conjunto
Dado um conjunto A, podemos criar um novo conjunto cujos elementos sejam
todos os subconjuntos de A. Este novo conjunto chamado de conjunto das partes de A
e denotamos por (A).
(A) = { X( X _ A}
O conjunto (A) conter, pelos menos o conjunto C e o prprio conjunto A, uma
vez que:
C _ A A _ A
Quantos subconjuntos um conjunto tem? Vamos tentar responder esta pergunta
analisando o exemplo abaixo:
Dado o conjunto A = {1, 2, 3} vamos descobrir quantos subconjuntos este
conjunto A possui.
A maneira mais fcil para resolver esta questo seria listar todos os possveis
subconjuntos de A. Faremos isto de duas formas:

1. Atravs de uma tabela de possibilidades:
n de elementos Subconjuntos Qtde. subconjuntos
0 C 1
1 {1} , {2}, {3} 3
2 {1, 2}, {1, 3}, {2, 3} 3
3 (1, 2, 3} 1
TOTAL................................................. 8

2. Atravs de um diagrama: deseja-se formar os subconjuntos de A, ou seja, o
conjunto (A). Comeamos no crculo no topo (chamado de n). O n contm uma
pergunta: 1 um elemento de (A)? As duas setas saindo desse n so rotuladas com as
duas possveis respostas a essa pergunta (Sim ou No). Tomamos uma deciso e
seguimos a seta apropriada (tambm chamada de aresta) rumo ao n na outra
extremidade. Esse n contm a prxima pergunta: 2 um elemento de (A)? Siga a seta
correspondente sua resposta rumo ao prximo n, que contm a terceira (e nesse caso
a ltima) pergunta que voc deve responder para determinar o subconjunto: 3 um
elemento de (A)? Dando uma resposta e seguindo a seta apropriada chegamos a um n,
que contm uma listagem dos elementos de (A). Por conseguinte, selecionar um
subconjunto corresponde a descer nesse diagrama de cima para baixo. Existem tantos
subconjuntos de nosso conjunto quanto ns no ltimo nvel. Como o nmero de ns
dobra de nvel para nvel ao descer, o ltimo nvel contm 8 2
3
= ns. Conclumos que o
conjunto A = {1, 2, 3} possui 8 subconjuntos:
37 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
















NOTA (1): no exemplo acima, o conjunto das partes de A, indicado por (A) , o
conjunto formado por todos os subconjuntos de A. Assim, teremos: (A) = {C, {1}, {2},
{3}, {1,2}, {1,3}, {2,3}, {1,2,3}}

NOTA (2): o conjunto das partes de A, ou seja, o conjunto que contem todos os
subconjuntos de A, tambm chamado de conjunto potncia de A, e denotamos por
A
2


NOTA (3): de um modo geral, para um conjunto A com n elementos, o conjunto
(A) ter
n
2
elementos.



Exerccios

[1] Escreva os seguintes conjuntos relacionando seus elementos entre chaves
(a) conjunto dos nmeros inteiros mpares positivos menores que 20
(b) conjunto dos dias da semana que comeam pela letra s
(c) conjunto das vogais da palavra MATEMTICA
(d) conjunto dos meses do ano que comeam com a letra C
(e) conjuntos dos nmeros naturais pares maiores que 4 e menores que 7
Fatec Bauru 38

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[2] Sejam os conjuntos: A = {x e 1 < x < 50}
B = {x e 9 1 < x < 50}
C = {x e Z 25 x > }
Classifique em Verdadeiro (V) ou Falso (F) as sentenas seguintes:
A _ B 17 e A A _ C
-40 e C 3 e B {0, 12} _ A
C e B {x e Z 625 x
2
> } _ C

[3] Sejam os conjuntos A = {x e Z 6 x 7 x
2
+ < 0 ou 2x + 3 = 9} e B = {x e Z 0 < x < 6}.
Prove que A _ B.

[4] O programa QUAD encontra e imprime solues de equaes quadrticas da forma
0 c bx ax
2
= + . O programa PAR lista todos os inteiros de -2n a 2n. Seja Q o conjunto
dos valores de sada de QUAD e E o conjunto dos valores de sada de PAR.
(a) mostre que para a = 1, b = -2, c = -24 e n = 50, Q _ E
(b) mostre que para os mesmos valores de a, b e c, mas para n = 2, Q . E

[5] Quais das igualdades abaixo so verdadeiras?
(a) {a, m, o, r} = {r, o, m, a}
(b) {1, 2, 3} = {2, 3}
(c) {x ( 4 x
2
= } = { x ( 0 x 4 x
3
= }
(c) {x ( 2x + 7 = 11} = {2}
(e) {x ( x < 0 e x > 0} = C

[6] Dado E = {1, 2, 4, 8} quantos so os subconjuntos de E?

[7] Forme o conjunto das partes dos seguintes conjuntos:
(a) A = {1,2}
(b) B = {a, r, t, e}
(c) C = {7}
(d) D = C

[8] Determine quantos elementos tem (E) nos casos em que:
(a) o conjunto E tem 6 elementos;
(b) o conjunto E tem 8 elementos;
(c) o conjunto E tem os elementos {b, a, n, c, o}
39 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Exerccios Complementares

[1] Seja U = {-2, 1, 0,
2
1
,
4
3
, 2,
3
10
, 4, -5}. Explicitar os elementos de cada um dos
conjuntos seguintes:
A = {x e U ( x < 0} B = {x e U (2 < x < 3}
C = {x e U (x + 1 = 2} D = {x e U (
x
1
= 2}
E = {x e U (x >
2
1
} F = {x e U ( 0 10 x 7 x
2
= + + }

[2] Represente extensivamente (elemento a elemento) cada um dos seguintes conjuntos:
(a.) {x e | 3 < x s 8}
(b.) {x e | x par e x < 15}
(c.) {x e | 3x = 1}
(d.) {x | x nmero primo menor que 20}
(e.) {x | x ms de 30 dias}
(f.) {x e | x < 10}
(g.) {x e | 25 x
2
< }
(h.) {x e 9 | 7 x
2
= }

[3] Identifique os conjuntos unitrios e os vazios:
A = {x | x oceano que banha o Brasil}
B = {x | x mulher que j foi presidente do Brasil}
C = {x | x ms com menos de 30 dias}
D = {x e | x + 1 = 0}
E = {x | x inteiro e 3 x
2
= }
F = {x e 9 |
0
x
1
=
}

[4] Considere os conjuntos:
A = B = {1} C = {1,3} D = {1,5,9} E = {1,2,3,4,5}
F = {x e | x mpar menor que 10} G = {1,2,3,4,5,6,7,8,9}
Preencha, usando os smbolos _ e ., de modo a formar proposies verdadeiras:
(a) .B A......... (b) .C B......... (c) .D C.........
(d) .F C......... (e) .E D......... (f) .F D.........
(g) .F E......... (h) .G E......... (i) .F A.........
(j) {{5}}..........(E) (k) {5}..........(D) (l) {}..........(C)
Fatec Bauru 40

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[5] Seja U = {-1,
2
1
, 2, 4,
3
1
, 5}. Verificar se so ou no iguais os seguintes pares A e B de
conjuntos:
A = {x e U ( x + 1 = 3} e B = {x e U ( 2x 3 = 1}
A = {x e U (0 < x < 5} e B = {x e U ( 0 s x s 5}
A = {x e U ( 0
x
1 x
=
+
} e B = {x e U ( x > 0}

[6] O nmero de conjuntos X que satisfazem {1,2} _ X _ {1,2,3,4} :
(a) 3 (b) 4 (c) 5 (d) 6 (e) 7

[7] Dados A = {x e | x < 5} e B = {x e 9 | 0 8 6x - x
2
= + }, pede-se:
(a) Escrever com os smbolos da teoria dos conjuntos as seguintes sentenas:
(a.1.) 3 elemento de A
(a.2.) 1 no est em B
(a.3.) B parte de A
(a.4.) B igual a A
(a.5.) 4 pertence a B
(a.6.) conjunto vazio subconjunto de A
(b) Classificar as sentenas anteriores em Falsa ou Verdadeira

[8] Dado o conjunto C ={0,1,2,3}, o nmero de subconjuntos prprios de C :
(a) 6 (b) 12 (c) 14 (d) 16 (e) 18

[9] Determine:
({a})
()
({1, {2}, 3})
({a, b, c, d})

[10] Classifique em (V) ou (F) as seguintes sentenas abaixo:
(a) 3 = {3}
(b) 5 e {{5}}
(c) 4 e {{4}, 4}
(d) C e {3}
(e) {2, 8} _ {2, 8, 9}
(f) {3, 4} _ {{3, 4}, {5, 6}}
(g) ({C}) = {C, {C}}

41 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Diagrama de Venn-Euller
Introduo

Como poderamos fazer a representao da seguinte situao:
Conjunto B de todas as pessoas nascidas na cidade de Bauru e o conjunto A de
todos os paulistas?
Observe que, o tratamento dado aos conjuntos e conceitos correlatos at o
presente momento usou uma linguagem textual. Entretanto, na medida em que outros
conceitos so desenvolvidos, como as operaes sobre conjuntos, uma linguagem
diagramtica auxilia o entendimento de definies, facilita o desenvolvimento de
raciocnios e permite uma identificao e uma compreenso fcil e rpida dos
componentes e dos relacionamentos em discusso.
Os Diagramas de Venn-Euller so universalmente conhecidos e so largamente
usados nos estudos da Teoria dos Conjuntos. So teis para reforar a noo intuitiva
sobre conjuntos, principalmente para analisar relaes entre os conjuntos e tambm
seus membros.
Diagrama de Venn-Euller
Num Diagrama de Venn-Euller faz-se um esboo dos conjuntos, os quais so
representados por reas fechadas no plano. As figuras usadas podem ser diversas. Em
geral, o conjunto Universal (U) representado pelo interior de um retngulo, mais
precisamente, pelos pontos interiores ao retngulo. Qualquer conjunto desenhado
como sendo uma curva fechada, inteiramente contida no retngulo. Por exemplo, na
situao referida na introduo (acima):










todo elemento de B pertence a A, ou seja,
toda pessoa que nasceu em Bauru (B) paulista (A), que por sua vez brasileira (U)
Fatec Bauru 42

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Vejamos outros exemplos:













NOTA (1): observe que, no caso C _ U, o conjunto C destacado, para auxiliar
visualmente o que se deseja representar.

NOTA (2): para ilustrar uma aplicao do Diagrama de Venn-Euller, podemos
citar a propriedade da transitividade, ou seja, para quaisquer conjuntos A, B e C, vale:
A _ B e B _ C A _ C








Exerccios

[1] Seja o conjunto A = {x(x paulista} e B = {x(x pessoa inteligente}. Admitindo que
verdadeira a frase todo paulista inteligente, como se representam num Diagrama os
conjuntos A e B?
43 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
[2] Sejam os seguintes conjuntos:
M = {x ( x jovem que gosta de Matemtica Discreta}
E = {x ( x jovem que gosta de Esportes}
F = {x ( x jovem que gosta de Festa}
Considerando a afirmao: Todo jovem que gosta de Matemtica Discreta gosta de
Esportes e Festa pode ser representada segundo o Diagrama:










[3] Considere o conjunto de todos os carros vendidos numa certa concessionria. Um
vendedor classificou os carros em trs subconjuntos, de acordo com os opcionais de cada
carro:
D = {x ( x carro com direo hidrulica}
A = {x ( x carro com ar condicionado}
V = {x ( x carro com vidro eltrico}
Observe os seguintes Diagramas abaixo e complete o que eles representam:
(a) (b)



(c) (d)

Fatec Bauru 44

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Operaes entre Conjuntos
Introduo

Conjuntos podem ser combinados para gerar outros conjuntos. Para isso,
podemos considerar algumas regras (ou operaes) que definem formas pelas quais
conjuntos podem ser combinados. Veremos agora quais so estas operaes.
Diferena
Dados os conjuntos A = {x(x vogal do nosso alfabeto} e B = {x(x letra da
palavra BAURU}, ento temos: A = {a, e, i, o, u} e B = {b, a, u, r}.
Podemos definir o conjunto C formado pelos elementos que pertencem ao conjunto
A e que no pertencem a B, ou seja: C = { x (x e A e x e B}, assim: C = {e, i, o}

NOTA (1): o conjunto C chamado conjunto diferena entre A e B e indicado por
A B (l-se: A menos B).
NOTA (2): de modo geral, dados os conjuntos A e B, a diferena A B o conjunto
formado pelos elementos de A menos os elementos de B.
NOTA (3): pelo Diagrama de Venn-Euller, a diferena A B fica assim
representada:






Interseo
Dados os conjuntos A = {x(x vogal do nosso alfabeto} e B = {x(x letra da
palavra BAURU}, ento temos: A = {a, e, i, o, u} e B = {b, a, u, r}.
Podemos definir o conjunto C formado pelos elementos que pertencem
simultaneamente aos conjuntos A e B, ou seja, pelos elementos comuns aos conjuntos A
e B, assim: C = {a, u}

NOTA (1): o conjunto C chamado conjunto interseo de A e B e indicado por
A B (l-se: A interseo B, ou simplesmente, A inter B).
45 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
NOTA (2): de modo geral, dados os conjuntos A e B, a interseo A B o
conjunto formado pelos elementos que pertencem simultaneamente aos conjuntos A e B:
A B = { x ( x e A e x e B }
NOTA (3): pelo Diagrama de Venn-Euller, a interseo A B fica assim
representada:







NOTA (4): se A B = C, ento dizemos que os conjuntos A e B so disjuntos (ou
mutuamente exclusivos).

NOTA (5): Temos as seguintes propriedades para a operao interseo:
Elemento neutro: A U = U A = A
Idempotncia: A A = A
Comutativa: A B = B A
Associativa: A (B C) = (A B) C

Unio ou reunio
Dados os conjuntos A = {x(x vogal do nosso alfabeto} e B = {x(x letra da
palavra BAURU}, ento temos: A = {a, e, i, o, u} e B = {b, a, u, r}.
Podemos definir o conjunto C formado pelos elementos que pertencem ao
conjunto A ou pertencem a B, ou a ambos, assim:
C = {a, e, i, o, u, b, r}

NOTA (1): o conjunto C chamado conjunto reunio ou unio de A e B e
indicado por A B (l-se: A unio B).

NOTA (2): de modo geral, dados os conjuntos A e B, a unio A B o conjunto
formado pelos elementos de A mais os elementos de B:
A B = { x ( x e A ou x e B }

NOTA (3): este ou da unio no significa excluso, significa que x e A ou x e B
ou x pertence a ambos, isto , quando pelo menos uma das afirmaes verdadeira.
Fatec Bauru 46

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
NOTA (4): pelo Diagrama de Venn-Euller, a unio fica assim representada:







NOTA (5): Propriedades da Operao Unio:
Elemento neutro: A C = C A = A
Idempotncia: A A = A
Comutativa: A B = B A
Associativa: A (B C) = (A B) C

NOTA (6): Nmero de elementos do conjunto Unio.
A = {a, e, i, o, u} n(A) = 5
B = {b, a, u, r} n(B) = 4
A B = {a, e, i, o, u, b, r} n(A B) = 7
A B = {a, u} n(A B) = 2

Observe que n(A B) = n(A) + n(B), pois h dois elementos comuns a ambos os
conjuntos, assim: n(A B) = n(A) + n(B) n(A B)
7 = 5 + 4 - 2

Sendo, assim, sempre verdadeiro que:




Raciocinando como na situao anterior, podemos provar o Princpio da Incluso
Excluso para trs conjuntos:
Princpio da Incluso - Excluso (para dois conjuntos):
Se A e B so dois conjuntos finitos, ento:
n(A B) = n(A) + n(B) n(A B)
Princpio da Incluso - Excluso (para trs conjuntos):
Se A, B e C so trs conjuntos finitos, ento:
n(A B C) = n(A) + n(B) + n(C) n(A B) n(A C) n(B C) + n(A B C)
47 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Conjunto Complementar
Sejam os conjuntos A e B, tal que A B _ . Chama-se complementar de B em
relao ao conjunto A o conjunto A B, indicado por
B
A
C . Pelo Diagrama de Venn-Euller,
temos a representao:








NOTA (1): Se A = { -1, 0, 1, 2, 3} e B = {2, 3} note que A B _ , logo
B
A
C = {-1, 0, 1} ou
seja, os elementos de
B
A
C so os elementos que faltam ao conjunto B para que ele fique
igual ao conjunto A.
NOTA (2): quando nos referimos ao complementar de A em relao ao conjunto
Universo U, indicamos por:
A
U
C ou A ou
C
A .
NOTA (3): Leis de Morgan: segundo este matemtico ingls, dados os conjuntos A
e B contidos em um conjunto Universo U, temos:





Exerccios
[1] Dados os conjuntos: A = { x e ( 16 x 10 x
2
+ s 0 },
B = { x ( x impar positivo menor que 10 }
C = { x e ( 5 s s x 9 }
D = {2, 4, 6, 8}
Determine:
(a) A B (b) B D
(c) A C (d) B C
(e) (A D) C (f) (D C) (A B)
Leis de Morgan:
( )
C C C
B A B A =
( )
C C C
B A B A =
Fatec Bauru 48

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[2] Sejam A e B dois conjuntos tais que n(A) = 12, n(B) = 10 e n(A B) = 15. Determinar:
(a) n(A B) =
(b) n(B A) =
(c) n(A B) =

[3] A Empresa Motors Inc., fabricou 325 carros com transmisso automtica, 216 com
direo hidrulica e 89 com ambas as opes. Quantos carros foram fabricados, se cada
carro possui pelo menos um dos opcionais?

[4] Sejam A e B dois conjuntos quaisquer. Determine se cada uma das afirmaes abaixo
so Verdadeiras (V). Se sim, mostre, caso contrrio, d um contra exemplo.
(a) x e A e A _ B x e B (b) x e A e A . B x e B
(c) A _ B e x e B x e A (d) A _ B (A) _ (B)

[5] Utilizando-se do Diagrama abaixo, para cada item represente hachurando as
situaes propostas:

(a) AB (b) (C B) (A B)







(c) (A B) C (d) (B C) A







(e) (B A) C (f) (A B) (A C)






49 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
(g) (B - D) (C - A) (h) (A B) - (C D)









[6] Dados os conjuntos A = {a, b, c}, B = {a, c, e, f}, C = {d, e, f, g} e considerando o
conjunto Universo U = {a, b, c, d, e, f, g, h} determine:
(a) C) B ( A
C
(b)
C
C) (B - C) (A
(c) C) (B - B) (A (d) B) A ( B
C


[7] Determine os elementos dos conjuntos A e B, em cada caso, sabendo-se que:
(a) A B = {1, 2, 3} A B = {1, 2, 3, 6, 7, 8} A B = {8}
(b) A B = {1, 2, 3} B A = {5, 6} A B = {9}
(c) A B = {1, 2} B - A = {4} A B = {1, 2, 4, 6}

[8] Em uma pesquisa com 75 consumidores, 12 indicaram que desejavam comprar um
carro novo; 18 disseram que desejavam comprar um refrigerador novo e 24 disseram que
desejavam comprar um fogo novo. Dentre esses, 6 desejavam comprar um carro e um
refrigerador, 4 desejavam comprar um carro e um fogo e 10 desejavam comprar um
fogo e um refrigerador. Uma pessoa disse que desejava comprar todos os trs itens.
(a) quantos no desejavam comprar nenhum desses itens?
(b) quantos desejavam comprar apenas um carro?
(c) quantos desejavam comprar apenas um fogo?
(d) quantos desejavam comprar apenas um refrigerador?
(e) quantos desejavam comprar um fogo e um refrigerador, mas no um carro?

[9] Numa sala de aula com 60 alunos, 11 jogam xadrez, 31 so homens ou jogam xadrez
e 3 mulheres jogam xadrez. Conclumos, portanto, que:
(a) 31 so mulheres (b) 29 so homens
(c) 29 mulheres no jogam xadrez (d) 23 homens no jogam xadrez
(e) 9 homens jogam xadrez

[10] Uma pesquisa em um grupo de pessoas indicou que havia 25 com olhos castanhos e
15 com cabelos pretos. Se 10 pessoas tinham ambos, olhos castanhos e cabelos pretos, e
23 no tinham nem um nem outro, quantas pessoas entrevistadas tinham ou olhos
castanhos ou cabelos pretos? Quantas pessoas ao todo foram entrevistadas?
Fatec Bauru 50

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[11] Os 36 alunos de uma classe fizeram uma prova de 3 questes. Sabendo que 4
erraram todas as questes, 5 s acertaram a primeira questo, 6 s acertaram a
segunda, 7 s acertaram a terceira, 9 acertaram a primeira e a segunda, 10 acertaram a
primeira e a terceira e 7 acertaram a segunda e a terceira, determine quantos acertaram
as trs questes.

[12] Sejam A, B e C conjuntos finitos, tais que, em relao ao nmero de elementos
destes conjuntos podemos afirmar que:conjunto A tem 50, B tem 30, C tem 85, A B
tem 22, A B C tem 18, B C tem 20 e A C tem 100. Usando o diagrama de Venn
determine a cardinalidade dos seguintes conjuntos:
(a) A C =
(b) C B =
(c) (B C) (A B C) =
(d) B A C =
(e) A B =



[13] Em uma sondagem de 10.281 pessoas, restrita quelas que eram negras, ou
homens, ou acima de 18 anos de idade, os seguintes dados foram obtidos:

Negros 3490
Homens 5822
Maiores de 18 anos 4722
Homens negros 1745
Maiores de 18 anos e homens 859
Maiores de 18 anos e negros 1341
Homens negros e maiores de 18 anos 239
Os dados apresentados acima so inconsistentes. Por qu?

[14] Num lote de placas-me para notebooks comprados pela Alfadig Ltd o controle de
qualidade verificou que, entre as placas-me compradas, 40 apresentavam defeitos na
embalagem, na parte eltrica ou no acabamento. Dentre estas peas, 28 tinham defeito
de acabamento, 17 tinham a embalagem defeituosa, 13 tinham defeitos na parte eltrica,
6 tinham defeitos tanto no acabamento quanto na embalagem, 7 tinham defeitos de
embalagem e na parte eltrica e 10 tinham defeito no acabamento e na parte eltrica.
Alguma pea tinha todos os trs tipos de defeito?

[15] A FATEC Bauru pretende promover nas frias um curso de Programao
direcionado aos alunos regularmente matriculados nos cursos de Banco de Dados e
Redes de Computadores. Ela ir oferecer trs opes de cursos: Programao em Cobol,
Programao em Delphi e Programao em Java. Para verificao da disponibilidade de
matrculas para estes cursos foi realizada uma pesquisa sobre a inteno de
modalidades que os alunos pretendem cursar e foram obtidas as seguintes informaes
nesta pesquisa: 20 alunos pretendem cursar Cobol e Java; 60 alunos pretendem cursar
A
B
C
51 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Delphi; 65 alunos pretendem cursar Java; 21 alunos no pretendem cursar nem Delphi,
nem Cobol; o nmero de alunos que pretender cursar somente Delphi idntico ao
nmero de alunos que pretendem cursar somente Cobol; 17 alunos pretendem cursar
Delphi e Cobol; 45 alunos pretendem cursar Delphi e Java, sendo que destes, 30 no
pretendem cursar Cobol. Podemos afirmar, assim, que o nmero total de alunos que
responderam pesquisa foi de:
(a) 93 (b) 103 (c) 114
(d) 110 (e) 99

[16] Use os dados da figura abaixo para responder a cada pergunta:






(a) quantos elementos h no conjunto A?
(b) quantos elementos h no conjunto B?
(c) quantos elementos h no conjunto A ou B?
(d) quantos elementos h no conjunto B ou C?
(e) quantos elementos esto no conjunto A, mas no esto em B?
(f) quantos elementos esto no conjunto A ou B ou C?
(g) quantos elementos no esto nem no conjunto A nem em B nem em C?
(h) quantos elementos h no conjunto U?








Fatec Bauru 52

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exerccios Complementares

[1] Sejam os conjuntos: A = {2, 4, 5, 6, 8}
B = {1, 4, 5, 9}
C = {x ( x e Z e 2 s x < 5}
todos subconjuntos do conjunto U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Sendo, assim, determine:
(a) A B (b) A C
(c) A B (d) C B
(e) (B A) ( A C) (f) A
C
(B C)
(g) (C A) (B C)
C


[2] Determine N, sabendo que:
M = {4, 6, 8, 10, 12, 14}
M N = {8, 12, 14}
M N = {4, 6, 8, 10, 12, 14, 16, 18}.

[3] Dados os conjuntos X e Y temos que, n(X) = 8, n(Y) = 5 e n(X Y) = 10, portanto
podemos afirmar que n(X Y) igual a:
(a) 3 (b) 7 (c) 10 (d) 13 (e) 6

[4] Dados os conjuntos A = {1, 2, 3, 4, 5, 6} e B = {2, 4, 6, 8}, determine o nmero de
elementos de cada um dos conjuntos:
(a) A (b) B
(c) A B (d) A B
(e) (A B) A (f) (B A) B

[5] Dados P = {3, 10} e Q = {10, 21, 40}, determine o conjunto X tal que:
P X = {3} Q X = {21} e P Q X = {3, 10, 21, 40, 51}

[6] Utilizando-se do Diagrama abaixo, hachure as situaes propostas:
(a) (B C) (A C) (b) (A B) - C







53 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
(c) (B D) - (C A) (d) (A - B) (C - D)









[7] Numa equipe de programadores, 28 programam em JAVA, 12 programam em COBOL
e 8 programam em JAVA e COBOL. Quantos programadores h nesta equipe? Quantos
s programam em JAVA?

[8] Numa empresa multinacional de TI, trabalham 122 analistas dos quais 96 so
brasileiros, 64 homens, 47 fumantes, 51 homens brasileiros, 25 homens fumantes, 36
brasileiros fumantes e 20 homens brasileiros fumantes. Determine o nmero de
mulheres brasileiras no fumantes; o nmero de homens fumantes no brasileiros; o
nmero de mulheres fumantes; o nmero de homens brasileiros fumantes; o nmero de
mulheres no fumantes.

[9] Durante uma entrevista para preenchimento de vagas para o setor de programao
da BRIMAKYS verificou-se que entre os 60 candidatos: 25 entrevistados programam em
JAVA; 26 programam em COBOL; 26 programam DELPHI; 9 programam em JAVA e
DELPHI; 11 programam em JAVA e COBOL; 8 programam em COBOL e DELPHI; 3
programam nas trs linguagens. Quantos dos entrevistados no programam em
nenhuma linguagem?

[10] Foi feito um levantamento entre 25 computadores de um laboratrio de informtica
e constatou-se que: 15 tinham antivrus; 12 tinham o pacote OFFICE; 11 tinham o
navegador MOZILLA; 5 tinham antivrus e o MOZILLA; 9 tinham antivrus e o OFFICE; 4
tinham OFFICE e MOZILLA; 3 tinham as trs opes. Ache o nmero de computadores
que tm apenas o MOZILLA; apenas antivrus; apenas o pacote OFFICE; o pacote
OFFICE e MOZILLA, mas no antivrus; que no tenham nenhuma das opes.

[11] Foi realizada uma pesquisa sobre preferncias partidrias, perguntando aos
entrevistados se j haviam votado nos partidos A, B, C ou D. Esta pesquisa trouxe luz
os seguintes fatos: do total das 130 pessoas entrevistadas, 17 j votaram no partido D.
Estas pessoas que j votaram no partido D nunca votaram em outro partido; 60 pessoas
j votaram no partido A; 50 pessoas j votaram no partido B; 70 pessoas j votaram no
partido C; 30 pessoas j votaram nos partidos A e C; 25 pessoas j votaram nos partidos
B e C; 22 pessoas j votaram nos partidos A e B. Sabendo que todos os 130
entrevistados j votaram em algum dos quatro partidos mencionados, determine:
quantas pessoas j votaram nos trs partidos? Quantas pessoas s votaram no partido
A? Quantas pessoas s votaram em um partido? Quantas pessoas j votaram em
exatamente dois partidos?

Fatec Bauru 54

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Produto Cartesiano
Introduo
A operao produto cartesiano uma operao binria a qual, quando aplicada a
dois conjuntos A e B, resulta em um conjunto constitudo de sequncias de duas
componentes, sendo que a primeira componente de cada sequncia um elemento de A
e, a segunda componente, um elemento de B.
Assim, para definir produto cartesiano, necessrio antes introduzir a noo de
sequncia finita e, em particular, de sequncia de dois elementos. Uma sequncia de n
componentes, denominada de n-upla ordenada consiste de n objetos (no
necessariamente distintos) em uma ordem fixa. Em particular, uma 2-upla ordenada
denominada de par ordenado. Um par ordenado no qual a primeira componente x e a
segunda y, denotamos da seguinte forma: ( ) y , x ou y , x . Analogamente, uma n-upla
ordenada denotada como segue: ( )
n 4 3 2 1 n 4 3 2 1
x , ... , x , x , x , x ou x , ... , x , x , x , x

NOTA (1): uma n-upla ordenada
n 4 3 2 1
x , ... , x , x , x , x no deve ser confundida
com o conjunto } x , ... , x , x , x , x {
n 4 3 2 1
; em uma n-upla ordenada, a ordem importante,
pois so distinguidas as componentes.
NOTA (2): Se tivermos x e y distintos, ento: ( ) ( ) x y, y x, =

Definio de Produto Cartesiano
Sejam A e B dois conjuntos no vazios, denominamos produto cartesiano de A por
B o conjunto cujos elementos so todos pares ordenados ( ) y , x onde o primeiro elemento
pertence ao conjunto A e o segundo elemento pertence a B, ou seja:
A x B = { ( ) y , x (x e A e y e B}
O smbolo A x B, l-se: A cartesiano B ou produto cartesiano de A por B.

Exemplo (1): se A = {1, 2, 3} e B = {4, 5} temos:
A x B = {(1, 4), (1, 5), (2, 4), (2, 5), (3, 4), (3, 5)}
e B x A = {(4, 1), (4, 2), (4, 3), (5, 1), (5, 2), (5, 3)}
Exemplo (2): se A = {2,3} ento o conjunto A x A (tambm indicado por
2
A e l-se:
A dois) :
2
A = A x A = {(2,2), (2,3), (3,2), (3,3)}

55 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Exemplo (3): sejam os conjuntos A = {a, b} B = {1, 3} e C = {A , -}. Podemos definir
os seguintes conjuntos:
(A x B) x C = {(a, 1), (a, 3), (b, 1), (b, 3)} x {A , -} = {((a,1),A), ((a,1),-), ((a,3), A), ((a,3), -), ((b,1), A),
((b,1), -), ((b, 3), A), ((b,3), -)}
A x (B x C) = {a, b} x {(1, A), (1,-), (3, A), (3, -)} = {(a,(1,A)), (a,(1,-)), (a,(3,A)), (a,(3,-)),(b,(1,A)), (b,(1,-)),
(b,(3,A)), (b,(3,-))}
O que se verifica que: (A x B) x C = A x (B x C)

NOTA (1): Seja A um conjunto qualquer, definimos os seguintes produtos
cartesianos:
A x C = C C x A = C C x C = C

NOTA (2): Se A = B ento A x B = B x A, isto , o produto cartesiano de dois
conjuntos no goza da propriedade comutativa.

NOTA (3): analogamente, (A x B) x C = A x (B x C), pois as componentes de cada
par ordenado so distintas. Ou seja, a operao produto cartesiano no associativa.

NOTA (4): se A e B so conjuntos finitos com m e n elementos respectivamente,
ento A x B um conjunto finito com m.n elementos. Se A ou B for finito e nenhum
deles for vazio, ento A x B um conjunto finito.



Exerccios

[1] Sejam os conjuntos A = {1, 2, 3} B = {-4, 5} e C = {e}, determine:
A x B
A x C
B x (A x C)
2
B


[2] Sabendo que {(1,2), (4,2)} _
2
A e n(
2
A ) = 9, explicite por extenso todos os elementos
do conjunto
2
A .


[3] Sejam os conjuntos A e B, tais que: A x B = {(-1, 0), (2, 0), (-1, 2), (2, 2), (-1, 3), (2, 3)}.
Ento, qual ser o nmero de elementos do conjunto (A B) U (B A)?

Fatec Bauru 56

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Relaes e suas propriedades

Definio de Relao
Consideremos os conjuntos A = {2, 3, 4} e B ={2, 3, 4, 5, 6}. O produto cartesiano
de A por B o conjunto A x B = {(x, y) ( x e A e y e B} formado por 3.5=15 elementos.
Vamos formar agora o conjunto R dos pares ordenados ( ) y , x de A x B tais que x
divisor
1
de y, ou seja, R = { (x, y) e A x B ( y x }. Teremos, ento:
R = { (2, 2), (2, 4), (2, 6), (3, 3), (3, 6), (4, 4)}
Este conjunto R, que um subconjunto de A x B exemplo de uma relao
binria de A em B. De modo geral, denominamos relao de A em B a todo subconjunto
de A x B.

R uma relao binria de A em B R _ A x B

NOTA (1): uma relao R _ A x B constituda de trs partes: a origem A, o
destino B e o conjunto de pares R; qualquer alterao em uma destas trs partes define
uma outra relao.
NOTA (2): C uma relao de A em B, pois o conjunto vazio subconjunto de
qualquer conjunto.
NOTA (3): uma relao R _ A x B tambm denotada por R: AB e um elemento
(x, y) e R frequentemente denotado de forma infixada, como x R y.
NOTA (4): se n(A) = m e n(B) = p, ento o nmero de relaes binrias possveis
dado por
m.p
2 .

Propriedades das Relaes
H relaes sobre um mesmo conjunto, isto , relaes de A em A, ou sobre A.
Tais relaes admitem algumas propriedades que veremos em seguida. Consideremos
uma Relao R num determinado conjunto A, ento, temos as seguintes propriedades:

- Reflexiva: se todo elemento de A se corresponder (se relacionar) com ele mesmo, isto ,
x e A x R x
Exemplo: A = {a, b, c} e R = {(a, a), (b, b), (a, c), (c, c)} reflexiva
Contra-exemplo: A = {a, b, c} e R = {(a, a), (b, b), (b, a)} no reflexiva

1
Adefiniodedivisorestrelacionadacomadefiniodemltiplo.Umnmeronaturalxdivisordonmeronaturaly,ouseja, y x ,seymltiplo
de x. Por exemplo: 3 divisor de 6 ( ) 6 3 , pois 6 = 3 x 2, logo 6 mltiplo de 3. O conjunto dos divisores de um nmero um conjunto finito. Por
exemplo: Divisoresde6D(6)={1,2,3,6} Divisoresde16D(16)={1,2,4,8,16}
57 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
- Simtrica: se sempre que um elemento x se corresponde com um y ocorrer que y se
relaciona com x, isto , x, y e A, se x R y y R x
Exemplo: A = {a, b, c} e R = {(a, a), (a, b), (b, a)} simtrica
Contra-exemplo: A = {a, b, c} e R = {(b, b), (c, a)} no simtrica

- Anti-Simtrica: se sempre que y se relacione com x ento x se relacione com y
acontecer apenas no caso: x = y, isto , x, y e A, se x R y e y R x x = y
Exemplo: A = {a, b, c} e R = {(a, a), (b, b), (a, c), (a, b)} anti-simtrica
Contra-exemplo: A = {a, b, c} e R = {(a, a), (a, b), (b, a)} no anti-simtrica

- Transitiva: sempre que um elemento x se relaciona com y que por sua vez se relaciona
com z e da resulte que x se relaciona com z, isto , x, y, z e A, se x R y e y R z x R z
Exemplo: A = {a, b, c} e R = {(a, a), (a, b), (b, c), (a, c)} transitiva
Contra-exemplo: A = {a, b, c} e R = {(b, b), (a, b), (b, c)} no transitiva

Outros exemplos: Consideremos o conjunto A = {2, 4, 6} e as seguintes relaes:
R1 = {(2, 2), (4, 4), (6, 6), (2, 4)}
Esta relao reflexiva, anti-simtrica e transitiva. No simtrica.

R2 = {(2, 2), (4, 4), (2, 4), (4, 2)}
Esta relao simtrica e transitiva. No reflexiva e nem anti-simtrica.

R3 = {(2, 2), (4, 4), (2, 4), (4, 2), (4, 6)}
Esta relao no reflexiva, nem simtrica, nem anti-simtrica e nem transitiva.


Uma relao R pode ser simtrica e no ser anti-simtrica, ser anti-
simtrica e tambm ser simtrica ou no ser nenhuma das duas.

Relaes de equivalncia
Uma relao R em um conjunto A no vazio dita RELAO DE EQUIVALNCIA
sobre A, quando R reflexiva, simtrica e transitiva.
As relaes de equivalncia agrupam elementos que tm caractersticas
semelhantes ou compartilham da mesma propriedade.
Exemplos:
(a) R = {(a, a), (b, b), (a, c), (c, a), (c, c) } uma relao de equivalncia sobre A = {a, b, c}
(b) a relao I de igualdade sobre 9 dada por I = {(x, y) e 9 x 9 (x = y} uma relao de
equivalncia sobre 9.
Fatec Bauru 58

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Relaes de ordem parcial
Uma relao R em um conjunto A no vazio chamada de RELAO DE ORDEM
PARCIAL ou simplesmente RELAO DE ORDEM quando R reflexiva, anti-simtrica e
transitiva.
Exemplos: a relao R = {(a, a), (b, b), (c, c), (b, a), (a, c), (b, c)} uma relao de
ordem parcial sobre A = {a, b, c}

Representao de Relaes usando Dgrafos
Alm de representarmos uma relao listando todos seus pares ordenados, existe
uma outra maneira importante de representar uma relao usando uma representao
pictrica. Cada elemento do conjunto representado por um ponto e cada par ordenado
representado usando um arco com sua direo indicada por uma flecha. Usamos essa
representao pictrica quando pensamos em relaes, em um conjunto finito, como
grafos orientados ou dgrafos
2
.
Uma aresta da forma (a, a) representada usando um arco do vrtice a que volte
para ele mesmo. Essa aresta chamada de lao.
Exemplo: o grafo orientado da relao R ={ (a, b), (a, d), (b, c), (c, e), (d, a), (d, e),
(e, c)} no conjunto A = {a, b, c, d, e} mostrado na figura abaixo:








A relao R no conjunto A representada por um grafo orientado que tem os
elementos de A como seus vrtices e os pares ordenados (a, b), em que (a, b) e R, como
arestas.

2
Oconceito de grafos orientados e dgrafos ser explorado posteriormente.
59 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Exerccios

[1] Dados M = {3, 6, 9, 12} e N = {1, 3, 5, 7, 9} determine as seguintes relaes:
R1 = { (x, y) e M x N (x < y}
R2 = { (x, y) e M x N (2.x.y < 25}
R3 = { (x, y)e M x N (
2
x +
2
y < 50}

[2] Se S = { (x, y)e
2
(x + y = 10} e T = { (x, y) e
2
(x - y = 2}, determine T S .

[3] Se A = {1, 2, 3, 4, 5} e B = {1, 2, 3, 4, 5, 6} quais so os elementos da relao binria R
de A em B assim definida: x R y y = x +2?

[4] Se A = {-1, 0, 1, 2} quais so os elementos da relao R = { (x, y) e
2
A (
2
x =
2
y }?

[5] Sejam os conjuntos A = {1, 2, 3, 4} e B = {3, 4, 5, 6, 7} e R ={ (x, y) e A x B x + y
um nmero par e menor que 10}. Descreva os elementos de R.

[6] Dados os conjuntos A = {1, 2, 3, 4, 5, 6, 7, 8}, B = {2, 4, 6, 8, 10} e C ={3, 6, 9, 12},
forme as seguintes relaes:
(a) R = {(x, y) e A x B (x + y = 12}
(b) S = {(x, y) e A x B (x + y < 8}
(c) T = {(x, y) e B x A (x + y > 15}
(d) V = (x, y) e A x C (y = 2x}
(e) W = (x, y) e B x C (y 1 = x}

[7] Seja o conjunto A = {1, 2, 4, 8} e R uma relao de A, onde x R y, x e A e y e A, se
identifica por x y. Considerando o Diagrama abaixo, representativo de R, assinale a
alternativa correta:

(a) R reflexiva
(b) R simtrica
(c) R transitiva
(d) R uma relao de equivalncia
(e) R uma relao de ordem


[8] Considere o conjunto dos automveis da cidade de Bauru. Dizemos que o automvel x
ser relacionado com o automvel y, isto , xRy, se o ltimo algarismo de suas
respectivas placas forem iguais. Assinale a alternativa correta:
Fatec Bauru 60

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
(a) R uma relao de ordem
(b) R uma relao de equivalncia
(c) R uma relao simtrica, porm no transitiva
(d) R uma relao reflexiva, porm no simtrica
(e) R uma relao transitiva, porm no reflexiva

[9] Seja A o conjunto dos seres humanos e seja R = { (a,b) e A x A(a tem o mesmo pai
que b ou a tem a mesma me que b}. Assinale a alternativa correta:
(a) R uma relao de equivalncia
(b) R uma relao de ordem
(c) R no define uma relao de A
(d) R no uma relao de ordem porque no reflexiva
(e) R no uma relao de equivalncia porque no transitiva

[10] Dado o conjunto A = {a, b, c} e a relao binria R definida por aRa, aRb, bRb, bRa,
cRc, temos que:
(a) R uma relao de ordem
(b) R uma relao anti-simtrica
(c) R uma relao no reflexiva
(d) R uma relao no transitiva
(e) R uma relao de equivalncia

[11] Sejam os conjuntos A = {3, 5, 7} e B = {2, -2}. Determine o nmero de relaes
binrias diferentes que podem ser definidas de A em B.

[12] Seja Z o conjunto dos nmeros inteiros, sejam ainda os conjuntos A = {x e Z -1 < x
s 2} e B = {3, 4, 5}. Escreva o conjunto D, tal que D = { (x, y) e A x B y > x + 4}.

[13] Seja o conjunto A = {a, b, c}. Quais as propriedades verificadas em cada uma das
seguintes relaes?
R = { (a, a), (b, b), (a, c), (c, c)} T = { (a, a), (b, b), (b, a)}
S = { (a, a), (a, b), (b, a)} V = { (a, a), (b, b), (a, c), (a, b)}
X = { (a, a), (a, b), (b, c), (a, c)}

[14] Trace o grafo orientado que representa a relao definida por R = { (a, a), (a, b), (b, c),
(c, b), (c, d), (d, a), (d, b)}. Quais as propriedades que so verificadas nesta relao?


61 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Funo

Definies
Seja R uma relao de A em B.
Definio (1): chama-se Domnio de R (ou conjunto de partida) o subconjunto de
A constitudo pelos elementos de x para cada um dos quais existe algum y em B tal que
xRy.
Simbolicamente: D(R) = {x e A - y e B : xRy}

Definio (2): chama-se Imagem de R o subconjunto de B constitudo pelos
elementos de y para cada um dos quais existe algum x em A tal que xRy.
Simbolicamente: Im(R) = {y e B - x e A : xRy}

Exemplo: considere a relao R dada por R = {(1,5), (2,6), (3,7), (4,8)}, temos que:
D(R) = {1, 2, 3, 4}
Im(R) = {5, 6, 7, 8}

Definio (3): sejam A e B conjuntos no vazios e f uma relao de A em B.
Dizemos que f uma funo (ou aplicao) de A em B quando para todo elemento x e A
existe um nico elemento y e B, tal que (x, y) e f.

OBS (1): se f uma funo de A em B, escrevemos y = f(x) (l-se: y imagem de x
pela f) para indicar que (x, y) e f.
OBS (2): f: A B ser a maneira simblica de dizermos que f uma funo de A
em B.

Com os conjuntos A = {1, 4, 7} e B = {1, 4, 6, 7, 8, 9, 12} criamos a funo f: A B
definida por f = { (x, y) e A x B y = x + 5}. A representao, utilizando Diagrama, desta
funo :


D(f) = {1, 4, 7}
Im(f) = {6, 9, 12}

Fatec Bauru 62

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exemplo / Contra-exemplo: Sejam A = {0, 1, 2, 3} e B = {4, 5, 6, 7, 8} e
consideremos as relaes de A em B dadas por:
R1 = { (0, 5), (1, 6), (2, 7)}
R2 = { (0, 4), (1, 5), (1, 6), (2, 7), (3, 8)}
R3 = { (0, 4), (1, 5), (2, 7), (3, 8)}
R4 = { (0, 5), (1, 5), (2, 6), (3, 7)}
Quais das relaes acima so funes? Justifique sua resposta.

Funes injetoras, sobrejetoras e bijetoras
Seja f uma funo, ou seja f: A B.
Definio (1): esta funo f dita Injetora (ou injetiva ou uma injeo) quando
elementos distintos x e A tm sempre imagens distintas pela f, ou seja:
) f(x ) f(x ento x x se
2 1 2 1
= =


Definio (2): esta funo f dita Sobrejetora (ou sobrejetiva ou uma sobrejeo)
quando cada elemento y e B pertence imagem de A pela funo, ou seja:
y f(x) que tal A, x existe ento B y se = e e

Para uma funo ser sobrejetora, deve-se verificar sempre: n(B) s n(A).

Definio (3): esta funo f dita Bijetora (ou bijetiva ou uma bijeo) quando ela
injetora e sobrejetora, ou seja, satisfaz as duas definies anteriores.


Exemplo(1): Sejam A = {1, 2, 3, 4, 5} e B = {2, 4, 6, 8} e f: A B definida por:
f = { (1, 2), (2, 4), (3, 6), (4, 2), (5, 8)}
Esta funo sobrejetora (veja, que no sobra nenhum elemento y e B), mas no
injetora (h elementos distintos x com mesmo y). Logo, tambm, no bijetora.

Exemplo(2): Sejam A = {1, 3, 5} e B = {4, 6, 8, 10} e g: A B definida por:
g = { (1, 4), (3, 8), (5, 10)}
Esta funo injetora (elementos distintos x com elementos y distintos), mas no
sobrejetora (veja que sobra elementos y e B). Logo, tambm, no bijetora.

Exemplo(3): Seja a funo h: 9 9 definida pela sentena h(x) =
2
x para todo x
e 9.
63 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Esta funo no injetora (elementos distintos x e 9 com mesma imagem y e 9,
por exemplo: h(-3) = 9 e h(3) = 9); a funo h tambm no sobrejetora (veja que sobra
elementos y e 9, por exemplo: -5 e f(9)). Logo, tambm, no bijetora.

Exemplo(4): Sejam A = {2, 4, 5} e B = { -, v, } e uma funo f: A B definida
por: f = { (2, -), (4, v), (5, )}
Esta funo injetora e sobrejetora. Logo, tambm, bijetora.


Exerccios
[1] Sejam A = {0, 2, 4, 6, 8} e B = {1, 3, 5, 9}. Enumerar os elementos das seguintes
relaes:
R1 = { (x, y) e A x B y = x + 1}
R2 = { (x, y) e B x A x y}
Dizer qual o domnio e a imagem de cada uma destas relaes.

[2] Seja R a relao definida em
*
pela sentena aberta 2x + y = 10, isto , seja R = { (x,
y) e
*
x

*
2x + y = 10}. Determine o domnio e a imagem de R.

[3] Sendo E = {a, b, c, d} e F = {1, 2, 3}, decida quais das relaes abaixo so funes
definidas de E em F:
(a) R1 = { (a, 1), (b, 2), (c, 3)}
(b) R2 = { (a, 1), (b, 1), (c, 2), (d, 3)}
(c) R3 = { (a, 1), (a, 2), (b, 1), (c, 2), (d, 3)}
(d) R4 = { (a, 2), (b, 2), (c, 2), (d, 2)}

[4] So dados os conjuntos E =
)
`

3
7
, , 2 ,
2
1
, 1 , 0 t
e F = {-1, 1}. Escrever como conjunto de
pares ordenados a funo f: E F tal que:
f(x) =1, se x e Q f(x) = -1, se x e Q

Fatec Bauru 64

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
[5] Dados os conjuntos A = {-1, 0, 1, 2} e B = {0, 1, 2, 3, 4} qual, entre as relaes
seguintes, representa uma funo de A em B?
(a) { (-1, 0), (0, 1), (1, 2), (1, 3), (2, 4)}
(b) { (-1, 1), (0, 1), (1, 0), (1, 2)}
(c) { (0, -1), (1, 0), (2, 1), (4, 2)}
(d) { (-1, 1), (0, 0), (1, 1), (2, 4)}
(e) { (-1, 1), (0, 2), (0, 3), (1, 4), (2, 4)}

[6] Seja a funo f: A B tal que f(x) = 0, se x for par e f(x) = 1, se x for mpar. Sendo o
conjunto A = {x e
*
x < 10} e B = {x x dgito do sistema binrio}.
(a) escreva todos os pares ordenados da funo f;
(b) com relao funo f podemos dizer que ela :
( ) Injetora
( ) Sobrejetora
( ) Bijetora


[7] A funo
2 x
3 2x
f(x)

+
= tem imagem igual Im(f) = {-5, 9,
2
11
,
6
5
}. Qual o conjunto
Domnio de f(x)?


[8] Considere trs funes f, g e h, tais que:
.a funo f atribui a cada pessoa do mundo, a sua idade.
.a funo g atribui a cada pas, a sua capital.
.a funo h atribui a cada nmero natural, o seu dobro.
Podemos afirmar que, das funes dadas, so injetoras:
(a) f, g e h
(b) f e h
(c) g e h
(d) apenas h
(e) nenhuma das funes












65 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Composio de Funes
Definio
Dadas as funes f: A B e g: B C, chama-se funo composta de g com f a
funo h: A C definida pela lei h(x) = ( ) ( ) x f g = gOf(x). Vejamos a representao, num
Diagrama:




Exemplo: Sejam os conjuntos: A= {-1, 0, 1, 2}, B = {0, 1, 2, 3, 4} e C = {1, 3, 5, 7, 9}.
Consideremos as funes f: A B tal que f(x) =
2
x e g: B C tal que g(x) = 2x + 1.
imediato que: f(-1) = 1 f(0) = 0 f(1) = 1 f(2) = 4
Tambm temos: g(0) = 1 g(1) = 3 g(2) = 5 g(3) = 7 g(4) = 9
Temos: f = { (-1, 1), (0, 0), (1, 1), (2, 4)}
g = { (0, 1), (1, 3), (2, 5 ), (3, 7), (4, 9)}
Neste caso, a funo composta h = gOf a funo de A em C que tem o seguinte
comportamento: h(-1) = g(f(-1)) = g(1) = 3 h(0) = g(f(0)) = g(0) = 1
h(1) = g(f(1)) = g(1) = 3 h(2) = g(f(2)) = g(4) = 9
O Diagrama de fechas abaixo ilustra o que ocorreu:









h = gof = { (-1, 3), (0, 1), (1, 3), (2, 9)}
Fatec Bauru 66

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
A funo h(x) tem tambm uma lei de correspondncia que pode ser encontrada
da seguinte forma: h(x) = gOf(x) = g(f(x)) = 2.f(x) + 1 =
2
2.x + 1

OBS: a funo composta gOf no comutativa, isto , gOf = fOg


Exerccios
[1] Sabendo que a funo f: A B dada pela lei f(x) = 2x + 3 e g: B C dada pela lei
g(x) =
2
1 x +
, e que A = {1, 2, 3, 4}, B = {3, 5, 7, 9, 11} e C = {2, 3, 4, 5, 6} determine os
pares ordenados que constituem gof(x) e fog(x) e as suas leis de formao
(correspondncia).

[2] Seja A = {1, 2, 3, 4, 5, 6} e sejam f: A A e g: A A definidas por:
f = { (1,1), (2,1), (3,1), (4,1), (5,1), (6,2)}
g = { (1,5), (2,4), (3,3), (4,2), (5,1), (6,4)}
Determine, ento: fOg
gOf
fOf
gOg

[3] Se f e g so funes dadas pelas leis f(x) =
3
x e g(x) = x + 1, obter as leis que definem
as compostas:
gOf fOg fOf gOg

[4] Sabendo que f(x) =
1 - x
1
, ento, determine a funo fof(x).

67 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Funo Inversa
Definies
Dados os conjuntos A = {1, 2, 3, 4} e B = {1, 3, 5, 7} consideremos a funo f de A
em B definida por f(x) = 2x 1. Notemos que a funo f bijetora formada pelos pares
ordenados f = { (1,1), (2,3), (3,5), (4,7)} onde D(f) = A e Im(f) = B. Chamaremos de relao
inversa de f, e que indicaremos por
1
f

, a relao de B em A tal que
1
f

= { (y, x) (x, y)
e f}. Cada par ordenado pertencente a
1
f

obtido invertendo-se a ordem dos elementos
do par ordenado (x, y) de f. Assim, temos:
1
f

= { (1,1), (3,2), (5,3), (7,4)}
Observe que a relao
1
f

(inversa de f), tambm uma funo, pois, f uma
bijeo de A em B, isto , para todo y e B existe um nico x e A tal que (y, x) e
1
f

.

Definio (1): uma funo bijetora de A em B inversvel se, e somente se, sua
relao inversa
1
f

de B em A tambm for uma funo. As funes f e
1
f

so chamadas
de funes inversas entre si.
OBS (1): os pares ordenados que definem
1
f

podem ser obtidos a partir dos
pares ordenados de f, permutando-se os elementos de cada par, isto : (x, y) e f (y,x) e
1
f


OBS (2): se considerarmos a funo inversa de
1
f

teremos: (y, x) e
1
f

(x, y) e
( )
1
-1
f

, isto , a inversa de
1
f

a prpria funo f, ou seja, ( ) f f
1
-1
=

. Podemos assim
afirmar que f e
1
f

so inversas entre si, ou melhor, uma inversa da outra.
OBS (3): Note que: ( ) f) Im( f D
-1
= e ( ) f) ( D f Im
-1
=

Regra prtica para obteno da Inversa de uma funo:
Dada a funo bijetora f de A em B, definida pela sentena y = f(x), para
obtermos a sentena aberta que define
1
f

, procedemos do seguinte modo:
(1) na sentena y = f(x) fazemos uma mudana de varivel, isto , trocamos x por
y e y por x, obtendo assim x = f(y).
(2) transformamos algebricamente a expresso x = f(y), expressando y em funo
de x, para obtermos y =
1
f

(x).
Fatec Bauru 68

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exemplo: Seja f: A B definida por y = f(x) = 2x -1, como expressar
1
f

(x)?
Resoluo: y = f(x) = 2x 1
x = 2y 1 x + 1 = 2y y
2
1 x
=
+

2
1 x
x) ( f
1
+
=



Exerccios
[1] Seja a funo f = {(1, 2), (3, 3), (5, 4), (7, 5), (9, 6)}. Determine
1
f

,
1 1
) (f

,
1
fof

e
of f
1
.

[2] Nas funes abaixo, obter a lei de correspondncia que define a funo inversa:
(a) 3 2x x) ( f + = (b)
3
1 4x
x) ( f

=
(c) ( ) 2 1 - x x) ( f
3
+ = (d)
3
2 x x) ( f + =
(e) 2 x x) ( f
3
+ = (f)
5 - 3x
3 2x
x) ( f
+
=

[3] As funes f e
1
f

so inversas. Se f definida por
3 - x
1
f(x) = , ento qual ser o valor
de
1
f

(-1)?

[4] Seja a funo f(x) = 5x 3. Determine f o
1
f

.

[5] Sejam A = {-1, 1, 2, -2, 3} e B = {2, 5,10, 20} e a relao definida por g = { (x, y) e A x B
( 1 x y
2
+ = }.
(a) determine os pares ordenados que representam g;
(b) se a relao g for uma funo determine seu Domnio e Imagem;
(c) determine os pares ordenados que representam
1
g

;
(d) a relao
1
g

uma funo? Justifique.


69 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Anlise Combinatria
Introduo
A Anlise Combinatria, que inclui o estudo de permutaes, combinaes e
parties, trata da determinao do nmero de possibilidades lgicas de algum evento
sem necessariamente identificar todos os casos, ou seja, a Anlise Combinatria visa
desenvolver mtodos que permitam contar o nmero de elementos de um conjunto,
sendo estes elementos, agrupamentos formados sob certas condies. Vejamos alguns
exemplos:
. O Conjunto A formado pelos nmeros de dois algarismos distintos formados a
partir dos algarismos 1, 2 e 3:
A = {12, 13, 21, 23, 31, 32}
. O Conjunto C formado pelos anagramas da palavra ADS
C = (ADS, ASD, DAS, DSA, SDA, SAD}
Existem dois princpios bsicos de contagem usados no decorrer deste texto.
1.Princpio da regra da soma: suponha que algum evento E pode ocorrer de m
maneiras e que um segundo evento F pode ocorrer de n maneiras, e suponha que ambos
os eventos no podem ocorrer simultaneamente. Ento, E ou F podem ocorrer de m + n
maneiras.
Exemplo: suponha que existe 8 programadores do sexo masculino e 5
programadores do sexo feminino numa empresa. O gerente de TI pode escolher um
programador de 8 + 5 = 13 maneiras.
2.Princpio da regra do produto (aplicado quando o procedimento feito a partir de
tarefas separadas): suponha que existe um evento E que pode ocorrer de m maneiras e,
independentemente deste evento, que existe um segundo evento F que pode ocorrer de n
maneiras. As combinaes de E e F ocorrem de m . n maneiras.
Exemplo: as cadeiras de um auditrio devem ser etiquetadas com uma letra e um
nmero inteiro positivo que no exceda a 100. O nmero mximo de cadeiras que podem
ser etiquetadas de maneira diferente dado por: 26 . 100 = 2600 cadeiras.
OBS: um dos mtodos para se utilizar o princpio da regra do produto (tambm
chamado de princpio fundamental da contagem) atravs do diagrama de rvore ou
rvore de possibilidades.
Exemplo 1: com os algarismos 0, 1, 2, 3, 4, 5, 6 e 7 quantos nmeros com trs
algarismos podem ser formados? E com trs algarismos distintos?
Fatec Bauru 70

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Exemplo 2: uma pessoa lana uma moeda sucessivamente at que ocorram
duas caras consecutivas, ou que quatro lanamentos sejam realizados, o que primeiro
ocorrer. Quais as sequncias de resultados possveis?


Exerccios
[1] Um programa de computador foi desenvolvido para formar placas de automveis.
Utilizando este programa certa pessoa queria placas apenas com as letras M e R e com
os algarismos mpares. Quantas sero as possveis combinaes de placas, sabendo que
as letras podem repetir e os algarismos no?
[2] Uma loja de informtica disponibiliza 7 tipos de monitores, 5 tipos de teclados e 9
tipos de impressoras para a montagem de computadores. De quantas maneiras
diferentes uma pessoa poder montar seu computador contendo um monitor, um teclado
e uma impressora?
[3] Quantos nmeros de dois algarismos podem ser formados sabendo que, o algarismo
das dezenas corresponde a um mltiplo de 2 (diferente de zero) e o algarismo das
unidades a um mltiplo de 3?
[4] Um homem tem oportunidade de jogar numa roleta, no mximo, cinco vezes. Em cada
jogada ele ganha ou perde 10 reais. Ele comea com 10 reais e obrigado a encerrar a
srie de jogadas se ocorrer uma destas hipteses: ele perde todo o seu dinheiro; ele soma
40 reais. De quantas maneiras o jogo pode se desenrolar? Em quantas dessas maneiras
ele sai ganhando e em quantas ele sai perdendo?

Reviso de Fatorial
Considerando n natural, chama-se fatorial de n ou n fatorial o nmero real n!
tal que:
se n = 0 ento 0! = 1
se n = 1, ento 1! = 1
se n > 2, ento n! = n.(n-1).(n-2)....2.l (produtos de n fatores decrescentes, de
n at 1).
Exemplos: 5! = 5 . 4. 3. 2. 1 = 120
0! + 3! = 1 + 3.2.1 = 1 + 6 = 7
380 19 . 20
! 18
! 18 . 19 . 20
! 18
! 20
= = =
71 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Arranjos
Consideremos o seguinte problema: com os elementos do conjunto A = {4, 6, 8, 9}
vamos formar todos os nmeros possveis de 2 algarismos distintos:
46 64 49 94
69 48 84 68
86 96 89 98
A troca de posio dos algarismos em cada grupo de dois algarismos implica no
aparecimento de nmeros diferentes, ou seja, a ordem dos elementos importante na
composio dos nmeros.
Os nmeros formados so, assim, representados pelos diferentes conjuntos
ordenados de dois algarismos, que possvel formar a partir dos 4 algarismos constantes
no conjunto dado. A esses conjuntos ordenados d-se o nome de arranjos de 4
algarismos 2 a 2.
De um modo geral: dados um conjunto com n elementos quaisquer, chamam-se
arranjos de n elementos p a p todos os conjuntos ordenados que possvel obter com p
elementos escolhidos arbitrariamente entre os n elementos dados.
Notao:
p) , n ( A
(arranjo de n elementos tomados p a p)
Frmula:
p)! - (n
n!
p) , n ( A =
para 0 s p s n


NOTA: dois casos especiais que podem aparecer ao se calcular A(n, p):
-
1
n!
n!
0)! - (n
n!
0) , n ( A = = =
(isto pode ser interpretado dizendo-se que existe apenas
um arranjo ordenado de zero objetos: o conjunto vazio).

-
n
1)! - (n
1)! - n.(n
1)! - (n
n!
1) , n ( A = = =
(esta frmula reflete o fato de que existem n
arranjos ordenados de um objeto).
Fatec Bauru 72

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Permutaes
No caso particular em que se tem p = n obtm A(n, n) que o nmero de arranjos
nos quais entram todos os elementos dados. Neste caso aos arranjos de n elementos
tomados p a p d-se o nome de permutao.
Notao:
n
P
(permutao de todos os n elementos)
Frmula:
n!
1
n!
0!
n!
n)! - (n
n!
n) , n ( A P
n
= = = = =



Combinaes
Consideremos o exemplo: dado o conjunto A = {a, b, c, d} vamos formar todos os
subconjuntos de A com trs elementos:
{a, b, c} {a, b, d}
{a, c, d} {b, c, d}
Tais subconjuntos so chamados de combinaes simples dos 4 elementos de A
tomados 3 a 3. Ou seja, uma combinao simples de trs elementos de A qualquer
subconjunto de A formado por trs elementos.
Observe que duas combinaes simples quaisquer se diferenciam apenas pela
natureza dos elementos e no pela ordem de apresentao dos elementos.
Note que, os subconjuntos {a, b, c} e {a, b, d} so distintos, pois a natureza dos
elementos diferente; j os subconjuntos {b, c, d} e {c, b, d} so iguais, pois a ordem dos
elementos no altera o subconjunto.
De um modo geral: dados um conjunto com n elementos quaisquer, chamam-se
combinaes de n elementos p a p todos os conjuntos que possvel obter com p
elementos escolhidos entre os n elementos (sem atender a qualquer ordem). Uma vez que
se trata de simples conjuntos e no de sequncias ordenadas, duas combinaes sero
distintas quando, e somente quando, existir pelo menos um elemento de uma que no
seja elemento da outra.
Notao:
p) , n ( C
(combinao n elementos tomados p a p)
73 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Frmula:
p)! - (n . p!
n!
p) , n ( C =




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

[2] Um cliente est encomendando um computador. Ele tem as seguintes escolhas: o
monitor pode ser de 17, 19, 21 ou 23 polegadas; o processador pode ser de 1.0, 1.3, 1.5,
1.7 ou 2.0 GHz; o acionador de CD pode ser de 10, 12 ou 14 vezes; a memria RAM pode
ter 64, 128 ou 256 MB; as placas de fax e som so opcionais. Quantas mquinas
diferentes podem ser encomendas com um processador de 1.7 GHz?

[3] A Associao Internacional de Transportes Areos (IATA) designa cdigos formados
por trs letras, para representar a localizao de aeroportos. Por exemplo, o cdigo do
aeroporto de Salvador, na Bahia, SSA. Observe que, na formao desse cdigo,
permitido a repetio. Quantos cdigos de aeroportos so possveis?

[4] De quantas maneiras uma famlia de 5 pessoas pode sentar-se num banco de 5
lugares para tirar uma foto? De quantas maneiras esta foto pode ser tirada, ficando duas
delas (pai e me) sempre juntas, em qualquer ordem?

[5] Quantos nmeros naturais, de algarismos distintos, entre 5000 e 10000 podem ser
formados, utilizando-se dos algarismos 1, 2, 4 e 6?

[6] Uma equipe est sendo formada para a execuo de um trabalho. Existem 8 pessoas
participando da seleo e dessas 5 so analistas de sistemas. De quantas formas
Fatec Bauru 74

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
podemos formar uma equipe com 4 pessoas de modo que metade dos membros seja
analista? Haja exatamente trs analistas nessa equipe?

[7] Num lote de placas de computadores 10 esto boas e 8 esto defeituosas. Extraindo-
se 5 placas (sem reposio) no levando em conta a ordem das mesmas, de quantas
formas podemos obter 3 peas boas e 2 peas defeituosas?

[8] Em um laboratrio existem 30 equipamentos de informtica identificados por
nmeros de 1 a 30. De quantas maneiras diferentes podemos escolher trs equipamentos
de tal forma que a soma dos seus nmeros de identificao tenha como resultado um
numero mpar?

[9] Quantos mltiplos positivos de 5, compostos de trs algarismos distintos, podemos
formar com os elementos do conjunto B = {0, 1, 2, 3, 4, 5}?

[10] Formados e dispostos em ordem crescente todos os nmeros que se obtm,
permutando-se os algarismos 2, 3, 4, 5 e 6 em que posio estar o nmero 53426?

[11] Uma pessoa vai digitar sua senha para entrar num sistema, mas na hora de digitar
a senha, esqueceu-se da mesma. Ela lembra que a senha tem 5 algarismos, comea com
6, no tem algarismos repetidos e tem o algarismo 7 em alguma posio. Qual ser o
nmero mximo de tentativas para esta pessoa acertar sua senha?

[12] Em uma reunio social, cada pessoa cumprimentou todas as outras uma nica vez
havendo ao todo 45 apertos de mo. Quantas pessoas estavam nesta reunio? Sabendo-
se que metade dessas pessoas so programadores em Java e a outra metade
programadores em COBOL, quantas comisses de quatro pessoas podem ser formadas,
sendo que, nesta comisso duas pessoas, no mnimo, saibam programar em Java?

[13] Determine o valor de n, sabendo-se que:
(a)
30 A
2 n,
=

(b)
18 A A
2 1, n 2 n,
= +
+

75 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
[14] De quantas maneiras trs casais heterossexuais podem ocupar seis cadeiras,
dispostas em fila, de tal forma que as duas extremidades sejam ocupadas por homens?

[15] Para instalar um programa em um computador no Laboratrio de Redes de uma
Faculdade, necessrio uma senha formada por trs algarismos distintos; em seguida,
para reiniciar o programa e completar a instalao, necessrio digitar uma outra senha
formada por duas letras distintas escolhidas entre as letras da palavra INSTAL. Qual
ser, neste caso, o nmero mximo de tentativas que uma pessoa, no conhecedora das
duas senhas, dever realizar para ter sucesso na instalao de um programa?

[16] Considere o seguinte conjunto N = {0, 1, 2, 3, 4, 5, 6}. Quantos nmeros de trs
algarismos distintos podem ser formados com os elementos deste conjunto? Dos
nmeros de trs algarismos formados nas condies anterior, quantos so os que tem o
algarismo 1 no primeiro lugar (centenas)?

















Fatec Bauru 76

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
Teoria dos Grafos
Introduo
A teoria dos grafos um ramo da Matemtica Discreta que estuda as relaes
entre objetos de um determinado conjunto. Os grafos so estruturas discretas que
consistem em vrtices e arestas que ligam estes vrtices. Estruturas que podem ser
representadas por grafos esto em toda parte e muitos problemas de interesse prtico
podem ser formulados como questes sobre certos grafos. Usando modelos de grafos, por
exemplo, podemos determinar se possvel percorrer todas as ruas de uma cidade sem
passar por uma rua duas vezes, podemos determinar se dois computadores esto ligados
por um link de comunicao usando modelo de grafo de redes de computadores.
Neste captulo ento, o objetivo introduzir os conceitos bsicos de teorias dos
grafos e apresentar alguns modelos de grafos diferentes.
Definies
Definio 1: Um grafo G = (V, E) consiste em V, um conjunto no vazio de vrtices
(pontos ou ns) e E, um conjunto de vrtices distintos, chamados de arestas. Cada
vrtice v em V representado por um ponto (ou pequeno crculo), e cada aresta e = {v1,
v2} representada por uma curva que conecta seus extremos v1 e v2.
Exemplo 1: o exemplo clssico de um grafo o de algumas cidades ligadas por
rodovias. Nesta representao as cidades seriam os vrtices e as rodovias as arestas.





Exemplo 2: consideremos o grafo G = (V, E):




. V consiste nos vrtices A, B, C, D
. E consiste nas arestas e1 = {A, B}, e2 = {B, C}, e3 = {C, D}, e4 = {A, C}, e5 = {B, D}
77 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
Definio 2: Um grafo orientado (ou dgrafo) (V, E) consiste em um conjunto no
vazio de vrtices V e um conjunto de arestas orientadas (ou arcos). Cada aresta orientada
est associada a um par ordenado de vrtices. dito que, a aresta orientada associada
ao par ordenado (u, v) comea em u e termina em v.
NOTA: os grafos so geralmente representados graficamente da seguinte maneira:
desenhado um crculo para cada vrtice e, para cada aresta desenhado um arco
conectando suas extremidades. Se o grafo for orientado, seu sentido indicado na aresta
por uma seta.
Vejamos abaixo, um exemplo de um grafo orientado:




V = {1, 2, 3, 4, 5, 6}
E = {(1, 4), (1, 6), (2, 1), (2, 3), (2, 5), (3, 2), (4, 3), (6, 5)}

Conceitos bsicos da Teoria dos Grafos
Consideremos o grafo:




Trata-se de um grafo simples com o conjunto de vrtices V = {1, 2, 3, 4, 5, 6} e um
conjunto de arestas E = { {1, 2}, {1, 5}, {2, 3}, {2, 5}, {3, 4}, {4, 5}, {4, 6}}.
Conectando dois vrtices, temos uma aresta: esses dois vrtices so ditos como
incidentes aresta.
Dois vrtices so considerados adjacentes se uma aresta existe entre eles. No grafo
acima, os vrtices 1 e 2 so adjacentes, mas os vrtices 2 e 4 no so. O conjunto de
vizinhos de um vrtice consiste de todos os vrtices adjacentes a ele. No grafo acima, o
vrtice 1 possui dois vizinhos: vrtice 2 e vrtice 5.
Fatec Bauru 78

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
O grau (ou valncia) de um vrtice v em um grafo G igual ao nmero de arestas
em G que contm v, isto , que so incidentes a v. Como cada aresta contada duas
vezes na contagem dos graus dos vrtices de G, temos o seguinte resultado simples, mais
importante:

A soma dos graus dos vrtices de um grafo G igual a
duas vezes o nmero de arestas em G


Por exemplo, no grafo:



Temos:
deg(A) = 2 deg(B) = 3 deg(C) = 3 deg(D) = 2
Perceba que a soma dos graus igual a 10, que, como esperado, igual a duas
vezes o nmero de arestas.
Um caminho em um grafo G consiste em uma sequncia alternada de vrtices tal
que cada um dos vrtices existe uma aresta para o vrtice seguinte. Um caminho
simples um caminho em que todos os vrtices so distintos, ou seja, nenhum dos
vrtices no caminho se repete. Um caminho em que todas as arestas so distintas
chamado trilha. O nmero de arestas dito o comprimento do caminho. Ciclo (ou
circuito) um caminho fechado de comprimento 3 ou mais onde todos os vrtices so
distintos. Ciclos de comprimento 1 so laos.
Vejamos o grafo:




Consideremos as seguintes sequncias:
o = (A, D, E, B, D, E, F, C) | = (A, D, B, E, C)
u = (A, D, B, E, F, B, C) t = (A, D, B, F, C)

79 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio
A sequncia o um caminho de A para C; porm, no uma trilha, j que a aresta
{D, E} usada duas vezes; a sequncia | no um caminho, j que no existe aresta {E,
C}; a sequncia u uma trilha, uma vez que nenhuma aresta usada duas vezes; mas
no um caminho simples, pois o vrtice B usado duas vezes; a sequncia t um
caminho simples de A para C, mas no o menor caminho (no que diz respeito ao
comprimento de A para C; note que o menor caminho de A para C o caminhos simples
(A, B, C) que tem comprimento 2).

Exerccios
[1] Considere o grafo abaixo. Descreva formalmente o grafo G do diagrama, isto , ache o
conjunto V de vrtices de G e o conjunto E das arestas de G. Ache o grau de cada vrtice:







[2] Dado o grafo orientado G abaixo. Descreva formalmente G; ache todos os caminhos
simples de X para Z; ache todos os caminhos simples de Y para Z; ache todos os ciclos de
G.






[3] O grafo de interseco de uma coleo de conjuntos
1
A ,
2
A , ...,
n
A o grafo que tem
um vrtice para cada um desses conjuntos e tem uma aresta que liga os vrtices que
representam dois conjuntos se estes conjuntos tiverem uma interseco no vazia.
Construa o grafo de interseco destas colees de conjuntos:
Fatec Bauru 80

Matemtica Discreta - 1 Semestre Modesto, Marco Antonio
(a) } 8 , 6 , 4 , 2 , 0 { A
1
= } 4 , 3 , 2 , 1 , 0 { A
2
=
} 9 , 7 , 5 , 3 , 1 { A
3
= } 8 , 6 , 4 , 2 , 0 { A
4
=
} 9 , 8 , 1 , 0 { A
5
=
(b) } 0 1, - , 2 - 3, - , 4 {..., A
1
= } 2 1, , 0 , 1 - , 2 - {..., A
2
=
...} 6, 4, , 2 , 0 , 2 - , 4 - , 6 {..., A
3
= } 5,... 3, , 1 , 1 - , 3 - , 5 {..., A
4
=
6,...} 3, , 0 , 3 - , 6 {..., A
5
=

[4] Descreva formalmente o grafo G abaixo. Em seguida, determine o grau de cada vrtice
e se existir, todos os ciclos de G. Em seguida, determine todos os caminhos simples de 3
para 1:




[5] Dado o grafo orientado descrito formalmente por G = (V, E), tal que V = {1, 2, 3, 4, 5,
6} e E = {(1, 2), (1, 4), (1, 6), (2, 1), (2, 3), (3, 4), (3, 5), (4, 5), (5, 6), (6, 3)}.
(a) represente o grafo G;
(b) determine o grau de cada vrtice do grafo G;
(c) determine, se existir, todos os ciclos do grafo G;
(d) quais ns so acessveis a partir do n 3?
(e) qual o comprimento do caminhos mais curto do n 3 para o n 6?
(f) qual o caminho de comprimento 8 do n 1 para o n 3?

81 Fatec Bauru

Matemtica Discreta - 1 Semestre MODESTO, Marco Antonio

Bibliografia


ABE, Jair Minoro. Teoria intuitiva dos conjuntos. So Paulo: Makron McGraw-Hill, 1991.
ALENCAR FILHO, Edgard de. Iniciao lgica Matemtica. So Paulo: Nobel, 2002.
GERSTING, Judith L. Fundamentos matemticos para a Cincia da Computao Um tratamento moderno
de Matemtica discreta. 5. ed. Rio de Janeiro: LTC, 2003.
IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemtica elementar. v. 1. 8. ed. So Paulo: Atual,
2004.
LIPSCHUTZ, S. Teoria e problemas de Matemtica Discreta. Porto Alegre: Bookman, 2004 (Coleo
Schaum).
MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica. Porto Alegre: Editora Sagra
Luzzatto, 2004.
ROSEN, Kenneth H. Matemtica Discreta e suas aplicaes. So Paulo: McGraw-Hill, 2009.
SCHEINERMAN, E. R. Matemtica Discreta: uma introduo. So Paulo: Cengage Learning, 2008.
SULLIVAN, Michael; MIZRAHI, A. Matemtica finita: uma abordagem aplicada. Rio de Janeiro: LTC Editora,
2006.