Exercícios Análise Matemática I – Licenciatura MAEG

Capítulo 1. Elementos de Lógica Matemática e Teoria de Conjuntos

1. Prove que quaisquer que sejam as proposições p, q e r, se tem:

a) 𝑝 ∨ 𝑞 ⟺ 𝑞 ∨ 𝑝
b) (𝑝 ∨ 𝑞) ∨ 𝑟 ⟺ 𝑝 ∨ (𝑞 ∨ 𝑟)
c) 𝑝 ∧ 𝑞 ⟺ 𝑞 ∧ 𝑝
d) (𝑝 ∧ 𝑞) ∧ 𝑟 ⟺ 𝑝 ∧ (𝑞 ∧ 𝑟)
e) 𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
f) 𝑝 ∨ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)

2. Prove que quaisquer que sejam as proposições p, q e r, são verdadeiras as

proposições:
a) (𝑝 ⟹ 𝑞) ⟺ [(∼ 𝑞) ⟹ (∼ 𝑝)]
b) [𝑝 ∧ (𝑝 ⟹ 𝑞)] ⟹ 𝑞
c) [(𝑝 ⟹ 𝑞) ∧ (𝑞 ⟹ 𝑟)] ⟹ (𝑝 ⟹ 𝑟)

3. Indique o valor lógico das seguintes proposições considerando o conjunto dos

números reais, e o conjunto dos números naturais:
a) ∀𝑥 𝑥 2 + 1 > 1
b) ∀𝑥 𝑥 > 2 ⟹ 𝑥 > 1
c) ∀𝑥 ∃𝑦 𝑦 = 𝑥 2
d) ∃𝑦 ∀𝑥 𝑦 = 𝑥 2
e) ∀𝑥, 𝑦 ∃𝑧 𝑦𝑧 = 𝑥
f) ∃𝑥, 𝑦 (𝑥 − 𝑦)2 = 𝑥 2 − 𝑦 2
g) ∀𝑥, 𝑦 (𝑥 − 𝑦)2 = 𝑥 2 − 𝑦 2
4. Indique o valor lógico das seguintes proposições considerando o conjunto dos
números reais nas três primeiras alíneas:
a) |2 − 3𝑥| < 4 ⟹ 𝑥 < 2
b) 𝑥 < 5 ⟹ |𝑥| < 5
c) |𝑥 − 4| > 1 ⟹ 𝑥 > 5
d) ∀𝑥 > 0 ∃𝑦 > 0 |𝑥 − 2𝑦| = 3
e) ∃𝑥 ∈ ℝ |𝑥 + 4| = |𝑥 − 2|

5. Escreva a negação das seguintes frases:

a) ∀𝑥 ∃𝑦 𝑦 = 𝑥 2
b) ∃𝑥 ∀𝑦 𝑧 − 𝑥 = 𝑥 − 𝑦
c) ∀𝑥 ∃𝑦 𝑥 > 𝑦 ⟹ 𝑓(𝑥) > 𝑓(𝑦)

6. Complete com relações de “sse”, “se” ou “só se” as seguintes condições em ℝ

de forma a obter proposições verdadeiras:
a) 𝑥 = √4 … 𝑥 = 2
b) 𝑥 2 > 0 … 𝑥 > 0
c) 𝑥 2 < 9 … 𝑥 < 3
d) 𝑥(𝑥 2 + 1)3 = 0 … 𝑥 = 0
e) 𝑥(𝑥 + 3) < 0 … 𝑥 > −3

7. Determine o conjunto solução das seguintes equações:

a) 𝑥 + 2 = √4𝑥 + 13
b) |𝑥 + 2| = √4 − 𝑥
c) 𝑥 2 − 2|𝑥| − 3 = 0
d) √𝑥 − 4 = √𝑥 + 5 − 9

8. Mostre que quaisquer que sejam os conjuntos A, B e C, se tem:

a) 𝐴 ⊂ 𝐴
b) 𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐶 ⟹ 𝐴 ⊂ 𝐶
9. Indique o valor lógico das seguintes proposições:
a) ∅ ⊂ ∅
b) 1 ∈ {1}
c) {1} ∈ {1,2,3}
d) {1} ⊂ {1, {2,3}}
e) ∅ = {𝑥 ∈ ℕ: 𝑥 = 𝑥 + 1}

10. Considere os seguintes conjuntos no universo dos números naturais,

𝐴 = {𝑛 ∈ ℕ: 𝑛 > 5 ∧ 𝑛 é 𝑝𝑟𝑖𝑚𝑜} 𝐵 = {𝑛 ∈ ℕ: 𝑛 ≠ 10𝑚 + 5 ∀𝑚 ∈ ℕ}.
Que relações de inclusão pode estabelecer entre os conjuntos dados? Justifique.

11. Considere os seguintes conjuntos no universo dos números naturais,

𝐴 = {𝑛 ∈ ℕ: 𝑛 ≠ 𝑚2 ∀𝑚 ∈ ℕ} 𝐵 = {𝑛 ∈ ℕ: ∃𝑚 ∈ ℕ 𝑛 = 10𝑚 + 2}.
Mostre que A contém B.

12. Demonstre as seguintes igualdades entre conjuntos:

a) ̅̅̅̅̅̅̅
𝐴 ∩ 𝐵̅ = 𝐴̅ ∪ 𝐵
b) 𝐴 − 𝐵 = 𝐴 ∩ 𝐵̅
c) 𝐴 ∩ (𝐴 ∪ 𝐵) = 𝐴
d) 𝐴 ∪ 𝐵 = (𝐴 − 𝐵) ∪ (𝐵 − 𝐴) ∪ (𝐴 ∩ 𝐵)

1 1
13. Considere a sucessão de subconjuntos reais, 𝐴𝑛 = [𝑛 , 1 + 𝑛], com 𝑛 ∈ ℕ.

Calcule ⋃∞ ∞
𝑛=1 𝐴𝑛 e ⋂𝑛=1 𝐴𝑛 .

14. Considere os conjuntos 𝐴 = {1,2,3} e 𝐵 = {1,4}. Determine 𝐴 × 𝐵, 𝐵 × 𝐴 e

𝐵 × 𝐵.

15. Prove,
a) 𝐴 × (𝐵 ∪ 𝐶) = (𝐴 × 𝐵) ∪ (𝐴 × 𝐶)
b) 𝐴 × (𝐵 ∩ 𝐶) = (𝐴 × 𝐵) ∩ (𝐴 × 𝐶)
c) 𝐴 × 𝐵 = ∅ ⟺ 𝐴 = ∅ ∨ 𝐵 = ∅
16. Prove pelo princípio de indução de matemática,

2 𝑛−1
1 − 𝑟𝑛
1+𝑟 +𝑟 +⋯+𝑟 = , 𝑟≠1
1−𝑟

17. Prove pelo princípio de indução de matemática,

(𝑛!)2 > 2𝑛 𝑛2 ∀𝑛 ≥ 4