Академический Документы
Профессиональный Документы
Культура Документы
PRO F. F I L I PE CO RDEI RO
F ILIPE.RO LIM@ GMAIL.CO M
O que lgica?
O que lgica?
Exemplo:
Todo mamfero um animal.
O cavalo mamfero.
Portanto, todo cavalo um animal.
Inteligncia Artificial
Especificao de Sistemas
Linguagens de Programao
Design de Circuitos Digitais
Lgica Proposicional
O que proposio?
Definio:
Proposies
Varivel Proposicional
p, q, r, s,
Valor Verdade
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.
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
Negao
Negao
Conjuno
Representao: p q
p q :
Verdadeira, apenas quando p e q so
simultaneamente verdadeiras.
Falsa, em qualquer outro caso.
pq
Conjuno
Exemplos
Disjuno
Representao: p v q
p v q :
pvq
Disjuno
Exemplos
Condio
Representao:
pq
L se p ento q ou p implica q
p q :
pq
Condio
Exemplos
Condio
Exemplos
Bicondio
Representao: p q
L-se : p se e somente se q
p q :
pq
Bicondio
Exemplos
Tabela Verdade
Tabela Verdade
Tabela Verdade
p v q
: o animal um morcego
: o animal um mamfero
Se o animal um morcego, ento ele um
mamfero
Inversa
e no so logicamente equivalentes
V
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
V
F
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:
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
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.
o mesmo que
no o mesmo que
o mesmo que
no o mesmo que
o mesmo que
no o mesmo que
Tabela Verdade