Matemtica Discreta

Lgica Proposicional Conceitos Bsicos

PRO F. F I L I PE CO RDEI RO
F ILIPE.RO LIM@ GMAIL.CO M

O que lgica?

a arte de pensar corretamente, visto que a forma

mais complexa do pensamento o raciocnio.
A lgica estuda ou tem em vista a correo do
raciocnio, ou ainda, ordem da razo.
A lgica ensina a colocar Ordem no Pensamento.

O que lgica?

Exemplo:
Todo mamfero um animal.
O cavalo mamfero.
Portanto, todo cavalo um animal.

Por que estudar lgica?

Inteligncia Artificial
Especificao de Sistemas
Linguagens de Programao
Design de Circuitos Digitais

Lgica Proposicional

Tambm chamada de clculo proposicional

rea da matemtica que lida com proposies.

O que proposio?

Definio:

Proposio uma construo qual se pode atribuir

uma relao de verdadeiro-falso.

Proposies

Toda proposio verdadeira ou falsa.

Para uma dada proposio p, denota-se por V(p) o
valor-verdade de p.

Varivel Proposicional

Varivel que representa proposio

p, q, r, s,

Valor Verdade

V, caso a proposio seja verdadeira

F, caso a proposio seja falsa.

Proposies

Exemplo de proposies
Brasil um pas;
Buenos Aires a capital do Brasil;
3+4 >5;
7-1 = 5.

Proposies

No so exemplos de proposio
V tomar banho;
Que horas so?;
Parabns;
Leia isto cuidadosamente;
x + 1 2;
x + y = z.

Ex:

Quais so proposies?
Se voc disser que isso no proposio voc errou.
A frase dentro dessas aspas uma mentira
Esta sentena falsa.
Ele gosta muito de matemtica discreta.

Exerccio (Patrocinado pelo League of

Legends)

Diga quais sentenas so proposies:

A) Ana passou a noite jogando League of Legends
B) Qual o seu personagem no League of Legends?
C) Pare de jogar League of Legends!
D) Que jogo esse?
E) Se algum pensar que no pensou ento algum
pensamento foi pensado.
F) Num ninho de mafagafos h seis mafagafinhos.
G) X + 3 = 5, se X = 2.

Conectivos/ Operadores Lgicos

Utilizado para compor proposies mais complexas

Exemplos
Windows um sistema operacional e Python uma
linguagem de programao
Vou comprar um PC ou um MAC
Se choverem canivetes, ento todos os alunos estaro
aprovados em matemtica discreta.
Linux no um software livre
A = B se e somente se

Negao

Considere as seguintes proposies:

Brasil um pas
Linux um software livre
3 + 4 > 5

A negao dessas proposies como segue:

Brasil no um pas
Linux no um software livre
No fato que 3 + 4 > 5

Negao

Se p denota uma proposio, ento a negao de

p denotada por p ou ~p.

Sendo lida como no p

Sendo interpretada como:

Se p verdadeira, ento p falsa
Se p falsa, ento p verdadeira

Negao

Tabela Verdade: negao

p

Conjuno

Reflete uma noo de simultaneidade para ser

verdadeira

Representao: p q

p q :
Verdadeira, apenas quando p e q so
simultaneamente verdadeiras.
Falsa, em qualquer outro caso.

Tabela Verdade - Conjuno

p

pq

Conjuno

Exemplos

Diga se a proposio composta verdadeira ou falsa

n Windows

um sistema operacional, e Python uma

linguagem de programao.
n Windows um sistema operacional, e Python uma planilha
eletrnica.
n Windows um editor de textos, e Python uma linguagem
de programao.
n Windows um editor de textos, e Python uma planilha
eletrnica.

Disjuno

Reflete a noo de que pelo menos uma

(eventualmente as duas) das proposies componentes
deve ocorrer para que a resultante seja verdadeira.

Representao: p v q

p v q :

Verdadeira, quando pelo menos uma das proposies

verdadeira.
Falsa, quando simultaneamente p e q so falsas.

Tabela Verdade - Disjuno

p

pvq

Disjuno

Exemplos

