Matemtica Discreta

Francisco Flvio Modesto de Andrade

Recife, 2009

Universidade Federal Rural de Pernambuco

Reitor: Prof. Valmar Corra de Andrade
Vice-Reitor: Prof. Reginaldo Barros
Pr-Reitor de Administrao: Prof. Francisco Fernando Ramos Carvalho
Pr-Reitor de Extenso: Prof. Paulo Donizeti Siepierski
Pr-Reitor de Pesquisa e Ps-Graduao: Prof. Fernando Jos Freire
Pr-Reitor de Planejamento: Prof. Rinaldo Luiz Caraciolo Ferreira
Pr-Reitora de Ensino de Graduao: Prof. Maria Jos de Sena
Coordenao Geral de Ensino a Distncia: Prof Marizete Silva Santos
Produo Grfica e Editorial
Capa e Editorao: Allyson Vila Nova, Rafael Lira e Italo Amorim
Reviso Ortogrfica: Marcelo Melo
Ilustraes: Allyson Vila Nova
Coordenao de Produo: Marizete Silva Santos

Sumrio
Apresentao.........................................................................................5
Captulo 1 - Conjuntos: uma breve reviso.........................................6
1.1 Definies......................................................................................6
Captulo 2 - lgebra de Conjuntos: como operar com conjuntos?.15
2.1 Operaes entre conjuntos..........................................................15
2.2 Partio de um conjunto..............................................................23
2.3 Cardinal da unio e da interseo...............................................25
2.4 Produto Cartesiano......................................................................31
2.5 Produto Cartesiano de k conjuntos..............................................33
2.6 Identidades de conjuntos.............................................................34
Captulo 3 - Introduo Lgica Matemtica....................................40
3.1 Proposies compostas...............................................................41
3.2 Tautologias e Contradies.........................................................47
3.3 Negao de conjuno e de disjuno........................................50
3.4 lgebra das proposies.............................................................50
3.5 Funes proposicionais. Quantificadores....................................55
3.5.1 Quantificadores....................................................................55
3.5.2 Negao de sentenas quantificadas..................................56

Captulo 4 - Portas Lgicas.................................................................62

4.1 Porta Not (No)............................................................................62
4.2 Porta Or (Ou)...............................................................................63
4.3 Porta And (E)...............................................................................63
4.4 Porta Nand e Porta Nor...............................................................64
4.5 Portas XOR e XNOR...................................................................65
4.6 Portas Lgicas Equivalentes.......................................................65
4.7 Propriedades das Portas Lgicas................................................66

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

Matemtica Discreta

Captulo 1 - Conjuntos: uma

breve reviso

A ideia de conjuntos largamente utilizada em Computao e

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

1.1 Definies
Conjuntos so geralmente designados por letras maisculas
e reservam-se as letras minsculas para representar os seus
elementos. A expresso xA significa que x elemento do
conjunto A. Se x no elemento do conjunto A, escrevemos
xA.
Vrias maneiras podem ser usadas para descrever um conjunto.
Entre elas, destacamos as seguintes:
Listando seus elementos, isto , nomeando explicitamente
todos os seus elementos, colocando-os entre chaves e
separados por vrgula.

Exemplo: A = { a, e, i, o, u }, B = { a, b, c, d }.

Definindo uma propriedade de seus elementos. Em geral

escrevemos { x : P(x) }, isto , o conjunto dos x tal que x tem a
propriedade P.

Exemplo: A = { x : x uma letra vogal do alfabeto portugus },

B = { x : x uma das quatro primeiras letras minsculas do
alfabeto portugus }.

Por meio de um Diagrama de Venn (1834-1923): O conjunto

constitudo por todos os elementos sob considerao numa
6

Matemtica Discreta

determinada situao denominado conjunto universo U

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

A ideia de conjunto universo U estar sempre presente mesmo

quando no seja explicitamente mencionado num determinado
problema ou situao. Em Matemtica, h conjuntos que constituem
muito frequentemente os universos do discurso, sendo conveniente
indicar nomes para eles. Entre os mais importantes, destacaremos:
N = { 0, 1, 2, 3, 4, 5, ... } o conjunto dos nmeros naturais.
(Perceba que 0 N)
N*= { 1, 2, 3, 4, 5, ... } o conjunto dos nmeros naturais
positivos.
Z = { x : x um nmero inteiro } = { ..., -3, -2, -1, 0 , 1 , 2, 3, ... }
Q = { x : x um nmero racional } o conjunto de todos os
nmeros que podem ser escritos sob a forma de frao.
R = { x : x um nmero real }
I = { x : x um nmero irracional } o conjunto dos nmeros
reais no racionais, isto , no podem ser escritos sob a forma
de frao.
Conjunto vazio o conjunto sem elementos, pode ser
representado pelos smbolos ou { }
Exemplo: A = { x N : 1 < x < 2 } um conjunto vazio, pois no
existe nmero natural entre 1 e 2.
Exemplo: B = { x Z : x2 = 3 } tambm um conjunto vazio. Voc
sabe por qu? Existe nmero inteiro cujo quadrado seja igual a 3?
7

Matemtica Discreta

Conjuntos iguais. Dois conjuntos so iguais se, e somente

se, contm os mesmos elementos. Por exemplo: Os conjuntos
A = { x Z : x2 = 4 } e B = { -2, 2 } so iguais.
Subconjunto. Um conjunto A subconjunto do conjunto B se
todo elemento do conjunto A tambm elemento de B. Usamos
a notao A B para denotar que A subconjunto de B e lemos
A est contido em B.

Por exemplo: A = { 1, 2 } subconjunto de B = { 1, 2, 3 } mas no

subconjunto de C = { 1, 3, 4 }.
Agora, vamos lembrar algumas concluses relacionadas a
subconjunto.
Observao 1. De acordo com a definio de subconjunto, o
conjunto vazio subconjunto de qualquer conjunto A, isto ,
A. Isso parece estranho a voc? Mas, existe algum elemento
no conjunto que no esteja no conjunto A? A sua resposta foi
no! Logo, o conjunto vazio subconjunto do conjunto A.

Tambm dizemos que A A, qualquer que seja o conjunto A.

Isso verdade, pois todo elemento de A, elemento de A.

Observao 2. Se A B e A subconjunto de B, escrevemos

A B para dizer que A subconjunto prprio de B. Por
exemplo, { 1, 2, 3 } subconjunto prprio de { 1, 2, 3, 4, 5 }.
Temos tambm que N Z, Z Q, Q R. Veja a figura a seguir.

Matemtica Discreta

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

a 1, b 2, c 3, d 4, e 5. Voc ento conclui que o

cardinal do conjunto A 5.

Conjunto infinito. Um conjunto A infinito se no finito.

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

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

Matemtica Discreta

Aprenda Praticando: Exerccios Propostos 1.1

Demonstre que voc entendeu bem os assuntos dessa seo,
resolvendo os exerccios propostos. As respostas dos exerccios so
apresentadas logo a seguir. Se tiver dvidas, procure san-las com
professores e tutores da disciplina.
1) Considere N = { 0, 1, 2, 3, 4, ... }. Liste os elementos de cada
um dos seguintes conjuntos:
Lembrete
Um nmero
natural n N,
n > 1 primo se
os seus nicos
divisores so 1
e n.

a) { n N : n divisvel por 3 }
b) { x : x = 2n-1 , n N* }
c) { x : x = 2y +1 : yN e y < 8 }
d) { x = 2n : n N }
e) { x : x =1/n : n N* e n < 6 }
f) { n N* : n + 1 primo }
2. Liste os elementos dos seguintes conjuntos e informe que
conjuntos so vazios.
a) { n N : n2 = 9 }
b) { n Z : n2 = 9 }
c) { x R : x2 = 9 }
d) { n N : 3 < n < 7 }
e) { n Z : | n | < 7 }
f) { x R : x2 0 }
g) { n N : n2 = 3 }
h) { x Q : x2 = 3 }
i ) { x R : x2 = -4 }
j) { n N : n primo e n 15 }
3. Determine o cardinal dos seguintes conjuntos:
a) A = { x : x = 2n + 1, 3 n 6, n N }
b) B = { y = -x + 1, -2 x 2, x Z }
10

Matemtica Discreta

c) C = { y = x2 + 1, -2 x 2, x Z }
4. Se A = { x Z : 4 divide x } e B = { x
subconjunto prprio de B?

Z : 2 divide x }. A

5. Relacione todos os subconjuntos X do conjunto A = { 1, 2, 3, 4 }

tais que #X = 2.
6. Represente os conjuntos abaixo indicados por uma propriedade
caractersticas de seus elementos:
A = { -6, -4, -2, 0, 2, 4, 6 } B = { 13, 11, 9, 7, 5 }
C = { 2, 6, 10, 14, ..., 42 }.
7. Sejam X = { 1, 2, 3 }, Y = { 2, 3, 4 } e Z = { 2 } . Encontre o maior
conjunto W satisfazendo as seguintes condies W X, W Y
e Z W . Faa diagramas de Venn.
8. Dados os conjuntos A = { um , dois }, B = { dois, tres, quatro } e
C = { um, quatro } identifique o menor conjunto D tal que A D,
B D e C D. Faa diagramas de Venn.
9. Suponha que A B , B C , 1A , 2B , 3C . Quais das
afirmaes abaixo sempre so verdadeiras?
a) 1 B

b) 2 A

c) 3 A

10. Seja A = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }. Nomear os elementos dos

seguintes conjuntos:
a) B = { x A : x par }
b) C = { xA : x mltiplo de 3 }
c) D = { x A : x + 1 < 6 }
d) E = { x A : x < 10 }
e) F = { x A : x + 3 A }.
11. Dizer quais dos seguintes conjuntos so infinitos:
a) O conjunto das retas do plano que so paralelas ao eixo dos x.
b) O conjunto das palavras com duas letras do alfabeto
portugus.
c) O conjunto dos mltiplos de cinco.
d) O conjunto dos animais existentes na Terra.
11

Matemtica Discreta

p
onde p, q { 1, 2, 3, 4, ..., 10 }
q
12. Represente os seguintes conjuntos por meio de uma
propriedade comum aos seus elementos:
e) O conjunto das fraes

a) A = { 4, 8, 12, 16, 20, ... }

b) B = { 4, 8, 12, .... 204 }
c) C = { 7, 17, 27, 37, ... }
d) D = { 7, 17, 27, 37, ..., 207 }
e) E = { 300, 301, 302, ..., 399, 400 }
f) F = { 1, 4, 9 , 16, 25, ... }
g) G = { 1, , , 1/8, 1/16, ..., 1/1024 }
13. Partindo das premissas:

(1) Todo reprter esperto.

(2) Todo reprter formado em Jornalismo.

(3) Jamil esperto.

(4) Adelaide jornalista.

Pode-se concluir que

a) Adelaide esperta?
b) Jamil reprter?
c) H jornalistas espertos?

Respostas dos Exerccios Propostos 1.1

Aqui voc poder conferir as suas respostas. Caso elas no
correspondam s apresentadas abaixo, converse com seus colegas
sobre os exerccios, releia os contedos da seo e descubra o
motivo da divergncia. Lembre-se que os tutores podem ajud-lo.
Consulte-os!
1. a) { 0, 3, 6, 9, 12, 15, ... }

b) { 1, 3, 5, 7, 9, ... }

d) { 0, 2, 4, 8, 16, 32, ... }

c) { 1, 3, 5, 7, 9, ..., 15 }
12

Matemtica Discreta

e) { 1, , 1/3, , 1/5 }

f) { 1, 2, 4, 6, 10, 12, ... }

2. a) { 3 }

b) { -3, 3 }

d) (4, 5, 6 }

e) { -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6 }

f) { 0 }

g)

3. a) #A = 4

c) { -3, 3 }

h)

b) #B = 5

i)

c) #C = 3

4. sim
5. { 1, 2 }, { 1, 3 }, { 1, 4 }, { 2, 3 }, { 2, 4 }, { 3, 4 }
6. A = { x : x = 2y, y Z, -3 y 3 }

B = { x: x = 2y + 1, y N, 2 y 6 }

C = { x : x = 2 + 4n , n N n 10 }

7. W = { 2, 3 }
8. D = { um, dois, trs, quatro }
9. b) e c)
10. B = { 2, 4, 6, 8 }

C = { 3, 6, 9 }

F = { 7, 8, 9 }

E = A

D = { 1, 2, 3, 4 }

11. a) e c)
12. A = { x : x = 4n, nN* }, B = { x : x = 4n, nN*, n 51 },

C = { x : x = 7 +10n, nN }, D = { x : x = 7 +10n, nN, n 20 }

E = { x : 300 x 400, x Z }, F = { x : x = n2, n N }

G={x;x=

1
n2

, n N, n 10 }.

13. c.

Lembrete
A Matemtica uma disciplina de natureza cumulativa. importante dominar
bem seus fundamentos antes de passar para tpicos mais avanados.

13

Matemtica Discreta

Saiba Mais
Caro (a) cursista. Aprofunde seus conhecimentos sobre conjuntos,
consultando os seguintes livros:

ABE, Jair Minoro; PAPAVERO, Nelson. Teoria intuitiva dos

conjuntos. So Paulo McGraw Hill:, 1997.

ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica.

So Paulo: Nobel, 1995.

GERSTING, Judith L. Fundamentos Matemticos para a

Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.

LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas

de Matemtica Discreta. Porto Alegre: Bookman, 2004

Scheinerman, Edward R. Matemtica Discreta: uma

introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.

14

Matemtica Discreta

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

2.1 Operaes entre conjuntos

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

Interseo de Conjuntos: Se A e B so dois conjuntos ento o

conjunto A B denota a interseo de A e B, constitudo pelos
elementos que pertencem a A e a B.
AB={x:xA e xB}

Complementar. Seja U o conjunto universo e A um subconjunto

de U. Chama-se complementar de A em relao ao conjunto U
ao conjunto A dos elementos de U que no pertencem a A.
A ={xU:xA}

15

Lembrete

A se escreve
tambm A

Matemtica Discreta

Lembrete
A B pode ser
escrito assim:
A

Diferena: Se A e B so conjuntos ento A B denota o

conjunto dos elementos de A que no esto em B.
A B = { x: x A e x B }

Lembrete

Diferena Simtrica: Se A e B so conjuntos ento AB ou

AB denota o conjunto dos elementos que esto em A ou em B,
mas no em ambos. O smbolo representa o ou exclusivo.
AB = { x: x (A-B) ou x (B-A) }

AB = (A B ) ( A B)

A B pode ser
escrito assim:

AB

Exemplo 2.1.1: Aqui, apresentamos exemplos de todas as

operaes definidas acima. Confira os resultados.

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

A B = { 6, 8 }

A B = { 1, 2, 3, 4 }

B A = { 5, 7, 9 }

A = { 5, 7, 9, 10, 11, 12 }

B = { 1, 2, 3, 4, 10, 11, 12 }

A B = { 1, 2, 3, 4, 5, 7, 9 }
16

Matemtica Discreta

Tabela de pertinncia das operaes entre conjuntos:

Para construirmos a tabela de pertinncia de um conjunto,
procedemos como segue. Se x X, indicamos o fato pondo
1 (verdadeiro) na coluna do conjunto X. Se x X, indicamos o
fato pondo 0 (falso) na coluna do conjunto X.
Por exemplo, em relao unio de dois conjuntos AB,
existem quatro situaes distintas indicadas nas quatro linhas
da tabela de pertinncia da unio abaixo:

Elementos que no pertencem a nenhum dos dois conjuntos

(linha 1), no pertencem a A B.

Elementos que no pertencem a A e pertencem a B (linha

2), pertencem a A B.

Elementos que pertencem a A e no pertencem a B (linha

3), pertencem a A B.

Elementos que pertencem a A e a B (linha 4), pertencem a

A B.

Tabela de pertinncia da unio

Tabela de pertinncia da interseo

Em relao interseo de dois conjuntos A B, existem

quatro situaes distintas indicadas na tabela de pertinncia
da interseo abaixo:

Elementos que no pertencem a nenhum dos dois conjuntos

(linha 1), no pertencem a A B.

Elementos que no pertencem a A e pertencem a B (linha

2), no pertencem a A B.

Elementos que pertencem a A e no pertencem a B (linha

3), no pertencem a A B.

Elementos que pertencem a A e a B (linha 4), pertencem a

A B.
17

Matemtica Discreta

As tabelas de pertinncia dos conjuntos A B, B A e AB

so apresentadas abaixo, de acordo com as respectivas
definies.

Tabela de pertinncia do complementar. A tabela de

pertinncia do complementar apresenta apenas duas linhas,
visto que o complementar uma operao que envolve apenas
um conjunto.

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

os seus subconjuntos:
A = { 1, 2, 3, 4, 5, 6, 7 }

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

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

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

E = { 2, 4, 6, 8 }

F = { 1, 5, 9 }

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

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

B D = { 1, 3, 4, 5, 6, 7, 8, 9 }

B D = { 5,7 }

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

A C = { 5, 6,7 }

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

DE=

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

D F = { 1, 5, 9 }

E E = { 2, 4, 6, 8 }

EE=E

18

Matemtica Discreta

A = { 8, 9 }

B = { 1, 2, 3, 9 }

C = { 1, 2, 3, 4 }

D ={ 2, 4, 6, 8 }

A B = { 1, 2, 3 }

BA={8}

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

EE=

AB = { 1, 2, 3, 8 }

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

