Matemática Discreta – AD1 – 2013/2

Resoluções

1. Considere os enunciados a seguir, formados pela aplicação de conectivos a enunciados

atômicos:
(a) Irei ao Polo na segunda, mas não na quarta e nem no sábado.
(b) Na segunda haverá tutoria de Pré-cálculo ou de Discreta e, com certeza, de Geo-
metria.
(c) Nem na quarta nem no sábado haverá tutoria de Discreta.
(d) Eu não me matriculei em Cálculo, pois vou me dedicar à Discreta e à Geometria.
Para cada enunciado, determine uma legenda e simbolize-o, de acordo com a legenda
dada.

Resolução da Questão 1:
(a) Considerando a legenda:
s : irei ao Polo na segunda
q : irei ao Polo na quarta
b : irei ao Polo no sábado
o enunciado pode ser simbolizado por:
s ∧ (¬q ∧ ¬b).

(b) Considerando a legenda:

p : na segunda haverá tutoria de Pré-cálculo
d : na segunda haverá tutoria de Discreta
g : na segunda haverá tutoria de Geometria
o enunciado pode ser simbolizado por:
(p ∨ d) ∧ g.

(c) Considerando a legenda:

q : na quarta haverá tutoria Discreta
s : no sábado haverá tutoria de Discreta
o enunciado pode ser simbolizado por:
¬q ∧ ¬s.

(d) Considerando a legenda:

c : eu me matriculei em Cálculo
d : eu vou me dedicar à Discreta
g : eu vou me dedicar à Geometria
o enunciado pode ser simbolizado por:
d ∧ g → ¬c.

1
2. Uma aluna ouviu o seguinte enunciado nos corredores do Polo, dito por um tutor:
Desorganização, falta de tempo e preguiça, atrapalham os estudos.
Mas isto é falso, ela disse para uma colega, basta uma destas coisas para atrapalhar
os estudos. É verdade, concordou colega, é exatamente a negação do que ele está
dizendo o que acontece.
(a) Determine uma única legenda e simbolize cada um dos seguintes enunciados, de
acordo com a legenda dada:

(i) o enunciado que a aluna ouviu;

(ii) o enunciado que ela considera ser o correto;
(iii) o enunciado que a amiga considera ser o correto.

(b) Determine se os enunciados que a aluna e a amiga consideram serem os corretos

são equivalentes ou não.

Resolução da Questão 2:
(a) Consideremos a legenda:
d : desorganização atrapalha os estudos
f : falta de tempo atrapalha os estudos
p : preguiça atrapalha os estudos

(i) O enunciado que a aluna ouviu pode ser simbolizado por:

d ∧ (f ∧ p).

(ii) O enunciado que a aluna considera ser o correto pode ser simbolizado por:
d ∨ (f ∨ p).

(iii) O enunciado que a amiga considera ser o correto pode ser simbolizado por:
¬[d ∧ (f ∧ p)].

(b) Considere a seguinte tabela conjunta dos enunciados d ∨ (f ∨ p) e ¬[d ∧ (f ∧ p)]:

