Sociedade Brasileira de Matemática

Mestrado Prossional em Matemática em Rede Nacional

MA11  Números e Funções Reais
Unidade 1  Conjuntos
Unidade 2  Conjuntos
Roteiro de Estudos

Exercícios Recomendados
1. Decida quais das armações a seguir estão corretas. Justique suas res-
postas.

(a) ∅ ∈ ∅; (b) ∅ ⊂ ∅; (c) ∅ ∈ {∅} ; (d) ∅ ⊂ {∅}.

2. Demonstre as propriedades de distributividade:

(a) a operação de união em relação à interseção;

(b) a interseção em relação à união.

3. Demonstre que A ∪ B = B ⇔ A ⊂ B ⇔ A ∩ B = A.
4. Dados A, B ⊂ U , demonstre as relações de De Morgan:

(a) (A ∪ B)C = AC ∩ B C ;
(b) (A ∩ B)C = AC ∪ B C .

5. Considere P , Q e R condições, aplicáveis aos elementos de um conjunto

U ; e A, B e C os subconjuntos de U dos elementos que satisfazem P ,
Q e R, respectivamente. Expresse, em termos de implicações entre P , Q
e R, as seguintes relações entre os conjuntos A, B e C .

(a) A ∩ B C ⊂ C ; (b) AC ∪ B C ⊂ C ; (c) AC ∪ B ⊂ C C ;

(d) AC ⊂ B C ∪ C ; (e) A ⊂ B C ∪ C C .

1
 6. Recorde que a denição da diferença entre conjuntos:
B \ A = {x ; x ∈ B e x ∈
/ A}.
Mostre que

a) B \ A = ∅ se, e somente se, B ⊂ A;

b) B \ A = B se, e somente se, A ∩ B = ∅;
c) vale a igualdade B \ A = A \ B se, e somente se, A = B .
d) Determine uma condição necessária e suciente para que se tenha
A \ (B \ C) = (A \ B) \ C.

7. Dê exemplos de implicações, envolvendo conteúdos do ensino médio, que

sejam: verdadeiras, com recíproca verdadeira; verdadeiras, com recíproca
falsa; falsas, com recíproca verdadeira; falsas, com recíproca falsa.
8. Escreva as implicações lógicas que correspondem à resolução da equação
√
x + x = 2. Verique quais são reversíveis e explique o aparecimento de
√
raízes estranhas. Faça o mesmo com a equação x + 3 = x.
9. Considere as seguintes (aparentes) equivalências lógicas:

x=1⇔ x2 − 2x + 1 = 0
⇔ x2 − 2 · 1 + 1 = 0
⇔ x2 − 1 = 0
⇔ x = ±1
Conclusão(?): x = 1 ⇔ x = ±1. Onde está o erro?
10. Escreva as recíprocas, contrapositivas e negações matemáticas das se-
guintes armações:

(a) Todos os gatos têm rabo;

(b) Sempre que chove, eu saio de guarda-chuva ou co em casa;
(c) Todas as bolas de ping pong são redondas e brancas;
(d) Sempre que é terça feira e o dia do mês é um número primo, eu vou
ao cinema;
(e) Todas as camisas amarelas ou vermelhas têm manga comprida;
(f) Todas as coisas quadradas ou redondas são amarelas e vermelhas.

2
Exercícios Suplementares
1. Sejam A, B e C conjuntos. Determine uma condição necessária e suci-
ente para que se tenha

A ∪ (B ∩ C) = (A ∪ B) ∩ C.

2. Expressões tais como para todo e existe são chamadas de quanticadores e

aparecem em sentenças dos tipos (sendo P (x) é uma condição envolvendo
a variável x):
(1) Para todo x, é satisfeita a condição P (x);
(2) Existe algum x que satisfaz a condição P (x).

(a) Sendo A o conjunto de todos os objetos x (de um certo conjunto

universo U ) que satisfazem a condição P (x), escreva as sentenças
(1) e (2) acima, usando a linguagem de conjuntos.
(b) Quais são as negações de (1) e (2)? Escreva cada uma destas ne-
gações usando conjuntos e compare com as sentenças obtidas em
(a).
(c) Para cada sentença abaixo, diga se ela é verdadeira ou falsa e forme
sua negação.
i.Existe um número real x tal que x2 = −1.
ii.Para todo número inteiro n, vale n2 > n.
iii.Para todo número real x, tem-se x > 1 ou x2 < 1.
iv. Para todo número real x existe um número natural n tal que
n > x.
v. Existe um número natural n tal que, para todo número real x,
tem-se n > x.

3. Considere os conjuntos abaixo:

F = conjunto de todos os lósofos;
M = conjunto de todos os matemáticos;
C = conjunto de todos os cientistas;
P = conjunto de todos os professores.

3
 (a) Exprima cada uma das armativas abaixo usando a linguagem de
conjuntos.
i. Todos os matemáticos são cientistas.
ii. Alguns matemáticos são professores.
iii. Alguns cientistas são lósofos.
iv. Todos os lósofos são cientistas ou professores.
v. Nem todo professor é cientista.
(b) Faça o mesmo com as armativas abaixo.
vi. Alguns matemáticos são lósofos;
vii. Nem todo lósofo é cientista;
viii. Alguns lósofos são professores;
ix. Se um lósofo não é matemático, ele é professor;
x. Alguns lósofos são matemáticos.
(c) Tomando as cinco primeiras armativas como hipóteses, verique
quais das armativas do segundo grupo são necessariamente verda-
deiras.

4. Considere um grupo de 4 cartões, que possuem uma letra escrita em um

dos lados e um número do outro. Suponha que seja feita, sobre esses
cartões, a seguinte armação: Todo cartão com uma vogal de um lado
tem um número ímpar do outro. Quais do cartões abaixo você precisaria
virar para vericar se esse armativa é verdadeira ou falsa?

A 1 B 4

5. O artigo 34 da Constituição Brasileira de 1988 diz o seguinte:

A União não intervirá nos Estados nem no Distrito Federal, exceto para:

I. Manter a integridade nacional;

II. Repelir invasão estrangeira ou de unidade da Federação em outra;

III. (...)

4
 (a) Suponhamos que o estado do Rio de Janeiro seja invadido por tropas
do estado de São Paulo. O texto acima obriga a União a intervir no
estado? Na sua opinião, qual era a intenção dos legisladores nesse
caso?
(b) Reescreva o texto do artigo 34 de modo a torná-lo mais preciso.

6. O conjunto das partes P (A) de um conjunto A é o conjunto formado

por todos os subconjuntos do conjunto A. Prove o teorema de Cantor:
Se A é um conjunto, não existe uma função f : A → P (A) que seja
sobrejetiva.
Sugestão: Suponha que exista uma tal função f e considere X = {x ∈
/ f (x)}.
A; x∈