Diga se as proposies abaixo so verdadeiras ou

falsas:
n Windows

um sistema operacional ou Python uma

linguagem de programao.
n Windows um sistema operacional ou Python uma
planilha eletrnica.
n Windows um editor de textos ou Python uma linguagem
de programao.
n Windows um editor de textos ou Python uma planilha
eletrnica.

Condio

Reflete a condio de que para uma concluso ser

verdadeira a premissa tambm tem que ser verdadeira.

Representao:
pq
L se p ento q ou p implica q

p q :

Falsa, quando p verdadeira e q falsa.

Verdadeira, caso contrrio

p: antecedente, premissa ou hiptese

q: consequente ou concluso.

Tabela Verdade - Condio

p

pq

Condio

Exemplos

Diga quais das proposies abaixo so verdadeiras ou

falsas:
n Se

Windows um sistema operacional, ento Pascal uma

linguagem de programao.
n Se Windows um sistema operacional, ento Pascal uma
planilha eletrnica.
n Se Windows um editor de textos, ento Pascal uma
linguagem de programao.
n Se Windows um editor de textos, ento Pascal uma
planilha eletrnica.

Condio

Exemplos

Diga quais das proposies abaixo so verdadeiras ou

falsas:
n Se

voc tirar nota 10 no exame final, ento ter conceito A.

n Se hoje sexta feira, ento 2 + 3 = 5.
n Se hoje sexta feira, ento 2 + 3 = 6.

Bicondio

Reflete a condio nos dois sentidos, ou seja, considera

a simultaneidade.

Representao: p q
L-se : p se e somente se q

p q :

Verdadeira, quando p e q so ambas verdadeiras ou

ambas falsas.
Falsa, quando as proposies p e q possuem valorverdade distintos.

Tabela Verdade - Bicondio

p

pq

Bicondio

Exemplos

Diga se as proposies abaixo so verdadeiras ou

falsas:
n Windows

um sistema operacional se e somente se Pascal

uma linguagem de programao.
n Windows um sistema operacional se e somente se Pascal
uma planilha eletrnica.
n Windows um editor de textos se e somente se Pascal
uma linguagem de programao.
n Windows um editor de textos se e somente se Pascal
uma planilha eletrnica.

Operadores Lgicos: Resumo

Tabela Verdade

Determinar a tabela verdade para p v q

p

Tabela Verdade

Determinar a tabela verdade para p v q

p

Tabela Verdade

Determinar a tabela verdade para p v q

p

p v q

Inversa, Oposta e Contrapositiva

: o animal um morcego
: o animal um mamfero
Se o animal um morcego, ento ele um
mamfero

Inversa

Se o animal no um morcego, ento ele no um

mamfero

No equivalente logicamente proposio

original

e no so logicamente equivalentes

V
V
F

V
F
V

F
F
V

F
V
F

V
F
V

V
V
F

Oposta

Se o animal um mamfero, ento ele um morcego

No logicamente equivalente oposta

e no so logicamente equivalentes
p
V
V
F
F

q
V
F
V
F

V
V
F
V

V
F
V
V

Contrapositiva

Contrapositiva:

Se o animal no um mamfero, ento ele no um

morcego

Logicamente equivalente proposio original

e so logicamente equivalentes

V
V

V
F

F
F

F
V

V
F

V
F

F
F

V
F

V
V

F
V

V
V

V
V

Tabela Verdade de Proposio Composta

Ex: construa a tabela verdade da proposio

composta

q
V
V
F
F

V
F
V
F

F
V
F
V

V
V
F
V

V
F
F
F

( )
( )
V
F
V
F

Precedncia de Conectivos
1.

2.
3.
4.
5.

Conectivos entre parnteses, dos mais internos

para os mais externos;
Negao ()
Conjuno () e disjuno (v)
Condio ()
Bicondio ()

Precedncia de Operadores Lgicos

o mesmo que
no o mesmo que
o mesmo que
no o mesmo que
o mesmo que
no o mesmo que

Tabela Verdade

Determinar a Tabela Verdade para

[(p q) r ] q
p v (q r) (p v q) (p r)