Lógica Matemática

Lógica Proposicional Tiago Massoni

 Grammatical Ambiguity
ambiguidades
Tem uma menina
There’s a girl inna
the sala coma telescope.
room with um telescópio
Um homem vai ao mercado
e sua mulher pede: “Traga
um litro de leite, e, se tiver
ovos, compre uma dúzia.”

Assim que chega em casa,

sua mulher o aborda:
“Por que você comprou
treze litros de leite?”
Ele diz “Porque tinha ovos."
Símbolos
Se chover hoje, então
Se você vier, não
haverá enchente preciso ir

Você vem
Choveu hoje
Então não preciso ir
Então houve enchente

Se p então q p Então q
Proposições
Para provas e manipulações: uso de
símbolos (átomos)

p, q, r (letra relacionada à proposição em

português)

Sentenças compostas: fórmulas

Conectivos para fórmulas
Conectivo ¬
Negação (Não é o caso que)

Ele não pagou ATAL.

¬a
Conectivo ∨
Disjunção (OU)

Eu tenho um carro vermelho ou você tem um

carro verde

u∨c
Conectivo ∧
Conjunção (E)

Eu pagarei Lógica em 2017.1 E não estarei

triste no final do período

l∧e
Conectivo →
Implicação (Se, então)

SE ele se formou em computação, ENTÃO ele

pagou ATAL

c→a
duas leituras diferentes
c→a
c é condição suficiente para a
a é condição necessária para c
duas leituras diferentes
P se Q [condição necessária]
O aluno é aprovado só se assistir a 75% das
aulas
aluno_aprovado → assiste75
Q se P [condição suficiente]
Não é o caso de, se assistir a 75% das aulas o
aluno é aprovado
¬(assiste75 → aluno_aprovado)
“Então você pode dizer o que acha”, a Lebre de
Março continuou.
“E vou”, Alice replicou rapidamente, “pelo menos —
pelo menos, eu acho o que digo — o que é a mesma
coisa, você sabe.”
“Não é a mesma coisa nem um pouco!”, disse o
Chapeleiro. “Senão você também poderia dizer”,
completou a Lebre de Março, “que ‘Eu gosto daquilo
que tenho’ é a mesma coisa que ‘Eu tenho aquilo
que gosto.’”
Precedência
p→q∧r

= p → (q ∧ r)
≠ (p → q) ∧ r

p→q→r
= p → (q → r)
exercícios
• É proibido fumar cigarro ou charuto
• É falso que se Montreal é a capital do Canadá,
então a próxima copa será realizada no
Brasil
• Se é falso que Montreal é a capital do
Canadá, então a próxima copa será
realizada no Brasil
• Coletar impostos é necessário para construir
uma praça, mas não é suficiente
outros operadores
equivalência ⟷
nor ↑
nand ↓
exclusive or ⊕
equivalências
p = ¬¬p
p → T= T
p → F = ¬p
p → q = ¬q → ¬p
T→p=p
F→p=T
322 BC
Ano um

Ancient
Greece
“a universal algebra by which all
knowledge, including moral and
metaphysical truths, can some day
be brought within a single
Leibniz deductive system”
considere três proposições: c (cogumelo), r
(roxo) e v (venenoso). Codifique:

• Todos os cogumelos roxos são venenosos.

• Um cogumelo é venenoso apenas se for
roxo.
• Um cogumelo não é venenoso a menos que
seja roxo.
• Nenhum cogumelo roxo é venenoso.
Lógica Matemática

Lógica Proposicional Tiago Massoni