Documente Academic
Documente Profesional
Documente Cultură
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
[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.