ϕ1 ϕ2
z }| { z }| {
d f p f ∨ p d ∨ (f ∨ p) f ∧ p d ∧ (f ∧ p) ¬ϕ2 ϕ1 ↔ ¬ϕ2
V V V V V V V F F
V V F V V F F V V
V F V V V F F V V
V F F F V F F V V
F V V V V V F V V
F V F V V F F V V
F F V V V F F V V
F F F F F F F V F
Como ϕ1 ↔ ¬ϕ2 não é uma tautologia, os enunciados não são equivalentes.

2
3. Considere a seguinte sequência de equivalências, que mostra que os enunciados
(a ∧ (¬b ∨ c)) ∨ (¬a ∧ c) ∨ ((a ∨ ¬b) ∧ ¬a) e ¬b ∨ c são equivalentes:

(a ∧ (¬b ∨ c)) ∨ (¬a ∧ c) ∨ ((a ∨ ¬b) ∧ ¬a)

é equivalente a
(a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ c) ∨ ((a ∨ ¬b) ∧ ¬a)
é equivalente a
(a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ c) ∨ (a ∧ ¬a) ∨ (¬b ∧ ¬a)
é equivalente a
(a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ c) ∨ (¬b ∧ ¬a)
é equivalente a
(a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ c) ∨ (¬a ∧ ¬b)
é equivalente a
(a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ ¬b) ∨ (¬a ∧ c)
é equivalente a
[(a ∧ ¬b) ∨ (a ∧ c)] ∨ [(¬a ∧ ¬b) ∨ (¬a ∧ c)]
é equivalente a
[a ∧ (¬b ∨ c)] ∨ [(¬a ∧ ¬b) ∨ (¬a ∧ c)]
é equivalente a
[a ∧ (¬b ∨ c)] ∨ [¬a ∧ (¬b ∨ c)]
é equivalente a
(a ∨ ¬a) ∧ (¬b ∨ c)
é equivalente a
¬b ∨ c

Explicite as equivalências usadas em cada passo.

Resolução da Questão 3:
Nos passos acima, foram usadas:

(1) Distributividade do ∧ sobre o ∨,

(2) Distributividade do ∧ sobre o ∨,
(3) Elemento neutro do ∨,
(4) Comutatividade de ∧,
(5) Comutatividade de ∨,
(6) Associatividade do ∨,
(7) Distributividade do ∧ sobre o ∨,
(8) Distributividade do ∧ sobre o ∨,
(9) Distributividade do ∧ sobre o ∨,
(10) Elemento neutro do ∧.

3
4. Mostre que os seguintes enunciados são equivalentes, usando uma sequência de equi-
valências. Explicite as equivalências usadas em cada passo.

((a ∧ ¬b) ∧ c) ∨ (¬a ∧ (¬b ∧ c)) ∨ (b ∧ c) e c.

Resolução da Questão 4:
Temos que:

((a ∧ ¬b) ∧ c) ∨ (¬a ∧ (¬b ∧ c)) ∨ (b ∧ c)

é equivalente a
(a ∧ (¬b ∧ c)) ∨ (¬a ∧ (¬b ∧ c)) ∨ (b ∧ c)
é equivalente a
[(a ∨ ¬a) ∧ (¬b ∧ c)] ∨ (b ∧ c)
é equivalente a
(¬b ∧ c) ∨ (b ∧ c)
é equivalente a
(¬b ∨ b) ∧ c
é equivalente a
c

Nos passos acima, usamos:

(1) Associatividade do ∧,
(2) Distributividade do ∧ sobre o ∨,
(3) Elemento neutro do ∧,
(4) Distributividade do ∧ sobre o ∨,
(5) Elemento neutro do ∧.

4
5. Comentando sobre a resolução de questões de Matemática Discreta com uma amiga,
uma aluna disse o seguinte:
E1 : A questão não é fácil, quando a resolução depende da interpretação
do enunciado.
E2 : A questão é fácil, quando a resolução depende da construção de
uma tabela.

Baseada nos enunciados E1 e E2 , a amiga concluiu que:

E3 : A resolução não depende da interpretação dos enunciados, se, e somente se,
ela não depende da construção de uma tabela.

(a) Considerando os enunciados E1 , E2 e E3 como formados pela aplicação de co-

nectivos a enunciados atômicos, determine uma legenda e simbolize-os, de acordo
com a legenda dada.
(b) Determine se a conclusão da amiga decorre, ou não, dos enunciados que a aluna
disse.

Resolução da Questão 5:
(a) Os enunciados E1 , E2 e E3 podem ser reescritos como:

E1 : se a resolução depende da interpretação do enunciado, então

não ( a questão é fácil )
E2 : se a resolução depende da construção de uma tabela, então
a questão é fácil
E3 : não ( a resolução depende da interpretação do enunciado )
se, e somente se,
não ( a questão depende da construção de uma tabela )

Considere a seguinte legenda:

i : a resolução depende da interpretação do enunciado
f : a questão é fácil
t : a resolução depende da construção de uma tabela

De acordo com esta legenda, os enunciados podem ser simbolizados por:

E1 : i → (¬f )
E2 : t → f
E3 : ¬i ↔ ¬t

Agora, o problema se resume em verificar a validade do argumento:

E1 : i → (¬f )
E2 : t → f
E3 : ¬i ↔ ¬t
Ou seja, verificar se o enunciado

ϕ : [(i → (¬f )) ∧ (t → f )] → (¬i ↔ ¬t)

5
é uma tautologia.
Construindo a tabela verdade de ϕ, temos:
ϕ1 ϕ
z }| { z }|2 {
i f t ¬i ¬f ¬t i → (¬f ) t → f ϕ1 ∧ ϕ2 ¬i ↔ ¬t ϕ
V V V F F F F V F V V
V V F F F V F V F F V
V F V F V F V F F V V
V F F F V V V V V F F
F V V V F F V V V F F
F V F V F V V V V V V
F F V V V F V F F F V
F F F V V V V V V V V

Como ϕ não é V em todas as interpretações, ϕ não é uma tautologia e o argumento

é inválido. Assim, a conclusão da amiga não decorre dos enunciados que a aluna
disse.

c 2013 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB