Matemática Discreta – AP1 – 2020/2

Resoluções

1. (2,5 pontos) Simbolizar os seguintes enunciados:

(a) (1,0) Uma alta taxa de poupança interna é desejável e viável quando companhias e
empresários têm acesso a financiamento ou a boas taxas de juros.
(b) (1,5) Para ter sucesso no mercado internacional, qualquer paı́s que está em desenvol-
vimento deve ter um governo estável, funcionar dentro da legalidade e apresentar boas
condições para os negócios.

..................................................................................

Resolução da Questão 1:

(a) Legenda:
p : uma alta taxa de poupança interna é desejável
q : uma alta taxa de poupança interna é viável
r : as companhias têm acesso a financiamento
s : as companhias têm acesso a boas taxas de juros
t : os empresários têm acesso a financiamento
u : os empresários têm acesso a boas taxas de juros
Simbolização:
[(r ∧ t) ∨ (s ∧ u)] → (p ∧ q)

(b) Legenda:
p(x) : x tem sucesso no mercado internacional
q(x) : x é paı́s
r(x) : x está em desenvolvimento
s(x) : x tem um governo estável
t(x) : x funciona dentro da legalidade
u(x) : x apresenta boas condições para os negócios
Simbolização:
∀xh[q(x) ∧ r(x)] → {[s(x) ∧ t(x) ∧ u(x)] → p(x)}i

1
2. (2,5 pontos) Considere o seguinte enunciado:

O candidato aprovado é nomeado quando, e somente quando, o cargo em

área essencial está vago; ou o candidato aprovado não é nomeado.

Dos enunciados abaixo, um é equivalente ao enunciado dado e o outro é equivalente

a sua negação. Determine qual é qual, por meio de sequências de equivalências.
(i) Não é o caso que o candidato aprovado não é nomeado quando o cargo em área
essencial não está vago.
(ii) Não é o caso que o candidato aprovado é nomeado e o cargo em área essencial não
está vago.

..................................................................................

Resolução da Questão 2:

Legenda:
p : o candidato aprovado é nomeado
q : o cargo em área essencial está vago

Simbolizações:
Enunciado dado : (p ↔ q) ∨ ¬p
(i) : ¬[(¬q) → ¬p]
(ii) : p → q

Equivalências:
Partindo do enunciado dado, temos:
(p ↔ q) ∨ ¬p
é equivalente a
[(p → q) ∧ (q → p)] ∨ ¬p
é equivalente a
{[(¬p) ∨ q] ∧ [(¬q) ∨ p]} ∨ ¬p
é equivalente a
[(¬p) ∨ q ∨ (¬p)] ∧ [(¬q) ∨ p ∨ ¬p]
é equivalente a
(¬p) ∨ q ∨ (¬p)
é equivalente a
(¬p) ∨ q
é equivalente a

2
 (¬p) ∨ (¬¬q)
é equivalente a
¬(p ∧ ¬q)
Que é o enunciado (ii).

Partindo da negação do enunciado dado, temos:

¬[(p ↔ q) ∨ ¬p]
é equivalente a
[¬(p ↔ q)] ∧ ¬¬p]
é equivalente a
[¬(p ↔ q)] ∧ p]
é equivalente a
{[(¬p) ∧ q] ∨ [p ∧ (¬q)]} ∧ p
é equivalente a
[(¬p) ∧ q ∧ p] ∨ [p ∧ (¬q) ∧ p]
é equivalente a
p ∧ (¬q) ∧ p
é equivalente a
p ∧ (¬q)
é equivalente a
(¬q) ∧ (¬¬p)
é equivalente a
¬[(¬q) → ¬p]
Que é o enunciado (i).

Resposta:
Desta forma, (ii) é equivalente ao enunciado dado e (i) é equivalente à negação do
enunciado dado.

3. (2,5 pontos) Mostre que o seguinte argumento é válido apresentando uma demons-
tração da sua validade:

A cidade tem pelo menos um dentre cinema, museu e teatro. João está na
cidade e vai a exatamente um deles . Só que João vai ao teatro caso a cidade
não tenha cinema. Além disso, se a cidade tem um museu, quando João vai
nele, ele não vai ao teatro. A cidade não tem teatro mas João vai ao cinema.
Logo, João não está na cidade ou ela tem um cinema.

..................................................................................

3
 Resolução da Questão 3:

Legenda:
p : a cidade tem um cinema
q : a cidade tem um museu
r : a cidade tem um teatro
s : João está na cidade
t : João vai ao cinema
u : João vai ao museu
v : João vai ao teatro

Simbolização:

p∨q∨r
s ∧ (t ∨ u ∨ v) ∧ {t → [(¬u) ∧ (¬v)]} ∧ {u → [(¬t) ∧ (¬v)]} ∧ {v → [(¬t) ∧ (¬u)]}
¬p → v
q → [u → (¬v)]
(¬r) ∧ t
(¬s) ∨ p

Demonstração:

Suponhamos:
1. p∨q∨r
2. s ∧ (t ∨ u ∨ v) ∧ {t → [(¬u) ∧ (¬v)]} ∧ {u → [(¬t) ∧ (¬v)]}∧
{v → [(¬t) ∧ (¬u)]}
3. ¬p → v
4. q → [u → (¬v)]
5. (¬r) ∧ t
Daı́:
2 6. t → [(¬u) ∧ (¬v)]
5 7. t
6,7 8. ¬u ∧ ¬v
8 9. ¬v
3,9 10. ¬¬p
10 11. p
3,11 12. (¬s) ∨ p 

Observação: No arquivo divulgado, a última premissa possui uma ocorrência inad-

vertida do conectivo não. Com esta modificação, o argumento é inválido e basta
exibir uma interpretação na qual as premissas são simultaneamente V e a conclusão
é F .

4
4. (2,5) Um colega postou a seguinte questão, com um inı́cio incorreto de tentativa de
resolução, na Sala de MD, para os colegas comentarem:

Questão: Determine a negação da seguinte versão do Teorema do Valor

Intermediário, do Cálculo, onde é assumido que I é um intervalo na reta real
e a, b são pontos em I:
Para toda função contı́nua em I, se a função produz valores com sinais opostos
em a e b, então a função tem uma raiz em [a, b].
Resolução: Legendas:
F (x) : Toda função
C(x) : x é contı́nua em I
S(x) : x produz valores com sinais opostos em a e x produz valores com
sinais opostos em b
R(x) : x tem uma raiz e a raiz está em [a, b].

(a) Ajude o colega, apontando os erros que ele cometeu.

(b) Resolva a questão de forma correta.

Resolução da Questão 4:
(a) Erros:
Palavra “LegendaS” ao invés de “Legenda”.
Letras maiúsculas na legenda.
Ocorrência de quantificador “toda” na legenda.
Ocorrência de frase que não é enunciado, na legenda.
Ocorrência do conectivo “e” na legenda. Isso leva a ocorrência de dois componentes
na mesma linha.
Outra ocorrência do conectivo “e” na legenda. Isso leva a ocorrência de dois com-
ponentes na mesma linha.

(b) Resolução correta:

Legenda:
f (x) : x é função
c(x) : x é contı́nua em I
s(x) : x produz valores com sinais opostos em a e b
r(x) : x tem uma raiz em [a, b].

Simbolização:
∀x{[f (x) ∧ c(x)] → [s(x) → r(x)]}

Negação:
¬∀x{[f (x) ∧ c(x)] → [s(x) → r(x)]}
é equivalente a

5
∃x¬{[f (x) ∧ c(x)] → [s(x) → r(x)]}
é equivalente a
∃x{[f (x) ∧ c(x)] ∧ ¬[s(x) → r(x)]}
é equivalente a
∃x{[f (x) ∧ c(x)] ∧ [s(x) ∧ ¬r(x)]}
é equivalente a
∃x[f (x) ∧ c(x) ∧ s(x) ∧ ¬r(x)]

Re-escrita:
Existe uma função contı́nua em I que produz valores com sinais opostos em a e b,
mas não tem uma raiz em [a, b].

© 2020 Márcia Cerioli e Petrucio Viana

Coordenação da Disciplina MD/CEDERJ-UAB