AD = { 2, 4, 6, 9 }

AE = { 1, 3, 5, 7}

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

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

Voc observou
no exerccio 2.1.2
que

A B = A B

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

e que

A B = { 8,9 } { 1, 2, 3, 9 } = { 1, 2, 3, 8, 9 }
Exemplo 2.1.3: Para construir a tabela de pertinncia do conjunto
(A B ) ( A B), devemos construir colunas para os conjuntos A,
B, A e B . Em seguida, as colunas relativas aos conjuntos A B ,
A B e por ltimo, a coluna do conjunto (A B ) ( A B).

Voc deve observar que, logo aps o preenchimento com 0 (zero)

e 1 (um) nas colunas relativas aos conjuntos A e B, preenchemos as
colunas do complementar de A, denotado por A , e do complementar
19

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

Matemtica Discreta

de B, denotado por B , simplesmente trocando 0 (zero) por 1 (um).

As colunas relativas aos conjuntos A B e A B so preenchidas
por 0 (zero) e 1 (um) de acordo com a tabela de pertinncia da
interseo. Por fim, a ltima coluna feita de acordo com a tabela de
pertinncia da unio de conjuntos. A tabela de pertinncia do conjunto
(A B ) ( A B) a igual tabela de pertinncia do conjunto
A B. Observe isso. Mostraremos na seo 2.6 como provar a
igualdade entre conjuntos. observando a igualdade das respectivas
tabelas-verdade.
Exemplo 2.1.4. Na determinao dos tipos sanguneos, cada
pessoa duplamente classificada: se o sangue tem o antgeno Rh,
ele Rh positivo, caso contrrio Rh negativo. Se o sangue contm
o antgeno A, mas no contm o antgeno B, tipo A. Se o sangue
tem o antgeno B, mas no tem o antgeno A, tipo B. Se tem ambos,
tipo AB. Se nenhum dos dois antgenos est presente, tipo O.
Considere os conjuntos:

P = { x : x pessoa cujo sangue contm o antgeno Rh }

A = { x : x pessoa cujo sangue contm o antgeno A }

B = { x : x pessoa cujo sangue contm o antgeno B }

Um elemento x qualquer pode pertencer ou no a cada um

dos trs conjuntos P, A e B. Ao todo so 8 possibilidades.Elas so
representadas na tabela ao lado e no diagrama de Venn.

Determine os respectivos
pertencentes a cada conjunto:

tipos

sanguneos

das

1) P A B = { g }

5) P A B = { a }

2) P A B = { d }

6) P A B = { h }

20

pessoas

Matemtica Discreta

3) P A B = { f }

7) P B A = { b }

4) P B A { e }

8) P A B = { c }

Respostas

1) Tipo AB Rh+

5) Tipo A Rh-

2) Tipo AB Rh-

6) Tipo O Rh-

3) Tipo A Rh+

7) Tipo B Rh-

4) Tipo B Rh+

8) Tipo O Rh+

Aprenda Praticando: Exerccios Propostos 2.1

Apresentamos agora uma lista de exerccios para que voc mostre
que entendeu as operaes entre conjuntos. Discuta com seus
colegas as respostas que so apresentadas logo em seguida.
1. Considere o conjunto universo igual ao conjunto U de todos os
alunos da UFRPE e os seguintes subconjuntos:

A = { x : U: x aluno do Curso de Agronomia }

B = { x : U: x aluno do Curso de Biologia }

C = { x : U: x aluno do Curso de Cincia Domsticas }

Defina os seguintes conjuntos por meio de operaes com

conjuntos:

a) O conjunto dos alunos da UFRPE que cursam Biologia ou

Cincias Domsticas (Eles podem fazer apenas um desses
cursos ou ambos).
b) O conjunto dos alunos da UFRPE que fazem Agronomia
e Biologia ao mesmo tempo, mas no fazem Cincias
Domsticas.
c) O conjunto dos alunos da UFRPE que cursam Agronomia e no
cursam Biologia.
d) O conjunto dos alunos da UFRPE que fazem apenas um dos
cursos A, B e C.
e) O conjunto dos alunos da UFRPE que no fazem qualquer um
21

Matemtica Discreta

dos cursos A, B e C .
f) O conjunto dos alunos da UFRPE que fazem Biologia, mas no
Cincias Domsticas ou fazem Cincias Domsticas mas no
Biologia.
2. Considere o conjunto A = { 1, 2, 3, 4, 5, 6, 7, 10,12,13 }. Listar
os elementos dos seguintes conjuntos:

A1 = { x A : x2 9 }

A2 = { x A : (x + 2) A }

A3 = { x A : x-1 impar }

A4 = { x A : x divisvel por 2 ou por 3 }

A5 = { x A : x2 4 = 0 ou x2 9x + 20 = 0 }

Calcule:

a) (A1 A2) (A1 A3)

b) (A3 A4) (A1 - A4)

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

subconjuntos

S = { x U : x reside no Brasil }

M= { x U : x mulher }

J = { x U : x tem menos de 25 anos }

A = { x U : x tem mais de 1,70 m de altura }

Descreva os conjuntos abaixo atravs de uma propriedade

caracterstica dos seus elementos:

a) S A J

b) S (J A)

c) S (M J)

d) S (M J).

4. Encontre os conjuntos A e B, sabendo-se que:

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

Respostas dos Exerccios Propostos 1.1

1. a) B C

b) (A B) C

d)

c) A B
22

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

Matemtica Discreta

A B = = { 9 }

e) { A B C }

f) BC

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

A2 = { 6,7,12,13 }

A3= { 2, 4, 6, 10, 12 }

A5 = { 2, 4, 5 }

a) (A1 A2) (A1 A3) = {6, 7, 12, 13} {4, 6, 10,12} = { 7, 13 }

b) (A3 A4) (A1 A4) = { 2, 3, 4, 6, 10, 12 } { 3, 5, 7, 13 }

A4 = { 2, 3, 4, 6, 10, 12 }

= { 2, 4, 5, 6, 7, 10, 12, 13 }.

3. a) S A J = { x U : x reside no Brasil, tem menos de 25

anos e mais 1,70 m de altura }

b) S (J A) = { x U : x reside no Brasil, tem menos de 25

anos e 1,70 m de altura e no mximo 1,70 m de altura }.

c) S (M J) = { x U : x reside no Brasil e mulher ou tem

menos de 25 anos }.

d) S (M J) = { x U : x reside no Brasil ou mulher com

menos de 25 anos }.

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

2.2 Partio de um conjunto

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

Matemtica Discreta

Aprenda Praticando: Exerccios Propostos 2.2

Agora, voc solicitado a apresentar parties de conjuntos.
Algumas parties so constitudas por conjuntos finitos outras no.
Mos obra!
1. D parties dos seguintes dos conjuntos:

a) N

b) Z

c) S = { 0, 1, 2 ,3, 4, 5, 6 , 7, 8, 9 }.

2. Se S = { 0, 3, 6, 9, 12,15, 18, ... }, escrever uma partio de S

que:

a) contenha dois subconjuntos infinitos.

b) contenha trs subconjuntos infinitos.

3. Se S = { 1, 5, 9, 13, 17, 21, 25, ... }, os conjuntos A1 = { 1 + 12n, n N },

A2 = { 5 + 12n, n N } e A3 = { 9 + 12n, n N } constituem uma
partio de S.

Respostas dos Exerccios Propostos 2.2

As suas respostas possivelmente no batem com as apresentadas
logo abaixo. Isso pode ocorrer, pois um conjunto pode ter vrias
parties.
1. a) A1= { 0, 2, 4, 6, 8, 10, ... }

A2 = { 1, 3, 5, 7, 9, 11, ... }

b) A1= { 0, 2, 4, 6, 8, 10, ... }

A2 = { 1, 3, 5, 7, 9, 11, ... }

A3= {-2, -4, -6, -8, -10, ... }

24

A4 = { -1, -3, -5, -7,-9, -11, ... }

Matemtica Discreta

2. a) A1= { 0, 6, 12, 18, 24, 30, ... } A2 = { 3, 9, 15, 21, 27, ... }

b) A1= { 0, 9, 18, 27, 36, ... }

A3= { 6, 15, 24, 33, 42, ... }

A2 = { 3, 12, 21, 30, ... }

3. Sim.

A1 = { 1 + 12n, n N } = { 1, 13, 25, 37, 49, ... }

A2 = { 5 + 12n, n N } = { 5, 17, 29, 41, 53, ... } e

A3 = { 9 + 12n, n N }= { 9, 21, 33, 45, 56, ... } constituem uma

partio de S, pois os conjuntos so dois a dois disjuntos e sua
unio resulta S.

2.3 Cardinal da unio e da interseo

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

Note que a quantidade de elementos de A B obtida pela

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

25

Matemtica Discreta

Isso significa que, para calcular o nmero de elementos da unio

A B, inclumos os elementos de A, inclumos os elementos de B e
exclumos os elementos de A B.
Exemplo 2.3.1: Considere os conjuntos A = { 1, 2, 3, 4, 5, 6, 7 }
B = { 4, 5, 6, 8 }

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

# ( A B) = # (A) + # (B) # ( A B ) = 7 + 4 3 = 8
# ( A B C)
= #(A) + #(B) + #(C) #(A B) #(A C) #(B C) + #(A B C).
Podemos escrever A B C = (A B) C, de modo que:
#(A B C) = #((A B) C) = #(A B) + #C - #((A B) C)
= #A + #B + #C - #(A B) - #[(A C) (B C)]
= #A + #B + #C - #(A B) - #(A C) - #(B C)

+ #(A B C).

Exemplo 2.3.2. Considere os conjuntos A = { 1, 2, 3, 4, 5, 6, 7, 10 },

B = { 4, 5, 6, 7, 8, 11 } e C = { 5, 6, 7, 8, 9, 10 }.

Sabendo que A B = { 4, 5, 6, 7 }, A C = { 5, 6, 7, 10 },
B C = { 5, 6, 7, 8 } e que A B C = { 5, 6, 7 }, podemos escrever
que:

26

Matemtica Discreta

#(ABC)

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

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

Exemplo 2.3.4. Em um grupo de 42 turistas, todos falam ingls (I)

ou francs (F); existem 35 que falam ingls e 18 que falam francs.
Quantos falam as duas lnguas?
# I = 35, # F = 18,

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

42 = 35 +18 - # (IF), de modo que # (IF) = 11.

Outra soluo poder ser dada usando os diagramas de Venn.
Para isso, voc define dois conjuntos I e F. Coloque inicialmente os
elementos que pertencem interseo IF. Como no sabemos,
colocaremos o nmero x.

I
35-x

F
x

18-x

O cardinal do conjunto dos que falam ingls e no falam francs

35 x. Analogamente, o nmero de turistas que falam francs e no
falam ingls 18 x. A soma desses elementos deve ser 42. Logo,
devemos ter 35 x + x + 18 x = 42. A equao se reduz a 53 x =
42. Portanto, x = 11.
Exemplo 2.3.5. Todos os convidados de uma festa bebem caf
(A) ou ch (B); 13 bebem caf, 10 bebem ch e 4 bebem caf e ch.
27

Matemtica Discreta

Quantas pessoas h neste grupo?

#(AB) = #(A) + #(A) - #(AB)

#(AB) = 13 + 10 4 = 19

Exemplo 2.3.6. O controle de qualidade de uma fbrica introduziu

na linha de montagem 42 peas com defeitos de pintura (A),
embalagem (B) ou na parte eletrnica (C). Dessas peas, 28 tinham
defeito na pintura, 17 tinham defeito na embalagem, 11 com defeito na
parte eletrnica, 7 tinham defeito na embalagem e na parte eletrnica,
3 tinham defeitos na pintura e na parte eletrnica e 6 com defeito na
pintura e na embalagem. Quantas peas tinham os trs defeitos?
#A = 28,

#B = 17,

#C = 11,

#(AB) = 6,

#(AC) = 3,

#(BC) = 7,

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

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

Exemplo 2.3.7. Entre os americanos que tiraram frias no ano

passado, 90% tiraram frias no vero, 65% no inverno, 10% na
primavera, 7% no outono, 55% no inverno e no vero, 8% na primavera
e no vero, 6% no outono e no vero, 4% no inverno e na primavera,
4% no inverno e no outono, 3% na primavera e no outono, 3% no
vero, no inverno e outono, 3% no vero, no inverno e primavera, 2%
no vero, no outono e primavera e 2% nono inverno, na primavera e
outono. Que percentagem tirou frias nas quatro estaes?
28

Matemtica Discreta

Para resolver este problema que envolve quatro conjuntos,

podemos usar uma extenso do princpio da Incluso Excluso
para quatro conjuntos. O diagrama de Venn com quatro conjuntos
deve apresentar 16 regies. Na figura abaixo, apresentamos uma
alternativa usando retngulos. Voc acha que pode fazer um diagrama
de Venn para quatro conjuntos usando quatro crculos e apresentando
16 regies? Tente fazer!

#(ABCD) = #(A) + #(B) + #(C) + #(D)

#(AB) #(AC) #(AD) #(B C) #(BD) #(CD)
+ #(ABC) + #(ABD) + #(ACD) + #(BCD)
#(ABCD)

100 = 90 + 65 + 10 + 7 55 8 6 4 4 3 + 3 + 3 + 2 + 2 - x
100 = 102 x
x = 2%

Aprenda Praticando: Exerccios Propostos 2.3

Mostre que voc entendeu bem as tcnicas de clculos do nmero
de elementos de um conjunto, usando o Princpio da Incluso
Excluso ou os diagramas de Venn. Caso tenha dificuldade, orientese com seus tutores.
1. Em um congresso de informtica, h 43 participantes do
Curso de Java, 57 de Pascal Avanado e 29 de C++. H 10
participantes dos cursos de Java e Pascal Avanado, 5 em
29

Matemtica Discreta

Pascal Avanado e C++, 5 em Java e C++, e dois matriculados

nos trs cursos. Quantos alunos esto inscritos ao menos em
um curso do congresso?
2. H quatro grandes grupos de pessoas, cada um com 1.000
membros. Dois quaisquer desses grupos tm 100 membros
em comum. Trs quaisquer desses grupos tm 10 pessoas
em comum. E h 1 pessoa em todos os quatro grupos.
Conjuntamente, quantas pessoas h nesses grupos?
3. Num universo de 200 estudantes, 50 estudam Matemtica, 140
estudam Economia e 24 estudam ambos os cursos. Dos 200
estudantes 60 so mulheres, das quais 20 estudam Matemtica,
45 estudam Economia e 16 delas estudam ambos os cursos.
Determine, para o universo de estudantes, quantos so os
homens que no estudam nem Matemtica nem Economia.
4. Uma companhia, 240 dos seus empregados obtiveram aumento
salarial, 115 obtiveram ascenso funcional e 60 obtiveram
ambas as coisas. Quantos so os empregados sabendo que
nenhum empregado deixou de ser promovido ou ter ascenso
funcional ?
5. Em um grupo de 110 estudantes, 63 estudam Ingls, 30
estudam Francs e 50 estudam Alemo. H 25 alunos que
estudam apenas dois idiomas, 13 estudam Ingls e Francs,
30 estudam Ingls e Alemo e 12 estudam Francs e Alemo.
a) Quantos estudam Ingls e Francs, mas no estudam
Alemo?
b) Quantos alunos no estudam nenhum dos idiomas?
6. De 100 pessoas que foram pesquisadas, 52 so mulheres, 40
almoam, 40 jantam, 25 so mulheres que almoam, 15 so
mulheres que jantam, 20 so pessoas que almoam e jantam, e
12 so mulheres que almoam e jantam. Quantas pessoas so
homens que no almoam nem jantam? Quantas so mulheres
que no almoam nem jantam?
7. No auditrio de uma faculdade h um grupo de alunos, dos
quais 12 cursam a disciplina A, 20 cursam a B, 20 cursam a C,
10 cursam a D, 5 cursam A e B, 7 cursam A e C, 4 cursam A e
D, 16 cursam B e C, 4 cursam B e D e 5 cursam as disciplinas
C e D. Trs alunos cursam as disciplinas A, B e C, 2 cursam
30

Matemtica Discreta

A, B e D, 4 cursam B, C e D, e 3 cursam A, C e D. Apenas 2

alunos cursam as quatro disciplinas e 71 alunos no cursam
nenhumas das disciplinas citadas. Quantos so os alunos no
auditrio?

Respostas dos Exerccios Propostos 2.3

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

b) 12

6. a) 16 b) 24
7. 102

2.4 Produto Cartesiano

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

A x B = { (a, a), (a, b), (a, d), (b, a), (b, b), (b, d), (c, a), (c, b), (c, d) }

b) Liste todos os pares ordenados de B x A.

B x A = { (a, a), (b, a), (d, a), (a, b), (b, b), (d, b), (a, c), (b, c), (d, c) }

c) Liste todos os elementos do conjunto { (x,y) A x B : x = y }

{ (a, a), (b, b) }

31

Matemtica Discreta

Aprenda Praticando: Exerccios Propostos 2.4

Voc dever listar os elementos dos seguintes conjuntos, pondo
em prtica os conceitos de produto cartesiano.
1. Sejam S ={ 0, 1, 2 ,3, 4 } e T = { 0 , 2, 4 } . Liste todos os
elementos dos seguintes conjuntos:

A = { (m,n) S x T : m < n }

B = { (m, n) T x S ; m < n }

C = { (m, n) S x T : m + n 3 }

D = { (m,n) T x S ; m.n 4 }

E ={ (m, n) S x S : m + n = 10 }.

Obs.: S x S = S2

2. Liste pelo menos 6 elementos dos seguintes conjuntos:

a) { (m,n) N2 : m = n }
b) { (m,n) N2 : m + n primo }
c) { (m,n) N2 : m = 6 }
d) { (m,n) N2 : min {m ,n } = 3 }
e) { (m,n) N2 : mx {m , n} = 3 }
f) { (m,n) N2 : m2 = n }

Respostas dos Exerccios Propostos 2.4

Logo em seguida, apresentamos respostas. Confira as suas.
1. A = { (0, 2), (0, 4), (1, 2), (1, 4), (2, 4), (3, 4) }
B ={ (0,1), (0, 2), (0, 3), (0,4), (2, 3), (2, 4) }
C = { (0, 4), (1, 2), (1, 4), (2, 2), (2, 4), (3, 0), (3, 2), (3, 4), (4,0),
(4,2), (4,4) }
D = { (2, 2), (2, 3), (2, 4), (4, 1), (4, 2), (4, 3), (4, 4) }.
32

Matemtica Discreta

2. a) { (0,0) , (1,1), (2,2), (3, 3), (4, 4), (5, 5), (6, 6) ... }

b) { (0,2), (0,3), (0, 5), (0, 7), (1,2), (2,3), ... }

c) { (6,0), (6,1), (6,2), (6, 3), (6, 4), (6, 5), ... }

d) { (3,3), (3,4), (3,5), (6,3), (7, 3), (8, 3), ... }

e) { (0,3), (1,3), (2,3), (3,0), (3,1), (3,2) (3,3) }

f) { (1,1), (2,4), (3,9), (4,16), (5, 25), (6, 36), ... }

2.5 Produto Cartesiano de k conjuntos

Dados os conjuntos A1, A2, ..., Ak, o produto cartesiano A1 x A2 x ...x
Ak o conjunto de todas as n-uplas (a1, a2, ... , ak) tais que ai Ai.
Se #(A1)= n1, #(A2) = n2, ..., #(Ak)= nk

ento #(A1 x A2 x ... x Ak) = n1. n2. ... . nk.

Exemplo 2.5.1: Considere os conjuntos X = { 1, 2 }, Y = { a, b } e

Z = { m, n, p }. Liste os elementos dos seguintes produtos
cartesianos.
a) X x Y x Z

b)

XxYxY

c) X x X x X

d)

YxXxYxZ

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

33

Matemtica Discreta

Aprenda Praticando: Exerccios Propostos 2.5

Nesses exerccios, voc ter oportunidade de explorar o conceito
de produto cartesiano envolvendo mais do que dois conjuntos.
1. Considere os conjuntos X = { 1, 2 }, Y = { a, b } e Z = { m, n, p }.
Liste os elementos dos seguintes produtos cartesianos.
a) X x X x X
b) Y x X x Y x Z
2. Calcular o cardinal dos conjuntos produto cartesiano da primeira
questo.
3. Dados os conjuntos A = { x Z : -1 x 2 } e B = { y Z : -1 y 1 },
pede-se:
a) Enumerar os elementos do conjunto A x B
b) Enumerar os elementos do conjunto B x A
c) Obter (A x B) (B x A)
d) Obter o cardinal de (A x B) (B x A)

2.6 Identidades de conjuntos

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

34

Matemtica Discreta

Exemplo 2.6.1: Prove que A (B - A) = usando as identidades

de conjuntos.
Prova: A (B - A) = A (B

A)

pela definio de diferena

= A ( A B) pela propriedade comutativa

= (A

A)

B pela propriedade associativa

= B pela propriedade de complemento

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

Provamos que A B A B

1. Suponha que x A B .
2. De 1 temos que x A e x B
3. De 2 temos que x A e x B.
4. De 3 temos que x A B.
5. De 4, temos que x A B .

Provamos que A B A B

Logo A B = A B .

Exemplo 2.6.4: Provar que A B = A B (Igualdade de De

Morgan), usando as definies das operaes entre conjuntos.
1. Seja x A B .
35

Matemtica Discreta

2. De 1 temos que x A B.
3. De 2 escrevemos x A ou x B.
4. De 3 temos que x A ou x B .
5. De 4, temos que x A B e, assim A B A B .
1. Seja x A B .
2. De 1 temos que x A ou x B .
3. De 2, temos que x A ou x B.
4. De 3 escrevemos x A B.
5. De 4, temos que x A B e, assim, A B A B .

Logo A B = A B .

Exemplo 2.6.5: Provar que A = A , usando as definies das

operaes entre conjuntos.

Seja x A . Ento x A .

Logo x A. Assim provamos que A A.

Seja x A. Ento x A .

Logo x A . Provamos que A A . Logo A = A .

Exemplo 2.6.6: Mostre por meio da tabela de pertinncia que,

dados os conjuntos A, B e C ento (A B) C = A (B C).
Devemos construir as tabelas de pertinncia do conjunto do
primeiro membro e do segundo membro. Os conjuntos iguais
apresentam tabelas de pertinncia iguais.

Exemplo 2.6.7: Mostre por meio da tabela de pertinncia que,

dados os conjuntos A, B e C tem-se que
(A C ) (B C ) = (A B) - C

36

Matemtica Discreta

Exemplos 2.6.8: Simplifique ((A B) A ) A B

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

Aprenda Praticando: Exerccios Propostos 2.6

Nos exerccios seguintes, pede-se que voc apresente por meio
da tabela de pertinncia de conjuntos, uma prova da igualdade de
conjuntos. Compartilhe com seus colegas as tabelas de pertinncia
feitas por voc.
1. Considere os conjuntos A, B e C. Prove, por meio da tabela de
pertinncia que:

a) A (B - A) =

b) A B C = A B C

c) A (B - A) = A B

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

e) A B = A B

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

g) (A B) C = (A - C) (B C).
37

Matemtica Discreta

2. Prove por meio da tabela de pertinncia que, dados os

conjuntos A, B e C, as igualdades abaixo so verdadeiras.

3. Use a tabela de pertinncia para mostrar que (A B) - (A B)

= (A B) ( A B ) para os conjuntos A e B.
4. Use a tabela de pertinncia para verificar se

(A B ) A B

= (AB) ( A B ) para os conjuntos A e B.

Lembrete
Caro cursista. Procure criar uma programao diria de estudos, levando
em considerao as suas necessidades e dedicando maior tempo para as
disciplinas em que possui maior dificuldade.

Saiba Mais
As operaes com conjuntos estudadas nesse captulo apresentam
propriedades importantes que tem relao com outras estruturas que
sero vistas nos captulos seguintes.
Sugerimos consultar os seguintes livros para aprofundar os
seus conhecimentos em relao s operaes entre conjuntos,
suas propriedades, as diversas formas de provar a igualdade entre
conjuntos:

ABE, Jair Minoro; PAPAVERO, Nelson. Teoria intuitiva dos

conjuntos. So Paulo McGraw Hill:, 1997.

ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica.

So Paulo: Nobel, 1995.

GERSTING, Judith L. Fundamentos Matemticos para a

Cincia da Computao. Traduo Valria de Magalhes Iorio.
Rio de Janeiro: LTC, 2004.

38

Matemtica Discreta

LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas

de Matemtica Discreta. Porto Alegre: Bookman, 2004

Scheinerman, Edward R. Matemtica Discreta: uma

introduo. Traduo de Alfredo Alves de Farias. So Paulo:
Pioneira Thomson Learning, 2003.

39

Matemtica Discreta

Captulo 3 - Introduo Lgica

Matemtica
A Lgica Matemtica base para qualquer estudo nas reas de
Computao e Informtica. Muitas demonstraes em Matemtica
e muitos algoritmos em Cincia da Computao usam expresses
lgicas, tais como,se P ento Q ou se P e Q ento P ou Q. De
modo que, para desenvolver qualquer algoritmo, em consequncia,
qualquer software, necessrio ter o conhecimento dos fundamentos
da Lgica. Existem linguagens de programao, tais como Prolog e
Haskel, que so desenvolvidas de acordo com o paradigma lgico.
Nesse captulo seguiremos os fundamentos da Lgica Booleana
(George Boole, 1815-1864), conjunto de princpios e mtodos usados
para distinguir sentenas verdadeiras de falsas.
Uma proposio uma construo (sentena, frase,
pensamento) qual se pode atribuir juzo. Em lgica matemtica,
o tipo de juzo o verdadeiro (V) ou falso (F), no ambos.
Para uma dada proposio p, denota-se por V(p) o seu valor
verdade, de modo que V(p) = V se p verdadeira e V(p) = F, se p
falsa.
So proposies:

p: 6 um nmero primo

q: (72)3 = 76

r: 2 = 1,4142

