Universidade Federal de Mato Grosso do Sul - UFMS

Introdução à Lógica - P2 do connamento/T02 - Lic. Mat.

28/06 a 01/07 de 2020 - Prof. E.T.Galante
1. (1,0 ponto) Para cada proposição abaixo, diga sua ela é verdadeira
ou falsa e escreva sua negação:
(a) Existe um número x ∈ R tal que x2 = −1;
(b) Para todo número x ∈ R tem-se x > 1 ou x2 < 1;
(c) Para todo número x ∈ R existe um número n ∈ N tal que n > x;
(d) Existe um número n ∈ N tal que, para todo número x ∈ R tem-se
n > x.

2. (1,0 ponto) Dê a negação de cada uma das proposições:

(a) ∀x, ∃y , p(x, y) ∧ ¬q(x, y);
(b) ∀ϵ > 0, ∃δ > 0, ∀x ∈ R, 0 < |x − 2| < δ → 0 < |2x − 4| < ϵ.
3. (1,0 ponto) Determine o conjunto-verdade em R de cada uma das
seguintes sentenças:
(a) x3 + |x| = 0;
(b) |x − 3| > x − 1.
4. (1,0 ponto) Determinar o conjunto-verdade em A = {0, 1, 2, 3, 4, 5}
de cada uma das seguintes sentenças abertas compostas:
(a) x2 − 3x = 0 ←→ x2 − x = 0;
(b) x é par ←→ x2 < 8.
5. (1,0 ponto) Sendo A, B e C conjuntos, verique se as armações
abaixo são verdadeiras ou falsas. Justique suas respostas.
(a) A ∩ B = ∅ ⇒ A = ∅ ou B = ∅;
(b) A∪B =∅⇒A=∅ e B = ∅;
(c) A ∪ B = ∅ ⇒ A = ∅ ou B = ∅;
(d) A ∩ B ̸= ∅ ⇒ A ̸= ∅ e B ̸= ∅;
(e) A ∪ B ̸= ∅ ⇒ A ̸= ∅ e B ̸= ∅.

6. (1,0 ponto) Sejam A e B conjuntos não vazios. Mostre que

A ⊂ B, C ⊂ D ⇔ A × C ⊂ B × D.

1
 7. (1,0 ponto) Prove que, para todo inteiro positivo n, tem-se que:
(a) 1 + 3 + . . . + (2n − 1) = n2 ;
4n3 − n
(b) 12 + 32 + . . . + (2n − 1)2 = .
3
8. (1,0 ponto) Prove por indução:
(a) n! > n2 , ∀n ∈ N tal que n ≥ 4;
(b) 2n < n!, ∀n ∈ N tal que n ≥ 4.
9. (1,0 ponto)
√
(a) Prove que 2 é irracional;
√
(b) Prove que 3 é irracional;
√
(c) Prove que 6 é irracional;
√ √
(d) Prove que 2 + 3 é irracional.
10. (1,0 ponto)
(a) Prove que se r for um número irracional, então 1/r também o será;
(b) Prove que se r e s forem irracionais, mas r + s for racional, então
r − s e r + 2s serão irracionais;
(c) Prove que o produto de um número irracional por um número
racional diferente de zero é irracional;
(d) Prove por contraposição que se a soma de dois números reais for
menor que 60, então pelo menos um dos números será menor que
30.