Walter Paulette

PREFCIO

Este livro estuda sistemas finitos, apresentando vrias aplicaes em lingustica, matemtica e
cincias da comutao. Ele no pressupe conhecimento prvio do assunto, pois, apresenta os
contedos bsicos que servem como livro-texto para a disciplina matemtica discreta.
O presente livro fruto de trabalho em sala de aula para os Cursos de Processamento de Dados,
Anlise de Sistemas e Cincias da Computao, apresentado inicialmente pelos professores Santo
Scuderi e Afonso Augusto Lopes e continuados por mim.
No captulo 1 tem inicio o estudo da teoria dos conjuntos, onde so apresentados os conceitos e
as definies e exemplos, os quais sempre servindo para ilustrar e ampliar a teoria. Colocamos tambm
exerccios para a fixao dos contedos apresentados.
Os captulos 2 e 3 apresentam o princpio de induo finita e o estudo sobre os quantificadores
universal e existencial.
O captulo 4 introduz o sistema de lgica formal e o clculo proposicional, e tem um carter
estritamente introdutrio.
Captulo 5 contm os conceitos de relao de equivalncia, de classe de equivalncia, de
conjunto quociente e as relaes de ordem.
O captulo 6 apresenta o estudo dos circuitos de chaveamento, como uma das aplicaes do
clculo proposicional.
O captulo 7 apresenta a teoria dos grafos, estuda os isomorfismos de grafos, grafos planares,
colorao e a representao de grafos por meio das matrizes.
Em todos os captulos so apresentados exemplos, problemas aplicativos e exerccios de
aplicao, tendo esse com objetivo a fixao dos contedos.
Professor Dr. Walter Paulette.

Walter Paulette

SUMRIO
CAPTULO 1: TEORIA DOS CONJUNTOS, 1
1.
2.
3.
4.
5.
6.

Conceito de conjuntos, 1
Incluso de conjuntos, 1
Igualdade, 2
Conjunto vazio, 2
Conjuntos das partes, 3
Operaes com conjuntos, 3
6.1. Unio, 4
6.2. Interseco, 4
6.3. Diferena, 5
6.4. Complementar, 6
6.5. Diferena simtrica, 6
7. Nmero de elementos de um conjunto finito, 7

CAPTULO 2: PRINCPIO DE INDUO FINITA (P.I.F.), 21

CAPTULO 3: QUANTIFICADORES, 27
1. Primeiro quantificador universal, 27
2. Segundo quantificador existencial, 28

CAPTULO 4: CLCULO PROPOSICIONAL, 33

1. PROPOSIES, 33
1.1. Proposies simples, 33
1.2. Proposies compostas, 33
1.3. Princpio da no contradio, 33
1.4. Princpio do terceiro excludo, 33
2. OPERAES LGICAS, 33
2.1. Conectivos, 33
2.2. Negao, 33
2.3. Conjuno, 33
2.4. Disjuno, 35
2.5. Condicional, 35
2.6. Bicondicional, 36
2.7. Formas sentenciais, 38
2.8. Tabela verdade, 39
2.9. Tautologia contradio, 42
2.10. Implicaes e equivalncias lgicas, 46
2.11. Equivalncias lgicas fundamentais, 46

Walter Paulette
3. ARGUMENTOS, 57

CAPTULO 5: RELAES, 62
1. Produto cartesiano, 62
2. Relao binria, 62
3. Domnio e imagem, 62
4. Propriedades das relaes, 62
5. Relao de equivalncia, 65
6. Classe de equivalncia, 67
7. Conjunto quociente, 67
8. Partio de um conjunto, 68
9. Relao de ordem, 75
10. Ordem total, 75
11. Limites superiores e inferiores, 75
12. Mximo e mnimo,76
13. Supremo e nfimo, 76
11. Boa ordem, 76

CAPTULO 6: CIRCUITOS DE CHAVEAMENTO, 84

1. Conceitos, 84
2. Circuito em srie, 84
3. Circuito em paralelo, 84

CAPTULO 7: TEORIA DOS GRAFOS, 89

1. INTRODUO, 89
2. GRAFOS, 89
3. COLORAO, 105
3.1 Grafo dual de um mapa, 105
3.2 Nmero cromtico, 105
3.3 Algoritmo de Welch-Powell, 106
4. MATRIZ DE ADJACNCIA, 107

Walter Paulette

BIBLIOGRAFIA
LIPSCHUTZ, S; M. LIPSON. Teoria e Problemas de matemtica discreta. Coleo Schaum,
Bookman, 2 ed..Porto Alegre- 2004.
GERSTING, JUDITH L. Fundamentos matemticos para a Cincia da computao. LTC.
3 Ed.1995. Rio de Janeiro.
MENDELSON, ELLIOTT. lgebra booleana e circuitos de chaveamento. Coleo Schaum, 1977.
ALENCAR FILHO, EDGARD DE. Iniciao lgica matemtica. 13 ed. 1982. Livraria Nobel.
DOMINGUES, H. HUGUEROS; GELSON IEZZI. lgebra moderna. Ed. Atual.1979.
DE MAIO, WALDEMAR. lgebra. Estruturas algbricas e matemtica discreta. Ed. LTC.
Rio de janeiro. 2009.
LIPSCHUTZ, S; Teoria dos conjuntos. Coleo Schaum. So Paulo. 1972.
STEWART, IAN. Almanaque das curiosidades matemticas. Ed. Zahar. Rio de janeiro. 2009.