Lista 1 - Bases Matemáticas

1. Determine se as seguintes proposições são verdadeiras ou falsas:

(a) Todos os números naturais são pares.
(b) Há números naturais pares.
(c) O Brasil está localizado na América do Sul.
(d) Todas as letras da palavra “banana” são vogais.
(e) 5 é ı́mpar e 4 é par.
(f) 5 é ı́mpar ou 4 é par.
(g) 5 é ı́mpar ou 4 é ı́mpar.
(h) 7 não é ı́mpar e 8 é par.
(i) Se x não é par, então x é ı́mpar. [Considere o universo U = R]
(j) Se x é par, então 2x + 1 é ı́mpar. [Considere o universo U = R]
(k) Se 2 é um número par, então 3 é um número ı́mpar.
(l) Se 2 é um número par, então 4 é um número ı́mpar.
(m) Se 3 não é par, então 3 não é ı́mpar.
2. Suponhamos que em uma mesa estejam dispostas 5 cartas com as seguintes faces
viradas para cima: A, B, 2, 3, 8. Uma pessoa observa a situação e profere a seguinte
frase:
“Se uma carta tem um número par em uma das faces, então ela tem uma vogal
na outra face.”
Quais cartas você precisa virar para decidir se a proposição acima está correta?
3. Sejam dadas três proposições p, q e r. Construa a tabela verdade para as
proposições seguintes proposições:
(a) p ∧ q.
(b) p ∨ q.
(c) p ⇒ q.
(d) (p ∧ q) ∨ r.
(e) (p ∨ q) ∧ r.
4. Seja A = {1, 2, 3, 4}. Determine se as seguintes proposições são verdadeiras ou
falsas:
(a) ∃x ∈ A | x + 4 = 9.
(b) ∃x ∈ A | x < 7.
(c) ∀x ∈ A, x + 3 < 7.
(d) ∀x ∈ A, x + 3 < 9.

1
5. Negue as seguintes proposições:
(a) O carro é vermelho.
(b) Todo brasileiro joga futebol.
(c) Todo brasileiro é alto.
(d) Todo elemento de um conjunto A é elemento do conjunto B.
(e) Existe um número natural n tal que n2 é par e divisı́vel por 3.
(f) Vou tomar sorvete ou picolé.
(g) Eu gosto de hambúrguer e você gosta de pizza.
(h) x > 7 ou y < 2.
(i) x > 7 e y < 2.
(j) Se x é par, então x2 é par.
(k) Se chove, então eu não vou trabalhar.
(l) Se minha mãe é um trator, então eu sou uma moto-serra.
(m) Se x2 + y 2 = 1, então x = y = 0.
(n) (p ∧ q) ⇒ r.
(o) (p ∨ q) ⇒ r.
(p) p ⇒ (q ∧ r).
(q) p ⇒ (q ∨ r).
(r) (p ∨ q) ∧ r.
(s) (p ∧ q) ∨ r.
6. Transcreva as seguintes proposições para a forma simbólica. Em seguida, escreva
a negação, em português e simbólica, de cada uma delas.
(a) Todo elemento do conjunto A é elemento do conjunto B.
(b) Para cada número real x existe um número real y tal que x + y = 0.
(c) Não existe número racional cujo quadrado é 2.
(d) Existem dois números inteiros cuja soma é 1000.
(e) Para todo ε > 0, existe δ > 0 tal que se |x − a| < δ então |f (x) − f (a)| < ε.
7. Considere a proposição p(x, y) = “x + 4 > y” com x, y ∈ D = {1, 2, 3, 4, 5, 6}.
Reescreva as seguintes proposições em português e atribua um valor verdadeira/falsa
para cada uma delas:
(a) ∀x ∈ D, ∃y ∈ D | p(x, y).
(b) ∃y ∈ D | ∀x ∈ D, p(x, y).
(c) ∃x ∈ D | ∀y ∈ D, p(x, y).
(d) ∀x ∈ D, ∀y ∈ D, p(x, y).
(e) ∃x ∈ D, ∃y ∈ D | p(x, y).

