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.

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

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.

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

Computao

Teoremas
+
Demonstraes

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.

Ex.: Verificar se so proposies:

1.

2.
3.

4.

5.

O juzo atribudo que a sentena pode ser falsa ou

verdadeira.
Dez menor que sete.

Como est voc?

3+4>5
Existe vida em outras galxias.

Parabns!

Proposies compostas: Duas ou mais proposies podem

ser agrupadas usando os conectivos lgicos.

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 . A

expresso A B chamada de conjuno de A e B.
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

AB

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

Negao incorreta

Negao Correta

Pedro alto e magro

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

AB

BA

V
V
F
F

V
F
V
F

V
F
V
V

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

V
F
V
F

AB BA
V
F
V
V

AB

V
V
F
V

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.

V
V
F
F

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 mais 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)

A B

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)

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=

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=

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.

Uma fbf cujo valor lgico sempre falso (Ex.: 03)

uma contradio.

O exemplo mais simples de uma tautologia A A

Podemos representar pelo valor 1

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

23
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.

24
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Introduo Lgica Formal

Composio de Proposies

possvel construir proposies a partir de

proposies j existentes. Este processo
conhecido por Composio de Proposies.
Suponha que tenhamos duas proposies:
A = "Maria tem 23 anos"
B = "Maria alta"

25

Introduo Lgica Formal

Composio de Proposies
"Maria no tem 23 anos"

"Maria no alta

"Maria tem 23 anos" e "Maria alta"

AB

"Maria tem 23 anos" ou "Maria alta"

"Maria no tem 23 anos" e "Maria alta"

"Maria no tem 23 anos" ou "Maria alta"

"Maria tem 23 anos" ou "Maria no alta"

"Maria tem 23 anos" e "Maria no alta"
Se "Maria tem 23 anos" ento "Maria alta"
Se "Maria no tem 23 anos" ento "Maria alta"
"Maria no tem 23 anos" e "Maria alta"

"Maria tem 1,50m " equivalente a "Maria no alta

26

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.
27
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf