Matemática Discreta – AD1 – 2015/1
1. Simbolize o seguinte enunciado:
Eu como o pudim todo, se eu abro a geladeira e encontro o pudim;
daı́, eu passo mal à noite, pois não consigo dormir de barriga cheia.
............................................................................
Resolução da Questão 1
Enunciado: Eu como o pudim todo, se eu abro a geladeira e encontro o pudim;
daı́, eu passo mal à noite, pois não consigo dormir de barriga cheia.
c : eu como o pudim todo
g : eu abro a geladeira
Legenda: e : eu encontro o pudim
m : eu passo mal à noite
c : eu consigo dormir de barriga cheia.
Simbolização: [(g ∧ e) → c] → [(¬c) → m].
Observação Importante!!! Note que
[(g ∧ e) → c] → [(¬c) → m]
é equivalente a
{[(g ∧ e) → c] ∧ (¬c)} → m,
mas não é equivalente a
[(g ∧ e) → c] ∧ [(¬c) → m].
2. Em um concurso para Professor pedia-se que o candidato determinasse um
enunciado equivalente à negação do enunciado:
Eu não dirijo quando tomo bebida alcoólica e bebo
acima do permitido.
Dois candidatos que estavam fazendo o concurso, responderam à questão, da
maneira a seguir.
O primeiro respondeu:
Eu tomo bebida alcoólica, mas não é o caso que
se eu bebo acima do permitido, eu não dirijo.
O segundo respondeu:
Não é o caso que se eu tomo bebida alcoólica,
eu não bebo acima do permitido;
e, além disso, eu dirijo.
(a) O primeiro está certo?
(b) O segundo está certo?
............................................................................
Resolução da Questão 2
Enunciado do concurso: Eu não dirijo quando tomo bebida alcoólica e bebo
acima do permitido.
Re-escrita: Se (eu tomo bebida alcoólica e eu bebo acima do permitido), então
não (eu dirijo).
d : eu dirijo
Legenda: t : eu tomo bebida alcoólica
b : eu bebo acima do permitido.
Simbolização: (t ∧ b) → ¬d.
Negação: ¬[(t∧b) → ¬d] é equivalente a (t∧b)∧¬¬d é equivalente a (t∧b)∧d.
(a) Enunciado do primeiro aluno: Eu tomo bebida alcoólica, mas não é o caso
que se eu bebo acima do permitido, eu não dirijo.
Re-escrita: Eu tomo bebida alcoólica e não [ se eu bebo acima do permitido,
então não (eu dirijo) ].
Simbolização: t ∧ ¬(b → ¬d).
Temos que t ∧ ¬(b → ¬d) é equivalente a t ∧ (b ∧ ¬¬d) é equivalente a t ∧ (b ∧ d)
é equivalente a (t ∧ b) ∧ d.
Assim, o primeiro aluno está certo.
(b) Enunciado do segundo aluno: Não é o caso que se eu tomo bebida alcoólica,
eu não bebo acima do permitido; e, além disso, eu dirijo.
2
Re-escrita: Não [ se eu tomo bebida alcoólica, então não (eu bebo acima do
permitido) ] e eu dirijo.
Simbolização: ¬(t → ¬b) ∧ d.
Temos que ¬(t → ¬b)∧d é equivalente a (t∧¬¬b)∧d é equivalente a (t∧b)∧d.
Assim, o segundo aluno (também) está certo.
3. No mesmo concurso da Questão 2, afirmava-se que:
Ana ama Beto ou Ciça ama Dinho ou Enio ama Fafá.
Se Enio não ama Fafá, então Ciça não ama Dinho
Se Enio ama Fafá, então Ana ama Beto.
Mas, Ana não ama Beto.
E perguntava-se o que se pode concluir logicamente destas premissas.
Um candidato respondeu:
Esta questão está mal formulada.
O candidato está certo?
............................................................................
Resolução da Questão 3
Observem que a questão não afirma que o candidato alegou que a questão
está mal formulada. Mas, sim, afirma que o candidato respondeu que a frase
Esta questão está mal formulada segue logicamente dos enunciados dados
como premissas (mais sobre este ponto no final do critério).
Resolvendo a questão por aplicação direta do Método das Tabelas para Vali-
dade:
a : Ana ama Beto
c : Ciça ama Dinho
Legenda:
e : Enio ama Fafá
q : Esta questão está mal formulada.
ϕ1 : a ∨ c ∨ e
ϕ2 : ¬e → ¬c
ϕ3 : e → a
¬a
Simbolização: .
q
3
Implicação associada: ϕ : [(a ∨ c ∨ e) ∧ (¬e → ¬c) ∧ (e → a)] → q.
Tabela:
a c e q ¬e ¬c ϕ1 ϕ2 ϕ3 ¬a ϕ1 ∧ ϕ2 ∧ ϕ3 ∧ ¬a ϕ
V V V V F F V V V F F V
V V V F F F V V V F F V
V V F V V F V F V F F V
V V F F V F V F V F F V
V F V V F V V V V F F V
V F V F F V V V V F F V
V F F V V V V V V F F V
V F F F V V V V V F F V
F V V V F F V V F V F V
F V V F F F V V F V F V
F V F V V F V F V V F V
F V F F V F V F V V F V
F F V V F V V V F V F V
F F V F F V V V F V F V
F F F V V V F V V V F V
F F F F V V F V V V F V
Como a implicação associada é V em todas as interpretações, o argumento é
válido.
Logo, o aluno está correto.
c 2015 Márcia Cerioli e Petrucio Viana
Coordenação da Disciplina MD/CEDERJ-UAB
