Você está na página 1de 20

Matemtica

Discreta
Hugo Leonardo Pereira Rufino

* Slides criados a partir da apostila de Matemtica Discreta do Prof.


Jos Roberto de Almeida e do livro GERSTING, Judith L.,
Fundamentos Matemticos para Cincia da Computao. 4

Motivao
Inteligncia Artificial estuda
como simular
comportamento
inteligente
comportamento
inteligente resultado de
raciocnio correto sobre
conhecimento
disponvel
conhecimento e raciocnio
correto podem ser
representados em lgica
o formalismo lgico mais
simples a lgica
proposicional

Lgica Proposicional
um formalismo composto por:
Linguagem formal: usada para representar
conhecimento;

Mtodos de inferncia: usados para representar


raciocnio.

Tem como principal finalidade:


Representar argumentos, isto , seqncias de
sentenas em que uma delas uma concluso e as
demais so premissas;

Validar argumentos, isto , verificar se sua


concluso uma conseqncia lgica de suas
premissas.

Lgica Formal
Objetivo: estabelecer uma linguagem
formal, onde se pode expressar com clareza,
preciso e emitir juzo de verdadeiro ou
falso para determinadas frases;
A Lgica de fundamental importncia para
o entendimento das linguagens lgicas
(PROLOG PROgramao em LGica).

Proposies
Frase o elemento de comunicao que
relaciona palavras entre si de modo a
estabelecer uma mensagem com sentido
completo.
Tipos de frases:
Declarativas
Uberaba fica em Minas Gerais.
Maria mdica.

Interrogativas
Onde Pedro mora?
Ser que Joana estuda Engenharia?

Proposies
Tipos de frases:
Exclamativas
Parabns!
Feliz Natal!
Que mulher bonita!

Imperativas
Feche a porta.
V embora.

Proposio uma frase declarativa (com


sujeito e predicado), qual pode ser atribudo,
sem ambigidade, um dos valores lgicos:
Verdadeiro ou Falso.

Proposies
Alguns exemplos de frases que no so
proposies:

4+9
(No tem
predicado)
Quer uma xcara de caf?
(Sentena
interrogativa)
Pare!
(Sentena
exclamativa)

Proposies
As proposies podem ser simples ou
compostas.
Proposio simples no contm nenhuma
outra proposio como parte integrantes de si
mesma.

Exemplos:
O Brasil fica na Amrica do Sul
2+3=5
Proposio composta formada por duas ou
mais proposies relacionadas pelos
conectivos lgicos.

Conectivos Lgicos

Conectivos
lgicos (ou operadores
lgicos) so palavras ou frases que em Lgica
so utilizadas para formarem proposies
compostas.
Os conectivos usuais so:
A negao no, cujo smbolo
A conjuno e, cujo smbolo
A disjuno ou, cujo smbolo
O condicional se ... ento, cujo smbolo

O bicondicional se, e somente se, cujo


smbolo

Proposio Composta
Formada por duas ou mais proposies
relacionadas pelos conectivos lgicos.
Exemplos:
1 + 7 = 10 e 3 > 6
Pedro gordo e inteligente
O Brasil o maior produtor de soja ou o
menor produtor de milho

Valor Lgico
O valor lgico de uma proposio P
verdadeiro se P verdadeira;
O valor lgico de uma proposio Q falso se
Q for falsa;
1 designa o valor-verdade verdadeiro;
0 designa o valor-verdade falso;

Valor Lgico - exemplos


Considere a proposio P: A Terra gira em
torno do Sol.
O valor lgico de P Verdadeiro. Escreve-se
V(P)=1
Seja a proposio Q: A neve preta.
O valor lgico de Q Falso. Escreve-se
V(Q)=0

Valor Lgico - exerccio


1. Determine o valor lgico de cada uma das
seguintes proposies:
. P: O nmero 7 primo.
. Q: Curitiba a capital de Minas Gerais.
. Q: O cachorro um mamfero.
. P: A Terra um planeta.
2. Escrever duas proposies de valor lgico 1.
3. Escrever duas proposies de valor lgico 0.

Princpios Fundamentais da
Lgica
Princpio da No-Contradio
Uma proposio no pode ser
simultaneamente verdadeira e falsa.

Princpio do Terceiro Excludo


Toda proposio ou s verdadeira ou s
falsa, nunca ocorrendo um terceiro caso, ou
seja, toda proposio s admite os valores
lgicos 1 ou 0.

Tabela Verdade
Tabela verdade uma forma prtica de
representar os valores lgicos envolvidos em uma
proposio composta.

Teorema
O nmero de linhas distintas de uma
tabela verdade dado por 2n, onde n
o nmero de proposies simples
componentes e 2 representa o nmero
de valores lgicos possveis para uma
proposio (1 ou 0).

Operaes Lgicas sobre


Proposies
Negao

Se P uma proposio, a negao da


proposio P denotada por P. L-se:
no P, falso que P ou No
verdade que P. Isto no quer dizer que
P sempre tenha um valor verdade falso,
mas que o valor verdade de P o
contrrio do de P.
Tabela Verdade

Negao Observao!!!
Negar uma proposio P no apenas afirmar
algo diferente do que P afirma.
Exemplo:
A proposio O Sol uma estrela, que
verdadeira, no uma negao da
proposio O Sol um planeta, que
falsa.

A proposio A neve branca, que


verdadeira, no uma negao da
proposio A neve preta, que falsa.

Exemplos
P: O Sol um planeta.
V(P)=0
P: O Sol no um planeta.
V(P)=1
Q: Maria estudiosa.
V(Q)=1
Q: Maria no estudiosa
V(Q)=0
R: Os cachorros tm plos.
V(R)=1
R: No verdade que os cachorros tm plos.

Exerccio
Determine a negao das frases a seguir:
a) P: Estou feliz.
b) Q: Todos os tomates so vermelhos.
c) R: O Sol est brilhando.
d) S: No vou viajar.
e) T: Esta sala est muito quente.
f) U: H sempre algum feliz.
g) V: Estou certo.