s: Linux um software livre.

Para cada uma delas, o valor-verdade como segue: V(p) = F,

V(q)= V, V(r) = F, V(s) = V.
No so proposies:

p: Como vai voc?

q: No chegue atrasado!

r: x + 2 = 5

t: O que estou dizendo agora mentira.

40

Matemtica Discreta

3.1 Proposies compostas

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

p : Linux no um software livre.

q: Paris no fica na Frana.

q : Paris fica na Frana.

r : 2 1,5

r : 2 < 1,5

A tabela-verdade descreve todas as possibilidades dos valores

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

Isto , se p verdadeira, ento p falsa. Se p falsa, ento

p verdadeira.

Conjuno. A conjuno de duas proposies p e q, denotase por p q (l-se p e q), tem valor lgico verdadeiro quando
p e q so ambas verdadeiras e, tem valor lgico falso, em
41

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

Matemtica Discreta

qualquer outro caso. Abaixo segue a tabela da conjuno

exemplos.
Lembrete
E agora, voc
percebeu
semelhana da
tabela acima
com a tabela
de pertinncia
da interseo
conjuntos?

Exemplos:

p: Windows um sistema operacional

q: Java uma linguagem de programao.

pq: Windows um sistema operacional e q: Java uma

linguagem de programao

V(pq) = V

p: Windows um sistema operacional.

q: Java uma planilha eletrnica

pq: Windows um sistema operacional e Java uma

planilha eletrnica

V(pq) = F

p: Windows um editor de textos.

q: Java uma linguagem de programao

pq: Windows um editor de textos e Java uma linguagem

de programao

V(pq) = F

p: Windows um editor de textos.

q: Java uma planilha eletrnica.

pq: Windows um editor de textos e Java uma planilha

eletrnica

V(pq) = F

Disjuno. A disjuno de duas proposies p e q, denota-se

por p q (l-se p ou q) reflete a noo de que pelo menos
uma das proposies deve ser verdadeira para que a
resultante seja verdadeira. De modo que, a proposio p q
42

Matemtica Discreta

verdadeira, se pelo menos uma das proposies verdadeira;

falsa, se as proposies so todas falsas. A tabela-verdade da
disjuno :
Lembrete
Nesta tabela
voc percebeu
semelhana
com a tabela de
pertinncia da
unio conjuntos?

Exemplos:

p: Windows um sistema operacional.

q: C++ uma linguagem de programao.

pq: Windows um sistema operacional ou C++ uma

linguagem de programao

V(pq) = V

p: Windows um sistema operacional.

q: C++ uma planilha eletrnica

p q: Windows um sistema operacional ou C++ uma

planilha eletrnica

V(p q) = V
43

Matemtica Discreta

p: Windows um editor de textos.

q: C++ uma linguagem de programao

p q: Windows um editor de textos ou C++ uma linguagem

de programao

V(p q) = V

p: Windows um editor de textos.

q: C++ uma planilha eletrnica.

p q: Windows um editor de textos ou C++ uma

planilha

V(p q) = F

Condicional. (Implicao). A condicional envolvendo duas

proposies p e q, denota-se por p q que lida: Se p ento q.
A proposio p chamada premissa (antecedente) e a
proposio q dita concluso (consequente).
A condicional reflete a noo de que, partindo-se de uma premissa
verdadeira (p verdadeira) obrigatoriamente chega-se a uma concluso
verdadeira (q verdadeira), para que a condicional p q seja
verdadeira. Partindo-se de uma premissa falsa, qualquer concluso
pode ser considerada, e a condicional verdadeira. A condicional
falsa apenas quando a premissa verdadeira e a concluso
falsa.
Resumo: a condicional p q :
Falsa, quando p verdadeira e q falsa.
Verdadeira, nos outros casos.
A tabela-verdade da condicional :

44

Matemtica Discreta

Exemplo:

Analisaremos a seguinte situao condicional: Pedro diz: Se

chover domingo ento ficarei estudando.

Vamos considerar as seguintes hipteses e vejamos se Pedro

cumpriu sua palavra (V):

a) Domingo choveu (V) e Pedro ficou estudando (V).

Pedro cumpriu com a sua palavra (V)

b) Domingo choveu (V) e Pedro no ficou estudando (F).

Pedro no cumpriu sua palavra (F)

c) Domingo no choveu (F) e Pedro ficou estudando (V).

Pedro cumpriu sua palavra (V), pois no disse o que faria se

no chovesse. Nesse caso, poderia ou no ficar estudando.

d) Domingo no choveu (F) e Pedro no ficou estudando (F).

Pedro cumpriu sua palavra (V), pelos motivos explicados na

letra (c).

Exemplos: Considere as proposies seguintes:

p: Recife fica no Brasil

q: 2 + 3 = 4

r: 2 + 2 = 4

t: Recife fica na ndia

p r : Se Recife fica no Brasil ento 2 + 2 = 4

V(p r) = V

p q : Se Recife fica no Brasil ento 2 + 3 = 4

V(p q) = F

t q : Se Recife fica na ndia ento 2 + 3 = 4

V(t q) = V

q r : Se 2 + 3 = 4 ento 2 + 2 = 4

V(q r) = V

45

Matemtica Discreta

Bicondicional. A bicondicional envolve duas proposies p e q,

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

Isto , a bicondicional verdadeira quando as proposies so

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

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

p q pq

Aprenda Praticando: Exerccios Propostos 3.1

Voc vai agora praticar a construo de tabela-verdade de
proposies compostas e verificar as que so equivalentes,
comparando a ltima coluna de cada uma delas.
1. Mostre que as proposies abaixo so equivalentes, em cada
caso:

46

Matemtica Discreta

a) (pq) (p)(q)
b) (p)(q) (pq)
c) pq (pq)
d) p (qr) (pq) (pr)
e) (pq) pq
f) p q (p q) (p q)
g) p q (p q) (p q)

Respostas dos Exerccios Propostos 3.1

Apresentamos as respostas de alguns exerccios. Em relao aos
outros exerccios, comente com seus colegas. Dificuldade? Pea
ajuda ao seu tutor.
1. a) (pq) (p)(q)

b) (p)(q) (pq)

c) pq (p q)

3.2 Tautologias e Contradies

Tautologia (V) uma proposio que toma o valor V para
todas as possveis atribuies de valor V e/ou F para as suas
47

Matemtica Discreta

componentes simples nela presentes. Por exemplo, p p.

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

Exemplo 3.2.1: A proposio p (p q) uma tautologia.

Confira a sua tabela-verdade.

Exemplo 3.2.2: A proposio (p q) (p q) uma contradio.

Confira a sua tabela-verdade.

Aprenda Praticando: Exerccios Propostos 3.2

Decida quais as proposies abaixo so tautologias, contradies
ou contingncias. Faa a tabela.
1. Quais as proposies abaixo que so tautologias, contradies
ou contingncias?
a) (p q) (p q)
b) (p q) (p q)
48

Matemtica Discreta

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

Respostas dos Exerccios Propostos 3.2

1. a) Tautologia.

b) Tautologia.

c) Contingncia.

d) Tautologia.

e) Tautologia.

f) Tautologia

g) Tautologia.

h) Tautologia.

i) Contingncia.

j) Tautologia.

k) Tautologia.

2. a) V.

b) V.

c) F.

e) V.

f) F

d) V.

49

g) V.

Matemtica Discreta

3.3 Negao de conjuno e de disjuno

DE MORGAN
Considere a conjuno p q e a disjuno p q.

A negao da conjuno denotada por (p q) e equivalente

a p q.

A negao da disjuno expressa por (p q) e equivalente

a p q.

Confira fazendo a tabela-verdade:

(p q) p q e de (p q) p q.

3.4 lgebra das proposies

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

Exemplo 3.4.1:
a) A negao de Hoje segunda-feira e amanh no chover
Hoje no segunda-feira ou amanh chover.
b) A negao de 2 < 7 ou 3 par : 2 7 e 3 mpar.
Exemplo 3.4.2: Considere as seguintes proposies:

p: Rosas so vermelhas.

q: Violetas so azuis.

r: Cravos so brancos.

s: Cravos so vermelhos.

50

Matemtica Discreta

A forma simblica usando os conectivos , , , e , das

seguintes proposies compostas:

a) Rosas so vermelhas e violetas so azuis.

b) Rosas no so vermelhas ou violetas no so azuis.
c) Cravos so brancos ou vermelhos.
d) Cravos no vermelhos ou violetas no so azuis.
e) No verdade que violetas so azuis e rosas so vermelhas.
f) falso que cravos so vermelhos ou brancos.
g) Se cravos so brancos, ento cravos so vermelhos e violetas
so azuis.
h) Se rosas no so vermelhas, ento violetas no so azuis ou
cravos no so brancos.
i) Se violetas so azuis e cravos brancos, ento falso que cravos
so brancos ou vermelhos.
j) Rosas so vermelhas se e somente se cravos so brancos.