2
8. Para cada afirmação a seguir, escreva a sua negação. (Considere que as afirmações
se referem a números reais.)
(a) (x = 0) ∨ (x = −1).
(b) ∀x, x2 ≥ 1.
(c) ∀x < 0, x3 > x.
(d) ∀x ∃y (x · y = 1).
(e) ∃x ∀y ((y 2 ̸= y) ⇒ (x + y > 1) ∧ (x2 − y 5 = 9))
(f) (∀x ∈ R, x ≤ 1 ⇒ 0 ≤ x2 ≤ 1) ∧ (∀y ≥ 0 ∃n ∈ N (n ≤ z < n + 1))
Definição 1: Sejam a e b dois números inteiros. Dizemos que a divide b se exite um
inteiro k tal que b = ka. Neste caso, dizemos que a é um divisor de b e escrevemos
a | b.
Definição 2: Dizemos que um número inteiro x é primo se o conjuntos de todos
os seus divisores é exatamente {1, −1, x, −x}.
9. Determine, nas situações abaixo, se a proposição p é uma condição necessária
e/ou suficiente para a proposição q. Em todos os casos considere n como sendo um
número natural.
(a) p : “n > 1”, q : “n ≥ 5”.
(b) p : “4 | n, q : “n é um número par”.
(c) p : “n é par”, q : “n2 é par”.
(d) p : “n é maior que 0 e n é menor que 2”, q = “n é menor que 2”.
(e) p : “n é maior que 0 e n é menor que 2”, q = “n = 1.
(f) p : “n é primo e par”, q = “n = 2 ou n = −2”.
10. Demonstre as seguintes afirmações pelo método direto:
(a) Se a divide b e a divide c, então a divide b + c.
(b) Se a e b são ı́mpares, então a + b é um número par.
(c) Se a é par e b é ı́mpar, então a + b é ı́mpar.
11. Demonstre as seguintes afirmações pelo método da redução ao absurdo:
(a) Não existem soluções inteiras positivas para a equação x2 − y 2 = 10.
(b) Se a não divide bc, então a não divide b.
12. Demonstre as seguintes afirmações pelo método da contraposição:
(a) Se a e b são dois números inteiros cujo produto é par, então pelo menos um
dos dois deve ser par.
(b) Se a e b são dois números inteiros cujo produto é ı́mpar, então ambos têm
de ser ı́mpares.

3
13. Demonstre as seguintes equivalências:
(a) Sejam dados a e b inteiros. Então, o produto ab é par se, e somente se, pelo
menos um dos números
(b) Sejam dados a, b, c inteiros com c ̸= 0. Então, a divide b se e somente se ac
divide bc.
14. Considerando o domı́nio de discurso U = Z, determine se cada afirmação a
seguir é verdadeira ou falsa (Justifique demonstrando a afirmação ou sua negação,
dependendo do caso).
(a) ∀x (∃y (x = y)).
(b) ∃x (∀y (x = y)).
(c) ∀x (∃y (x + y = 2)).
(d) ∃y (∀x (x + y = 2)).
(e) ∀x (∃y (xy = 0)).
(f) ∃y (∀x (xy = 0)).
(g) ∃y (∀x (x + y é par)).
(h) ∃y (∀x (x + y é par)).
Definição 2: Dizemos que x é um número racional se existem números inteiros
a, b com b ̸= 0 tais que x = ab . Um número real que não é racional é chamado de
irracional.
15. Demonstre as seguintes afirmações pelo método que achar conveniente:
(a) Se
√ x e y são números racionais, então xy e x + y são números racionais.
(b) 3 é irracional.
(c) Mostre que o produto de um número racional não nulo com um número
irracional é um número irracional.
16. Descreva os conjuntos abaixo na forma enumerativa:
(a) {x
 ∈ N : 1 2< x < 10}
(b)  x ∈ N : x < 5
(c) x ∈ N : x2 + x = 6
(d) n1 : n ∈ N, n ≥ 2
17. Considere o universo U = {1, 2, 3, 4, 5, 6, 7, 8} e os subconjuntos A = {1, 2, 4, 6}
e B = {x ∈ U : ∃k ∈ U (x = 3k)}. Represente os conjuntos A, B e U com um
diagrama de Venn e determine os conjuntos A ∪ B, A ∩ B, A \ B e Ac .

4
18. Considere o universo U = {1, 2, 3, 4, 5, 6, 7, 8} e os subconjuntos A = {1, 3, 5, 7},
B = {2, 3, 5, 7} e C = {2, 4, 6, 8}. Determine:
(a) A ∪ B, A ∪ C e B ∪ C.
(b) A ∩ B, A ∩ C e B ∩ C.
(c) Ac , B c e C c .
(d) A ∪ B c , A ∩ B c , Ac ∪ B e Ac ∩ B.
(e) Ac ∩ C c e (A ∪ C)c .
19. Considere o universo U = {1, 2, 3, 4, 5, 6, 7, 8} e os subconjuntos A = {1, 2, 3, 4},
B = {2, 3} e C = {2, 4, 6, 8}. Determine A \ B, B \ C e C \ A.
20. Sejam A, B, C conjuntos quaisquer. Prove as seguintes afirmações:
(a) A ⊂ A ∪ B.
(b) A ∩ B ⊂ A.
(c) Se A ⊂ B e B ⊂ C, então A ⊂ C.
(d) Se A ⊂ C e B ⊂ C, então A ∪ B ⊂ C.
(e) Se A ⊂ B e A ⊂ C, então A ⊂ B ∩ C.
(f) A ∪ ∅ = A.
(g) A ∩ ∅ = ∅.
(h) (Ac )c = A
(i) (A ∩ B)c = Ac ∪ B c
(j) (A ∪ B)c = Ac ∩ B c