Matematica Discreta AD1 2013/1

Resolucoes

1. O carro de K
atia n
ao pegava e ela chamou um mecanico para conserta-lo. Apos examinar o
carro, ele disse para ela:
o carro nao pega, pois: a junta do cabecote esta vazando e ha agua no cilindro
Como ela n
ao achou que o mec
anico fez um exame cuidadoso, ela decidiu chamar um outro
mec
anico que, ap
os examinar o carro, disse para ela:
quando ha agua no cilindro, o carro nao pega; se a junta do cabecote esta vazando
De posse destas duas informac
oes, ela comecou a se perguntar: sera que eles disseram a
mesma coisa?
Reescreva os enunciados usando conectivos logicos e determine se os mecanicos disseram a
mesma coisa ou n
ao.
Resolu
c
ao da Quest
ao 1:
(a) Os enunciados podem ser reescritos como:
se (a junta do cabecote esta vazando e ha agua no cilindro), entao o carro nao pega
se a junta do cabecote esta vazando, entao (se ha agua no cilindro, entao o carro nao pega)
(b) Considerando a legenda:
v
a
p

: a junta do cabecote esta vazando

: ha agua no cilindro
: o carro pega

os enunciados podem ser simbolizado por:

(v a) (p)
v (a (p))
(c) O problema se resume em determinar se os enunciados sao ou nao equivalentes.
Construindo a tabela do enunciado : ((v a) (p)) (v (a (p))), temos:
v
V
V
V
V
F
F
F
F

a
V
V
F
F
V
V
F
F

p
V
F
V
F
V
F
V
F

va
V
V
F
F
F
F
F
F

p
F
V
F
V
F
V
F
V

(v a) (p) a (p) v (a (p))

F
F
F
V
V
V
V
V
V
V
V
V
V
F
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V

Como e uma tautologia, os enunciados sao equivalentes e os mecanicos disseram a mesma

coisa.

2. Depois de pensar no que os mec

anicos disseram, Katia resolveu chamar um deles para consertar o carro. Mas, infelizmente, nenhum dos dois estava mais disponvel. Assim, ela resolveu
chamar um terceiro mec
anico, que deu uma primeira olhada no carro e disse para ela a
negac
ao do que o primeiro mec
anico disse. Apos uma outra examinada, ele tambem negou
o que o segundo mec
anico tinha dito.
O que este terceiro mec
anico disse para Katia (a) na primeira fala? (b) na segunda fala?
(c) Ele foi repetitivo?
Resolu
c
ao da Quest
ao 2:
(a) Aplicando equivalencias para obter a negacao do primeiro enunciado, temos:
((v a) (p))
e equivalente a
(v a) ((p))
e equivalente a
(v a) p
que e o enunciado
(a junta do cabecote esta vazando e ha agua no cilindro) e o carro pega
ou seja,
a junta do cabecote esta vazando e ha agua no cilindro, e o carro pega
(b) Aplicando equivalencias para obter a negacao do segundo enunciado, temos:
(v (a (p))
e equivalente a
v (a (p))
e equivalente a
v (a ((p)))
e equivalente a
v (a p)
que e o enunciado
a junta do cabecote esta vazando e (ha agua no cilindro e o carro pega)
ou seja,
a junta do cabecote esta vazando e: ha agua no cilindro e o carro pega
(c) Resta apenas observar que estes dois enunciados sao equivalentes e que, portanto, o
terceiro mec
anico foi repetitivo.
A justificativa mais simples para esta afirmacao talvez seja:
Pela associatividade do , os dois enunciados sao equivalentes.
Mas, talvez, aqui o aluno faca uma tabela para verificar a equivalencia.

3. Como ap
os v
arias tentativas de ligar o carro, o carro nao pegou, Katia se convenceu que este
terceiro mec
anico n
ao era um profissional qualificado. Assim, resolveu chamar o socorro e
rebocar o carro para uma oficina autorizada. Chegando la, um mecanico examinou o carro
e disse para K
atia:
E1
E2
E3
E4

:
:
:
:

o
o
o
o

carro nao pega, pois o defeito e na rosqueta da partida

carro pega, quando o defeito e na rebimboca da parafuseta
defeito e na rosqueta da partida
defeito nao e na rebimboca da parafuseta ou eu nao entendo de carros

(a) Baseada nos enunciados E1 e E2 , Katia concluiu que:

como o defeito e na rosqueta de partida, ele nao e na rebimboca da parafuseta
Reescreva os dois primeiros enunciados e a conclusao de Katia usando conectivos logicos
e determine se a conclus
ao de Katia esta correta ou nao.
(b) Tomando os enunciados E1 , E2 , E3 e E4 como premissas, Katia concluiu que o mecanico
da oficina autorizada entende de carros e, finalmente, deixou o carro la para ser consertado. Determine se a conclusao de Katia esta correta ou nao.

Resolu
c
ao da Quest
ao 3:
Os enunciados E1 e E2 e a conclusao podem ser reescritos como:
se o defeito e na rosqueta da partida, entao o nao carro pega
se o defeito e na rebimboca da parafuseta, entao o carro pega
se o defeito e na rosqueta de partida, entao ele nao e na rebimboca da parafuseta
Considere a seguinte legenda:
p
q
r
s

:
:
:
:

o
o
o
o

defeito e na rosqueta da partida

carro pega
defeito e na rebimboca da parafuseta
mecanico entende de carros

De acordo com esta legenda, os enunciados ditos pelo mecanico podem ser simbolizados por:
E1
E2
E3
E4

: p (q)
: rq
: p
: (r) (s)

(a) De acordo com a legenda, a conclusao de Katia pode ser simbolizada por:
p (r)
Agora, o problema se resume em verificar a validade do argumento:
E1
E2

: p (q)
: rq
p (r)

Ou seja, verificar se o enunciado

: ((p (q)) (r q)) (p (r))
e uma tautologia.

Construindo a tabela verdade de , temos:

1

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q
F
F
V
V
F
F
V
V

r
F
V
F
V
F
V
F
V

2
z }| { z
}| {
p (q) r q
F
V
F
V
V
F
V
V
V
V
V
V
V
F
V
V

1 2
F
F
F
V
V
V
F
V

p (r)
F
V
F
V
V
V
V
V

V
V
V
V
V
V
V
V

Como e V em todas as interpretacoes, e tautologia e o argumento e valido. Assim, a

conclus
ao de K
atia est
a correta.
(b) O problema se resume em verificar a validade do argumento:
E1
E2
E3
E4

: p (q)
: rq
: p
: (r) (s)
s

Ou seja, verificar se o enunciado

: ((p (q)) (r q) p ((r) (s))) s
e uma tautologia. Para isto, voce pode construir uma tabela com 24 = 16 linhas e umas 13
colunas.
Mas e f
acil ver, mesmo sem uma tabela, que o enunciado nao e uma tautologia! Para isto,
basta pensar um pouco e considerar que p e V e que q, r, s sao F, F, F . De fato, com isto,
temos:
p (q) e V (F ), que e V V , que e V ;
r q e F F , que e V ;
p e V ;
(r) (s) e (F ) (F ), que e V V , que e V ;
e, finalmente, s e F .
Como existe uma interpretac
ao na qual as premissas sao simultaneamente V e a conclusao
e F , o argumento e inv
alido. Assim, a conclusao de Katia nao esta correta.

Em tempo: o carro acabou sendo consertado na oficina especializada mesmo, mas o

defeito era apenas a bateria arriada ;-)
c 2013 Marcia Cerioli e Petrucio Viana

Coordenacao da Disciplina MD/CEDERJ-UAB