a) p q

e) (q p)

i) (qr)(rs)

b) p q

f) (s r)

j) p r

c) r s

g) r s q

d) s q

h) p q r

Exemplo 3.4.3: Os conectivos lgicos E (AND), OU (OR) e No

(NOT), correspondentes, respectivamente a, , e , so usados em
algumas linguagens de programao conjuntamente com expresses
verdadeiras ou falsas para produzir um valor lgico final.
Suponha as seguintes variveis:
Fluxo_de_sada, Fluxo _de_entrada e Presso e o seguinte
programa de computador:
If [ (Fluxo_de_sada > Fluxo _de_entrada ) and not ((Fluxo_de_sada > Fluxo _de_
entrada) and Presso <1000 )]

do Ponha gua;

Else

do Desligue a mquina;

51

Matemtica Discreta

Pondo P = Fluxo_de_sada > Fluxo _de_entrada e Q = Presso < 1000,

a expresso usada no programa se escreve P (P Q).
Essa expresso pode ser simplificada assim:
P (P Q) = P (P Q) = (P P) (P Q)
= 0 (P Q) = P Q.
Assim o programa poderia ser reescrito na forma:
If ((Fluxo_de_sada > Fluxo _de_entrada ) and not ( Presso < 1000))

do Ponha gua;

else

do Desligue a mquina;

Exemplo 3.4.4: Suponha que P, Q e R representam condies

que sero verdadeiras ou falsas quando certo programa executado.
O programa manda realizar uma tarefa somente quando P ou Q for
verdadeira ( mas no ambas) e R for falsa. Escreva uma proposio
usando os conectivos and, or e not que seja verdadeira apenas
dessas condies.
Resp.
((P and not Q) or (not P and Q) and not R))
ou seja
((P Q) (P Q)) R.
Exemplo 3.4.5: Reescreva o programa abaixo com uma expresso
condicional mais simples. A funo impar(nmero) tem valor verdadeiro
se n mpar.

Se no ((valor 1 < valor 2) ou mpar (nmero)) ou (no (valor 1 < valor 2) e

mpar(nmero)) ento
faa Alguma Coisa;
Caso contrrio
faa Outra Coisa;

Resp.
52

Matemtica Discreta

Sugesto: Ponha A = valor 1 < valor 2 e B = impar(nmero)

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

Aprenda Praticando: Exerccios Propostos 3.4

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

2. Repetir o exerccio com disjuno .

3. Repetir o exerccio com condicional .

4. Mostre por meio da tabela-verdade que as proposies p q e

q p so equivalentes.

Use a equivalncia para resolver as questes seguintes.

53

Matemtica Discreta

5. (ESAF / AFTN) Considere as seguintes afirmaes:

Se Carlos mais velho do que Pedro, ento Maria e Jlia tm

a mesma idade.

Se Maria e Jlia tm a mesma idade, ento Joo mais moo

do que Pedro.

Se Joo mais moo do que Pedro, ento Carlos mais velho

do que Maria.

Ora, Carlos no mais velho do que Maria. Ento:

a) Carlos no mais velho do que Jlia e Joo mais moo do

que Pedro.
b) Carlos mais velho do que Pedro, e Maria e Jlia tm a mesma
idade.
c) Carlos e Joo so mais moos do que Pedro.
d) Carlos mais velho do que Pedro e Joo mais moo do que
Pedro.
e) Carlos no mais velho do que Pedro, e Maria e Jlia no tm
a mesma idade.
6. Se Rodrigo mentiu, ento ele culpado. Logo:
a) Se Rodrigo no mentiu, ento ele no culpado.
b) Rodrigo culpado.
c) Se Rodrigo no culpado, ento ele no mentiu.
d) Rodrigo mentiu.
e) Se Rodrigo culpado, ento ele mentiu.

Respostas dos Exerccios Propostos 3.3 e 3.4

1.
54

Matemtica Discreta

5. e
6. c.

3.5 Funes proposicionais. Quantificadores.

Considere as seguintes sentenas

p: 3 + 6 = 9

q: x + 4 < 9.

A sentena p, como sabemos, verdadeira, ao passo que, nada

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

3.5.1 Quantificadores
Usaremos o smbolo , chamado quantificador universal, para
exprimir o fato de que para todo x em um conjunto, a proposio
p(x) verdadeira. Uma proposio do tipo Para todo x, p(x)
simbolicamente denotada por "x, p(x).
Exemplos:

x N, x = x verdadeira pois V (p(x)) = N

55

Lembrete
A sentena x,
p(x) verdadeira
se o conjuntoverdade de p(x)
e o seu conjunto
universo so
iguais, isto , U=V
e, falsa , se U V.

Matemtica Discreta

x Z, x = x falsa, pois V (p(x)) = N Z

x N*, x2 + 1 2 verdadeira, pois V(p(x)) = N*

x Z, x2 0 verdadeira, pois V(p(x)) = Z

Analogamente, no caso de proposies que envolvem expresses

do tipo existe, h pelo menos um, algum, usaremos o smbolo ,
chamado quantificador existencial, para exprimir o fato de que para
um ou mais elementos de um dado conjunto U a proposio p(x)
verdadeira. Uma proposio do tipo existe um x tal que p(x) pode
ser escrita simbolicamente: x, p(x).
Exemplo: A proposio x, x N tem os seguintes significados:
existe um x tal que x N, algum nmero natural, existe pelo
menos um nmero natural.
Exemplos:

Lembrete

n, n N : n + 2 = 5 verdadeira, pois V (p(n)) = { 3 }

A sentena x,
p(x) verdadeira
se o conjuntoverdade de p(x)
no vazio, V e,
falso se V = .

x, x N: x + 2 = 0 falsa, pois V (p(x)) =

x { 1, 2, -3, -4 }, x2 + x - 6 = 0 verdadeira, pois V(p(x)) = { 2, -3 }

n, n N, n! < 10 verdadeira, pois V (p(n)) = { 0, 1, 2, 3 }

3.5.2 Negao de sentenas quantificadas

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

56

Matemtica Discreta

Aprenda Praticando: Exerccios Propostos 3.5

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

57

Matemtica Discreta

c) x N, x > 10
d) x N, x + x = 2x
e) x Z, y Z, x > y.
f) x Z, y Z, x = y.
g) x Z, y Z, x + y = 0.
5. Mostre por meio da tabela-verdade se as proposies abaixo
so equivalentes:
a) p p p
b) p p p
c) p q q p
d) p q q p
e) p (q r) (p q) (p r)
f) p (q r) (p q) (p r)
g) p (q r) (p q) (p r)
h) (p q) (q p)
6. Considere as seguintes sentenas abertas cujo domnio
consiste nos nmeros inteiros Z:

O(x) : x impar

L(x) : x < 10

G(x) : x > 9

Qual o valor-verdade de cada uma das seguintes sentenas

abertas?:

a) x : O(x)
b) x [L(x) O(x)]
c) x [L(x) G(x)]
d) x [L(x) G(x)]
7. Sabendo que as proposies x = 0 e x = y so verdadeiras
e que as proposies y = z e y = t so falsas, determinar o
valor lgico de cada uma das seguintes proposies:
a) (x = 0) (x = y) (y z)
b) (x 0) (y = t) (y = z)
c) (x = 0) (x y) (y t)
58

Matemtica Discreta

d) (x 0) (x y) (y z)
8. Determine o valor lgico de cada uma das sentenas a seguir,
considerando o conjunto universo de
todos os nmeros
inteiros Z.
a) n, n2 0
b) n, n2 = 2
c) n, n2 n
d) n m, n2 < m
e) n m, n < m2
f) n m, n + m = 0
g) n m, n.m = m
h) n m, n2 + m2 = 5
i) n m, n2 + m2 = 6
j) n m, (n + m = 4) (n m = 1)
k) n m, (n + m = 4) (n m = 2)
m+n
2
m) n, m , n + m = m

l) n m p, p =

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

Matemtica Discreta

i) x y, x + y = 1
j) x y, (x + 2y = 2) (2x + 4y = 5)
x+ y
2
10. Considere as seguintes proposies: p(x): x par,
q(x) : x divisvel por 3 e r(x): x divisvel por 4. Determinar
o seu valor lgico cada uma das proposies abaixo:

k) x y z, z =

a) x N * , p(x+2) q(x)
b) x N * , p(x) r(x)
c) x N*, q(x) q(x+5)
d) x N*, r(x) r(x -2)

Respostas dos Exerccios Propostos 3.5

8. a) V

b) F

c) V

d) V

e) V

f) F

g) V

h) V

i) F

j) F

k) V

l) F

m) V

n) F

9. a) V

b) F

c) V

d) F

e) V

f) F

g) V

h) F

i) V

j) F

k) V.

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

