Universidade Federal do Vale do So Francisco Curso de Engenharia da Computao

Matemtica Discreta - 01
Prof. Jorge Cavalcanti
jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Matemtica Discreta
Apresentao da Disciplina Dicas de (boa) convivncia acadmica Contedo da Disciplina:
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.

Introduo/Conceitos Bsicos Noes de Lgica Demonstraes e teoremas. Induo e Recurso Teoria de conjuntos e cardinalidade de conjuntos Conjuntos enumerveis Relaes Funes parciais e totais Funes de Hash Teoria dos Grafos e rvores Introduo a lgebra de Boole Conceitos bsicos de Teoria das Categorias

2
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Matemtica Discreta
Avaliao: 3 + Final. Material disponibilizado na pgina
www.univasf.edu.br/ ~jorge.cavalcanti.

Bibliografia:
Bsica
Fundamentos Matemticos para a Cincia da Computao. Gersting, J. L., 5 Ed.,LTC.

Complementar
Matemtica Discreta Uma Introduo. Scheineman. E. R., Ed. Pioneira Thomson. Matemtica Discreta. Menezes, P.B., 2 Ed. Sagra Luzzato. Teoria das Categorias. Menezes, P. B., Haeuler, E. H., 2 Ed. Sagra Luzzato.

3
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo
Por que Matemtica Discreta?
Discreto x contnuo (intervalo nmeros reais) Recursos computacionais finitos (conjuntos contveis)

Objetivos:
Desenvolver a capacidade de raciocnio lgico-matemtico; Obter uma viso abrangente de uma parte significativa da computao; Aplicar os conceitos da disciplina como uma ferramenta matemtica para investigaes e aplicaes precisas em computao; Abordar problemas aplicados e enfrentar ou propor com naturalidade novas tecnologias.

4
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo
Tratamento de Problemas:
Lgica Teoremas + Demonstraes

Computao Algoritmos + Implementaes

5
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Conceitos Iniciais:
A Lgica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigao da verdade. Aristteles - filsofo grego - 342 a.C, sistematizou os conhecimentos existentes em Lgica, elevando-os categoria de cincia. Em sua obra chamada Organum (ferramenta para o correto pensar), estabeleceu princpios to gerais e to slidos que at hoje so considerados vlidos.

Para descrever o mundo, usamos sentenas declarativas tais como:

i. ii.

Toda me ama seus filhos Maria me e Paulo Filho de Maria

Aplicando algumas regras gerais de raciocnio, podemos concluir a partir dessas afirmaes:
iii.

Maria ama Paulo

Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Conceitos Iniciais:
Proposio: uma construo (frase, sentena, pensamento) qual se pode atribuir juzo.
O juzo atribudo que a sentena pode ser falsa ou verdadeira.

Ex.: Verificar se so proposies:

1.

Dez menor que sete.

2.
3. 4.

Como est voc?

3+4>5 Existe vida em outros planetas.

Parabns! Proposies compostas: Duas ou mais proposies podem sem agrupadas usando os conectivos lgicos.
5.

Linux um sistema operacional e Java uma linguagem de programao. Vou comprar uma camisa azul ou branca. Se chover hoje, ento no ter o show.
7
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

O conectivo lgico e representado pelo smbolo e as proposies so representadas por letras maisculas. Se A e B so proposies verdadeiras, ento A B deve ser considerada verdadeira. Podemos ento apresentar a tabela com os valores lgicos de A B para todos os valores lgicos possveis dos elementos A e B.
Cada linha da tabela representa um possvel valor lgico associado a cada uma das letras de proposio e apresenta o valor lgico resultante da expresso composta. Essa tabela chamada de tabela verdade. A V V F F B V F V F AB V F F F

Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Um outro conectivo lgico a palavra ou, simbolizado por , que representa a disjuno. A tabela abaixo apresenta os valores lgicos de A B para todos os valores lgicos possveis dos elementos A e B.
A V V F F B V F V F

AB
V V V F

e so conectivos lgicos binrios, pois juntam duas expresses.

9
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

A negao de uma proposio construda colocando a palavra no de forma apropriada ou prefixando-se a proposio no fato que.
Brasil no um pas livre; No fato que o Windows seja um software livre.

A negao de A representada por A ou por A (lida como no A).

A V F A ? ?

A negao de uma proposio deve ser feita com cuidado. Por exemplo:
Proposio Pedro alto e magro Negao incorreta Negao Correta Pedro baixo e gordo Pedro baixo ou gordo Pedro no alto ou no magro
10
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Proposies podem ser combinadas na forma se proposio A, ento proposio B.
O conectivo lgico o condicional (ou implicao) A proposio composta denotada por A B (A implica B). A a proposio antecedente e B a proposio consequente. A proposio composta A B falsa quando A verdadeira e B falsa. Caso contrrio verdadeira. A tabela verdade do conectivo condicional a seguinte: A V V F F B V F V F

