Faculdade de Ciências

Departamento de Matemática e Informática

Licenciatura em Ciências de Informação Geográca, Diurno
20 Teste de Lógica e Teoria de Conjuntos.

Duração: 90 minutos 15.11.2013

Apelido Nomes

1a 1b 2a 2b 2c 2d 3a 3b 3c 4 5a 5b 6a 6b Total

(a preencher pelo professor)

Todas as respostas devem ser justicadas!

1. (a) (2 valores) Sejam A = {−1, 0, 1, 3}, B = {3k : k ∈ A} e C = {x ∈ Z : |x| < 3}. Liste o
conjunto (A△B) ∩ C .
(b) (2 valores) Sejam A = [0, 5], B = [2, ∞[ e C =] − ∞, 1]. Ache (represente analiticamente)
e esboce no plano cartesiano o conjunto (A ∩ B) × (A r C).
Resolução: a)

b)

2. Seja A = {1, 2, 3, 4, 5}. Consideremos a relação R ⊂ A × A denida pela fórmula R =

{(5, 5), (3, 4), (4, 5), (1, 2), (2, 3)}.

(a) (1 valor) Ache o contradomínio da relação R.

(b) (1 valor) Ache a composição R ◦ R.
(c) (1 valor) Verique se a relação R é transitiva.
(d) (1 valor) Verique se a relação R é uma função de A em A, e caso sim ache o valor desta
função no ponto 3.

1
 Resolução: a)

b)

c)

d)

3. Consideremos a função f : R → R denida pela fórmula f (x) = 2x .

(a) (1 valor) Verique se a função f é injectiva.
(b) (1 valor) Verique se a função f é sobrejectiva.

(c) (2 valores) Ache f (f

−1
([−2, 2])).

Resolução: a)

2
 b)

c)

4. (2 valores) Demonstre ou refute (dando um conta-exemplo) a seguinte armação: se f : X → Y

é uma função e A ⊂ X , então f (X r A) = Y r f (A).
Resolução:

5. Seja F conjunto de todas as funções f : R → R. Consideremos a relação R ⊂ F × F denida

pela igualdade R = {(f, g) : f (0) = g(0)} (notemos que f (0) é valor da função f no ponto 0).
(a) (1.5 valores) Demonstre que R é relação de equivalência.
(b) (1.5 valores) Encontre a classe
√ de equivalência do elemento φ, onde a função φ ∈ F é
denida pela fórmula φ(x) = x2 + x + 4.
Resolução: a)

3
 b)

6. Consideremos a relação de ordem parcial R ⊂ P(R) × P(R) denida pela igualdade R =

{(A, B) : A ⊂ B}. Seja F ⊂ P(R) é denido por F = {[0, 2], [1, 3]}.

(a) (1.5 valores) Ache os elementos minimais de F .

(b) (1.5 valores) Ache inf F .

Resolução: a)

b)

Bom trabalho! Professores Yury Nepomnyashchikh e Manuel Nhangumbe