60

Matemtica Discreta

Saiba Mais
Neste captulo, voc teve oportunidade de conhecer os
fundamentos da lgica matemtica, fortemente empregada nas reas
de informtica e computao. Percebeu que existe uma estreita
relao entre as propriedades das operaes entre com juntos e as
proposies lgicas. Voc poder aprender mais sobre proposies,
consultando os seguintes livros sobre Lgica Matemtica:

ALENCAR Filho, Edgard de. Iniciao Lgica Matemtica.

So Paulo: Nobel, 1995.

LIPSCHUTZ, Seimour; LIPSON, Marc Lars. Teoria e Problemas

de Matemtica Discreta. Porto Alegre: Bookman, 2004

61

Matemtica Discreta

Captulo 4 - Portas Lgicas

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

4.1 Porta Not (No)

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

62

Matemtica Discreta

4.2 Porta Or (Ou)

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

Exemplo: Considere um detector de incndio com dois sensores

(entradas A e B) e uma campainha para alarme (sada S). Se qualquer
um dos sensores for acionado (1) detectando sinal de incndio, a
campainha toca (1). O circuito lgico, a funo booleana e a tabelaverdade correspondem s de uma porta OR.
Porta OR com trs entradas

A tabela verdade apresenta 23 = 8 linhas

4.3 Porta And (E)

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

Matemtica Discreta

A tabela-verdade e o smbolo da porta AND com duas entradas

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

Exemplo: Uma campainha que toca (sada S) se o motorista

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

A tabela verdade apresenta 23 = 8 linhas

4.4 Porta Nand e Porta Nor

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

A porta NOR obtida pela negao da porta OR e sua sada

64

Matemtica Discreta

representada por S = A + B . A sua tabela-verdade e representao

simblica so:

4.5 Portas XOR e XNOR

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

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

PORTA XNOR

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

4.6 Portas Lgicas Equivalentes

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

S2 = A+ B.C

65

Matemtica Discreta

4.7 Propriedades das Portas Lgicas

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

Observe que podemos provar que os circuitos S1 = (A+B) . (A + C)

e S2 = A + B.C so equivalentes aplicando as identidades acima:
S1 = (A + B) . (A + C) = A . (A + C) + B(A + C)
=A.A+A.C+B.A+B.C
=A+A.C+B.A+B.C
= A(1 + C) + B . A + B . C
= A . 1 + A . B + BC
= A(1 + B) + B . C
=A.1+B.C
=A+B.C

Aprenda Praticando: Exerccios Propostos 4.1

Pratique seus conhecimentos na elaborao da tabela-verdade de
circuitos lgicos.
1. Desenhe o circuito lgico com entradas A, B e C e sada S
correspondente a cada expresso booleana e a respectiva
tabela-verdade
a) S = ABC + A C + B C
b) A B C + AB C + A B C
66

Matemtica Discreta

c) S = (A+B) .(A + C)
d) S = A + B.C
2. Desenhe o circuito lgico de cada uma das expresses
booleanas de sadas S1 e S2 e verifique por meio da tabelaverdade se so equivalentes:
a) S1 = X Y

S2 = X.Y + X .Y

b) S1 = (A + B).( A + C).(B + C)

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

c) S1 = A + A.B

S2 = A

d) S1 = A + A .B

S2 = A + B

e) S1 = ABC + A C + A B

S2 = A

f) S1 = A + B

S2 = A B

g) S1 = A.B

S2 = A + B

3. Faa a tabela-verdade de cada uma das portas lgicas abaixo

indicadas e diga quais as que so equivalentes.
67

Matemtica Discreta

4. Escreva a expresso booleana de cada porta lgica OR usando

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

6. Analogamente questo anterior, podemos construir as portas

inversoras, portas OR e portas AND usando apenas portas
NOR. Mostre isso fazendo os respectivos circuitos.
7. Demonstre por meio da tabela-verdade que:
a) A(A + B) = A
b) A( A + B) = AB
68

Matemtica Discreta

c) AB + A B = A
d) (A + B) ( A + B) = B
8. Uma firma de audiovisuais por entrega em domiclio dispe
de um mecanismo de controle automtico para supervisionar
o empacotamento das remessas. A firma vende CD, DVD,
VIDEO e GAME. Como bonificao, adicionado tquete de
desconto, em todas as encomendas que incluam CD e DVD ou
que incluam CD e VDEO, ou ainda que incluam DVD e GAME.
Projetar uma rede lgica que controle quando o tquete deve
ser includo. Faa a expresso Booleana e a tabela-verdade.
9. Uma luz no corredor de uma casa controlada por dois
interruptores, um em cada extremo. Encontre a expresso
booleana e um circuito lgico que permita que a luz seja ligada
e desligada em ambos os interruptores.
10. Imagine um sistema de segurana de uma loja. H um sensor
de contato que, ligado (1) indica que a porta est fechada.
Existe outro sensor infravermelho que, ligado (1) indica que
no h pessoas ou coisas a moverem-se no interior da loja. H
um alarme (sada) que acionado quando um dos sensores
desligado. Faa o circuito lgico, a expresso booleana e a
tabela-verdade correspondente.
11. Um comit de trs pessoas toma decises pela maioria de votos.
Cada membro do comit pode registrar sim pressionando
um boto. Projete um circuito lgico que faa acender uma
lmpada quando, e somente quando, a maioria dos votos for
sim. Faa o circuito lgico, a expresso booleana e a tabelaverdade correspondente.
12. ENADE(2005). Joo, ao tentar consertar o mdulo eletrnico
de um carrinho eletrnico, levantou as caractersticas de um
pequeno circuito digital incluso no mdulo. Verificou que o
circuito tinha dois bits de entrada, x0 e x1, e um bit de sada. Os
bits x0 e x1 eram utilizados para representar valores inteiros de
0 a 3 (x0, o bit menos significativo e x1, o bit mais significativo).
Aps testes, Joo verificou que a sada do circuito 0 para
todos os valores de entrada, exceto para o valor 2. Qual das
expresses a seguir representa adequadamente o circuito
analisado por Joo?
69

Matemtica Discreta

a) x0 AND (NOT x1)

b) (NOT x0 ) OR (NOT x1)
c) (NOT x0 ) AND x1
d) x0 AND x1
e) x0 OR (NOT x1)
13. Escreva a expresso booleana de cada um dos circuitos de
entradas A e B, abaixo indicados. Verifique por meio da tabelaverdade se so circuitos equivalentes.(AV-1 2006.1).

14. Os nmeros inteiros no negativos N, menores do que 10,

podem ser representados na notao binria da maneira que
se segue:

Se representamos os nmeros binrios sob a forma

N = A3 A2 A1 A0, construir um circuito lgico, a tabela verdade e
uma funo booleana que retorne 1, apenas quando o nmero
representado em binrio seja 3, 6, 7 ou 8.

15. Nas condies da questo 14, construa a tabela verdade e

a expresso booleana correspondente a condio de que o
nmero inteiro N seja primo.
16. Um comit consiste de Presidente(P), Diretor(D), Secretrio(S)
e Tesoureiro (T). Um projeto aprovado pelo comit se, e
somente se, recebe a maioria dos votos ou o voto do presidente
mais o voto de outro membro. Cada membro do comit aperta
um boto aperta um boto para aprovar o projeto. Projete um
circuito lgico cuja sada seja 1 se o projeto for aprovado pelo
comit. Faa a tabela verdade e a expresso booleana do
circuito.
17. Faa a tabela verdade das seguintes portas XOR
70

Matemtica Discreta

a) S = (AB)C
b) S = A(BC)
c) S = (AB)(CD)

Respostas dos Exerccios Propostos 4.1

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

A.B

11. S =CAB
+ A BCC++AAB
CBCC++A
ABC
AB
CB
C ++ABC
ABC ou S = A.B + B.C + A.C
12. Resp. c
14. S = A3 A2 A1 A0 + A3 A2 A1 A0 + A3 A2 A1 A0 + A3 A2 A1 A0
15. S= A3.[ A2 A1 A0

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

17.

71

Matemtica Discreta

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

Saiba Mais
Finalizamos este fascculo com uma introduo ao estudo das
portas lgicas. Estudamos os diversos tipos de portas lgicas, como
obtemos portas lgicas equivalentes. Uma das mais importantes
descobertas a relao entre as portas lgicas, as operaes entre
conjuntos e as proposies lgicas, no que se refere a tabela-verdade
de cada uma delas.
Se voc tem interesse em conhecer mais sobre o assunto de
portas lgicas, poder estudar pelos seguintes livros:

DAGHLIAN, Jacob. Lgica e lgebra de Boole. So Paulo:

Atlas, 1995.

MENDELSON, Elliott. lgebra Booelana e circuitos de

chaveamento: resumo e teoria. So Paulo:
McGraw Hill,
1977.

72