AB
V F V V

BA
V V F V

11
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

O conectivo bi-condicional (ou equivalncia) simbolizado por .

A expresso A B uma abreviao de: (A B) (B A) Conforme a tabela abaixo, A B verdadeira somente quando A e B tm os mesmos valores lgicos.
A V V F F B V F V F

AB BA
V F V V V V F V

AB
V F F V

12
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Resumindo...
Para a compreenso do raciocnio lgico, a tabela abaixo essencial.

A V V F F

B V F V F

AB BA AB
V F V V V V F V V F F V

A
F V

13
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Frmulas Lgicas
Podemos encadear letras de proposio, conectivos e parnteses (colchetes), para forma novas expresses como:
(A B) (B A)

Uma cadeia deve formar uma expresso vlida (fbf). Frmulas atmicas so as que no podem ser decompostas em proposies mas simples (A B) . Ordem de precedncia:
1. 2. 3. 4. 5.

Conectivos dentro dos parnteses, do mais interno para o mais externo. Negao Conjuno e Disjuno Condio Bicondio

Ex.: A B = A (B) e no (A B) A B C = (A B) C e no A (B C)
14
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Frmulas Lgicas
Letras maisculas perto do final do alfabeto (P, Q, R, S) so usadas para representar fbfs, para abstrairmos detalhes da frmula em dado momento:
((A B) C) (B C) Podemos representar simplesmente por PQ

No caso acima, o conectivo principal o . Na construo das tabelas verdade, esse conectivo aparece na ltima coluna da tabela. Para se escrever tabelas verdades para qualquer fbf, a partir dos seus componentes, deve-se explicitar todos os valores lgicos possveis das frmulas. Para cada tabela, so necessrias 2n linhas, onde n o numero de frmulas atmicas.
15
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tabelas Verdade
O nmero de linhas igual ao nmero de combinaes V/F possveis entre as letras da proposio.

16
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tabelas Verdade
Ex 01. Construir a tabela-verdade para a frmula: A B (A B)
Conectivo principal : Nmero de linhas: 22 = 4 Fazendo P = A B e Q =(A B) B V F V F B A B

A V V F F

AB

(A B) P Q

17
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tabelas Verdade
Ex 02. Construir a tabela-verdade para a frmula: (A B) (B A)
Conectivo principal : Nmero de linhas: 22 = 4 Fazendo P = (A B) e Q =(B A)

A
V V F F

B
V F V F

AB

BA

PQ

18
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tabelas Verdade
Ex 03. Construir a tabela-verdade para a frmula: (A A) (B B)
Conectivo principal : Nmero de linhas: Fazendo P = eQ=

A
V V F F

B
V F V F

19
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tabelas Verdade
Ex 04. Construir a tabela-verdade para a frmula: (A B) (B A)
Conectivo principal : Nmero de linhas: Fazendo P = eQ=

A
V V F F

B
V F V F

20
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Tautologia e Contradio
Uma fbf que assume sempre o valor V (Ex.:04) denominada de tautologia.
O exemplo mais simples de uma tautologia A A Podemos representar pelo valor 1

Uma fbf cujo valor lgico sempre falso (Ex.: 03) uma contradio.
O exemplo mais simples de uma contradio A A Podemos representar pelo valor 0

Se P Q for uma tautologia, P e Q so ditas equivalentes, denotando essa propriedade por: P Q.

21
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Equivalncias Tautolgicas

Note que em 2a e 2b podemos escrever a frmula sem a necessidade de parnteses.

22
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Leis de De Morgan
Duas equivalncias adicionais muito teis foram enunciadas pelo matemtico ingls Augusto de Morgan (Sc XIX). (A B) A B (A B) A B Importante!! Resolver exerccios livro-texto.

23
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Conectivos Lgicos no Mundo Real O uso de conectivos a base para construo de circuitos lgicos digitais. O uso adequado de conectivos pode facilitar buscas em mecanismos de busca na rede, assim como restringir os inmeros resultados.
Ex: carros usados carros usados carros usados e Ford carros usados e (Ford ou Fiat) e No caminhes Ver Google QuickRef (Links na pagina pessoal ou http://migre.me/4yCB)

Os conectivos lgicos E (and), OU (or) e NO (Not) esto disponveis em muitas linguagens de programao. 24
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf