MA11 Unidade 1 e 2 Conjuntos

Unidades 1 e 2
Conjuntos
Sumrio
1.1
Introduo
. . . . . . . . . . . . . . . . . . . . . . .
1.2
A Noo de Conjunto . . . . . . . . . . . . . . . . .
1.3
A Relao de Incluso . . . . . . . . . . . . . . . . .
1.4
O Complementar de um Conjunto . . . . . . . . . .
12
1.5
Reunio e Interseo
. . . . . . . . . . . . . . . . .
16
1.6
Exerccios Recomendados . . . . . . . . . . . . . . .
19
1.7
Exerccios Suplementares
. . . . . . . . . . . . . . .
20
1.8
Textos Complementares . . . . . . . . . . . . . . . .
24
unidades 1 e 2
Introduo
1.1
Introduo
Em muitos casos, livros didticos de Matemtica do ensino bsico introduzem determinados assuntos (tipicamente, funes) com uma linguagem fortemente baseada em conjuntos, que subitamente abandonada em seguida. Tais
inconsistncias de linguagem podem atrapalhar consideravelmente a aprendizagem.
Assim, fundamental para o professor saber adequar a linguagem e a
notao de conjuntos para o nvel em que est ensinando, evitando imprecises,

por um lado, e exageros de formalismo, por outro.
A noo de conjunto pode ser construda por meio de um sistema de axiomas

especco. Entretanto, apresentar essa construo escaparia ao escopo e aos
propsitos deste contexto. O objetivo desta unidade introduzir a linguagem
bsica de conjuntos, sem se aprofundar em Teoria de Conjuntos. Em particular,
visamos evidenciar as relaes entre a linguagem bsica da lgebra de conjuntos
com a linguagem bsica de lgica matemtica de proposies. Assim, vamos assumir o conceito conjunto como uma noo primitiva, sem denio. Podemos,
neste caso, simplesmente pensar em um conjunto como estamos acostumados, a
saber, como sendo formado por seus elementos. Partindo desta noo primitiva
sem denio, deniremos os outros conceitos e demonstraremos os principais
teoremas associados. Para aqueles que quiserem se aprofundar mais em Teoria
de Conjuntos, recomendamos a leitura de [5].
Para o professor, fundamental o conhecimento da linguagem de conjuntos,

uma vez que esta forma a base comum a todos os campos da Matemtica
atual.
Este conhecimento importante, mesmo para que se saiba adequar o
grau de formalismo da linguagem de conjuntos a cada srie da educao bsica.

Por exemplo, mesmo para usar com segurana em sala de aula o abuso de
notao
r s = P,
quando se fala do ponto de interseo entre duas retas
(veja a Reexo da p. 5), preciso ter claro por que a verso rigorosamente
correta seria
r s = {P }.
Para isto, deve-se lidar confortavelmente com as
relaes entre conjuntos e entre elementos e conjuntos. Assim, ao estudar esta

unidade, procure prestar particular ateno em como a linguagem de conjuntos
pode facilitar a expresso do raciocnio dedutivo matemtico.
Conjuntos
1.2
A Noo de Conjunto
Toda a Matemtica atual formulada na linguagem de conjuntos. Portanto,

a noo de conjuntos a mais fundamental: a partir dela, todos os conceitos
matemticos podem ser expressos.
Ela tambm a mais simples das ideias
matemticas.
Um conjunto formado por elementos. Na verdade, podemos dizer mais do
que isso. Um conjunto denido por seus elementos (e nada mais). Este fato
se reete claramente na noo de igualdade entre conjuntos: dois conjuntos
so iguais se, e somente se, possuem os mesmos elementos. Isto , no pode
haver dois conjuntos diferentes que tenham os mesmos elementos. Em Teoria
de Conjuntos, esta propriedade corresponde ao chamado Axioma da Extenso
(para saber mais, veja [5]).
Dados um conjunto
se
e um objeto qualquer
ou no um elemento do conjunto
A?
a,
a nica pergunta cabvel
Esta pergunta s admite duas
respostas possveis: sim ou no. No caso armativo, diz-se que

conjunto
conjunto
A e escreve-se a A.
A e pe-se a
/ A.
Caso contrrio, diz-se que
pertence ao
no pertence ao
Em Matemtica, qualquer armao verdadeira ou falsa, no pode haver

um terceira opo, e nem as duas ao mesmo tempo. Estes fatos bsicos so conhecidos como Princpio do Terceiro Excludo e Princpio da No Contradio e
esto na base da estrutura lgica da Matemtica. Diferentemente do que ocorre
com outras modalidades de lgica (como as que empregamos informalmente no
dia a dia), para avaliar a veracidade de uma armao matemtica, no h
outras variaes possveis de respostas, tais como mais ou menos, depende ou
s vezes.
+ Na Sala de Aula - Armaes Sempre Verdadeiras - Clique para ler

A Matemtica se ocupa primordialmente de nmeros e do espao. Portanto,
os conjuntos mais frequentemente encontrados na Matemtica (especialmente
na Matemtica do ensino bsico) so os conjuntos numricos, as guras geomtricas (que so conjuntos de pontos) e os conjuntos que se derivam destes,
como os conjuntos de funes, de matrizes etc.
A linguagem dos conjuntos, hoje universalmente adotada na apresentao
unidades 1 e 2
A Noo de Conjunto
unidades 1 e 2
da Matemtica, ganhou esta posio porque permite dar aos conceitos e s

proposies desta cincia a preciso e a generalidade que constituem sua caracterstica bsica. Os conjuntos substituem as propriedades e as condies.
Assim, em vez de dizermos que o objeto
satisfaz a condio
Q,
tem a propriedade
podemos escrever
conjunto dos objetos que tm a propriedade

que satisfazem a condio
y B,
ou o objeto
em que
o conjunto dos objetos
Q.
x ser par (isto ,

2
divisvel por 2) e Q a condio sobre o nmero real y expressa por y 3y+2 = 0.
Por exemplo, sejam
x A
P eB
P
a propriedade de um nmero inteiro
Por outro lado, sejam
A = {. . . , 4, 2, 0, 2, 4, 6, . . .}
x tem a propriedade P
x A e y B.
Ento, dizer que

que armar que
B = {1, 2}.
y satisfaz a condio Q o mesmo
A esse respeito, uma pergunta fundamental para entender a importncia da

linguagem de conjuntos a seguinte: Qual a vantagem que se obtm quando
x A e y B,
condio Q?
se prefere dizer que
satisfaz a
em vez de dizer que
tem a propriedade
A vantagem de se utilizar a linguagem e a notao de conjuntos que entre

estes existe uma lgebra, montada sobre as operaes de reunio
interseo
(A B),
alm da relao de incluso
(A B).
(A B)
As propriedades e
regras operatrias dessa lgebra, como por exemplo,
A (B C) = (A B) (A C)
A A B,
no so difceis de manipular e representam um enorme ganho em simplicidade

e exatido quando comparadas ao manuseio de propriedades e condies. Por
exemplo, mostrar que um conjunto est contido em outro equivale a mostrar que
a propriedade que dene o primeiro implica na propriedade que dene o segundo
(P
Q);
e aplicar a propriedade antissimtrica da incluso de conjuntos
para demonstrar a igualdade entre conjuntos (se
A B
B A,
ento
A = B ) equivale a demonstrar a equivalncia entre as condies que os denem

(P Q). Essa discusso ser aprofundada nas Sees 1.3, 1.4 e 1.5, a seguir.
Existe um conjunto excepcional e intrigante: o conjunto vazio, designado
pelo smbolo
Ele aceito como conjunto porque cumpre a utilssima funo
unidades 1 e 2
Conjuntos
de simplicar as proposies, evitando uma longa e tediosa meno de excees.

Qualquer propriedade contraditria serve para denir o conjunto vazio.
= {x ; x 6= x},
exemplo, tem-se
que
ou seja,
o conjunto dos objetos
diferente de si mesmo. Seja qual for o objeto
tem-se sempre
Por
tais
x
/
Em muitas questes matemticas importante saber que um determinado
conjunto
no vazio. Para mostrar que
no vazio, deve-se simplesmente
x X . Outros conjuntos curiosos so os

conjuntos unitrios. Dado um objeto x qualquer, o conjunto unitrio {x} tem
como nico elemento esse objeto x. Estritamente falando, x e {x} no so a
encontrar um objeto
tal que
mesma coisa.
+ Na Sala de Aula - Clareza e Rigor - Clique para ler

+ Na Sala de Aula - O Conjunto Vazio - Clique para ler
1.3
A Relao de Incluso
diz-se que
um subconjunto de
Sejam
B,
parte de
B.
conjuntos. Se todo elemento de
B,
que
for tambm elemento de
est contido em
Para indicar este fato, usa-se a notao
B,
ou que
Definio 1
A B.
A B chama-se relao de incluso. Quando A no um

subconjunto de B , escreve-se A 6 B . Isto signica que nem todo elemento de
A pertence a B , ou seja, que existe pelo menos um objeto a tal que a A e
a
/ B.
A relao de
Exemplo 1
(a) Sejam
Todo tringulo um polgono,

(b) Sejam
P o conjunto dos polgonos do plano.

logo T P .
o conjunto dos tringulos e
A 6 B porque 2 A
3 B mas 3
/ A.
3. Tem-se
pois
B o conjunto dos mltiplos de

2
/ B . Tem-se tambm B 6 A
o conjunto dos nmeros pares e
mas
A Relao de Incluso
unidades 1 e 2
+ Para Saber Mais - A Relao de um Elemento Pertencer a um Conjunto

e a Incluso -
Exemplo 2
Clique para ler
Em Geometria, uma reta, um plano e o espao so conjuntos. Seus elementos so pontos.

Quando dizemos que uma reta
est contida em
est no plano
ou equivalentemente, que
estamos armando que
um subconjunto de
pois
r pertencem tambm a .
Neste caso, deve-se escrever r . Porm, no correto dizer que r
pertence a , nem escrever r . Os elementos do conjunto so pontos e
todos os pontos que pertencem a
no retas.
H duas incluses extremas.
AA
A primeira obvia: para todo conjunto
A). A outra ,
no mnimo, curiosa: tem-se A, seja qual for o conjunto A. Com efeito,
se quisssemos mostrar que 6 A, teramos que obter um objeto x tal que
x mas x
/ A. Como x impossvel, somos levados a concluir que
A, ou seja, que o conjunto vazio subconjunto de qualquer outro.
Diz-se que A um subconjunto prprio de B quando A subconjunto de
B e a incluso no corresponde a nenhum desses dois casos extremos, isto ,
quando se tem A B com A 6= e A 6= B .
vale
(pois claro que todo elemento de
A,
pertence a
A relao de incluso tem trs propriedades fundamentais. Dados quaisquer
tem-se:
(i) reexividade:
A A;
conjunto
A, B
(ii) antissimetria: se
(iii) transitividade: se
AB
B A,
AB
ento
B C,
A = B;
ento
A C.
A propriedade antissimtrica constantemente usada nos raciocnios mate-
A e B so iguais, prova-se
de A pertence a B e todo
mticos. Quando se deseja mostrar que os conjuntos

que
AB
elemento de
B A, ou seja,
B pertence a A.
que todo elemento
Na realidade, a propriedade antissimtrica da
relao de incluso contm, nela embutida, a condio de igualdade entre os
unidades 1 e 2
Conjuntos
conjuntos: os conjuntos
so iguais se, e somente se, tm os mesmos
elementos.
Por sua vez, a propriedade transitiva da incluso a base do raciocnio
dedutivo, sob a forma que classicamente se chama de silogismo. Um exemplo
de silogismo (tipicamente aristotlico) o seguinte:
todo ser humano um
animal, todo animal mortal, logo todo ser humano mortal. Na linguagem
de conjuntos, isso seria formulado assim: sejam
H, A
respectivamente
os conjuntos dos seres humanos, dos animais e dos mortais. Temos
A M,
logo
H M.
H A
Voltaremos a esse assunto mais a diante (p. 10).
A relao de incluso entre conjuntos est estreitamente relacionada com

a implicao lgica.
Vejamos como.
Sejam
propriedades aplicveis a
U . Essas propriedades denem os conjuntos A, formado pelos elementos de U que gozam de P ; e B , formado pelos elementos de
U que tm a propriedade Q. Se todos os elementos que possuem a propriedade
P tambm tm a propriedade Q, dizemos que a propriedade P implica (ou
acarreta) a propriedade Q e escrevemos P Q. Isto equivalente a dizer que
todo elemento que pertence a A tambm pertence a B , isto , que A B .
elementos de um conjunto
Seja
o conjunto dos quadrilteros convexos do plano. Designemos com
a propriedade de um quadriltero ter seus quatro ngulos retos e por
Exemplo 3
propriedade de um quadriltero ter seus lados opostos paralelos (isto , ser

paralelogramo). Ento podemos escrever
dos retngulos e
R P.
A
A B.
Neste caso,
o conjunto dos paralelogramos, logo
o conjunto
Exemplo 4
Podemos escrever a implicao
Para todo x R,
x2 + x 1 = 0 x3 2x + 1 = 0.
Ela signica que toda raiz da equao
x2 + x 1 = 0
tambm raiz de
x3 2x + 1 = 0.
P Q. Pode-se dizer P implica

Q, se P ento Q, P condio suciente para Q, Q condio necessria para
P ou P somente se Q.
H diferentes maneiras de se ler a relao
unidades 1 e 2
A Relao de Incluso
Assim, a relao do Exemplo 3 pode ser expressa de diversas formas equivalentes: ser retngulo implica ser paralelogramo, se
um retngulo ento
um paralelogramo, ser retngulo condio suciente para ser paralelogramo,

ser paralelogramo condio necessria para ser retngulo, ou, nalmente, todo
retngulo um paralelogramo.
A compreenso dos signicados do termo necessrio e do termo suciente
em Matemtica de fundamental importncia. Em uma implicao:
P Q
dizemos que a condio
valente, que a condio
P suciente
Q necessria
para a condio
para a condio
Q,
P.
ou, de forma equi-
No incomum confundir esses signicados. Os termos necessrio e suciente em Matemtica tm signicados especcos, que podem diferir da forma
como os entendemos em linguagem cotidiana. Isto pode se constituir em um
obstculo para a aprendizagem. Entender o que signica suciente pode ser
relativamente mais fcil, uma vez que este termo sinnimo de bastante.
Talvez isso tenha a ver com o fato de que uma condio suciente geralmente
mais forte do que a concluso a que se quer chegar. Por outro lado, uma condio necessria , em geral mais fraca do que a concluso. Observe atentamente
os exemplos a seguir.
Exemplo 5
Sabemos que o conjunto dos nmeros
nZ
que so mltiplos de
contido no conjunto dos nmeros pares. Isto , todo mltiplo de

outro lado, nem todo par mltiplo de
4.
est
par. Por
Podemos expressar essas armaes
na forma de implicaes lgicas:
mltiplo de
4 n
par
Em outras palavras, para que um nmero
par
6 n
mltiplo de
4.
seja par suciente que
seja
4 para ser par.

Por outro lado, um nmero pode ser par sem ser mltiplo de 4, isto , no
necessrio ser mltiplo de 4 para ser par. Assim, ser mltiplo de 4 suciente,
mltiplo de
4.
Ou, de forma equivalente, basta ser mltiplo de
mas no necessrio para ser par.

Podemos ainda expressar esta armao de outra forma equivalente: ser par
necessrio, mas no suciente para ser mltiplo de
4.
unidades 1 e 2
Conjuntos
Todo retngulo possui lados opostos paralelos. Porm, existem quadrilteros convexos com lados opostos paralelos que no so retngulos.
para que um quadriltero convexo
Exemplo 6
Assim,
seja um retngulo necessrio que seus
lados opostos sejam paralelos, mas esta propriedade apenas no assegura que
tenha ngulos todos retos.

Portanto, ter lados opostos paralelos uma condio necessria, mas no
suciente, para que um quadriltero seja retngulo. Equivalentemente, ser retngulo uma condio suciente, mas no necessria, para que um quadriltero
tenha lados opostos paralelos. Ou ainda,
retngulo
tem lados opostos paralelos
tem lados opostos paralelos,
A implicao
QP
6 Q
retngulo.
P Q.
chama-se a recproca de
Evidentemente, a
recproca de uma implicao verdadeira pode ser falsa. Como j observamos,

este o caso dos Exemplos 5 e 6.
No Exemplo 4, a recproca da implicao tambm falsa. De fato,
raiz da equao
para
x 2x + 1 = 0, mas no da equao x + x 1 = 0.
x=1
Portanto,
x R,
x3 2x + 1 = 0 6 x2 + x 1 = 0.
Q P , dizemos
P se, somente se, Q, ou que P equivalente a Q ou, ainda, que P necessrio
e suciente para Q. Neste caso, escreve-se
Quando so verdadeiras ambas as implicaes
P Q
P Q.
Em linguagem de conjuntos, isto signica que o conjunto dos elementos que
tm a propriedade
igual o conjunto dos elementos que tm a propriedade
Q.
P a propriedade de um tringulo, cujos
2
2
2
e Q a propriedade de valer z = x + y .
Sejam
retngulo
x, y < z ,
P Q.
lados medem
Ento
ser
Exemplo 7
unidades 1 e 2
A Relao de Incluso
+ Para Saber Mais - Provas por Contrapositiva - Clique para ler

+ Para Saber Mais - Denies - Clique para ler
+ Na Sala de Aula - Denies - Clique para ler
Como j comentamos (p. 7), a propriedade transitiva da incluso de conjuntos constitui a base do raciocnio dedutivo em Matemtica. De fato, esta
propriedade pode ser expressa em termos de implicaes lgicas. Se
P, Q
so trs armaes, temos:

Se
P Q
Q R,
ento
P R.
A propsito, a resoluo de uma equao um caso tpico em que se tem

uma sequncia de implicaes lgicas.
Exemplo 8
Para resolver a equao
x2 x 2 = 0 ,
(P )
(Q)
(R)
(S )
x2 x 2 = 0 ;
(x 2)(x + 1) = 0;
x = 2 ou x = 1;
x {2, 1}.
Se chamarmos respectivamente de
o nmero
podemos seguir os passos abaixo:
P , Q, R e S
as condies impostas sobre
em cada uma das linhas acima, os passos que acabamos de seguir
signicam que
P Q R S.
Isto , se o nmero
satisfaz
transitividade, a concluso a tirar

Se
P ento satisfaz Q
P S , ou seja,
x2 x 2 = 0,
ento
e assim por diante. Por
x {2, 1}.
No exemplo acima, estritamente falando, a armao a que chegamos no

signica que as razes da equao
x2 x 2 = 0
so
1.
O que est dito
acima que se houver razes desta equao elas devem pertencer ao conjunto
10
Conjuntos
{2, 1}.
unidades 1 e 2
No caso desse exemplo, no difcil ver que todos os passos acima
SRQ
1 so de fato as
podem ser revertidos. Isto , valem as implicaes recprocas
P.
Logo,
S P.
P S,
x x 2 = 0.
Conclumos que
(nicas) razes da equao
ou seja,
Quando se resolve uma equao, importante ter em mente que cada passo
do processo representa uma implicao lgica. Pode acontecer dessas implicaes no poderem ser revertidas, isto , de suas recprocas no serem verdadeiras. Nesses casos, o conjunto obtido no nal apenas contm (mas no igual a)
o conjunto das razes este ltimo, podendo at mesmo ser vazio. Ilustremos
esta possibilidade com um exemplo.
Considere a equao
reais.
x2 + 1 = 0 .
Sabemos que ela no possui solues
Na sequncia abaixo, cada uma das letras
condio sobre o nmero
(P )
(Q)
(R )
(S )
P , Q, R
representa a
expressa na igualdade ao lado:
x2 + 1 = 0
x4 1 = 0 ;
x4 = 1;
x {1, 1}.
(multiplicando por
x2 1);
P Q R S , logo P S .
x + 1 = 0 pertence ao conjunto {1, 1}.
Evidentemente, tem-se
raiz real da equao
Ou seja, toda
O raciocnio absolutamente correto. Porm, a concluso que se pode tirar

que, se houver razes reais da equao
conjunto
{1, 1}
x2 + 1 = 0,
ento elas pertencero ao
e nada mais.
Na verdade, a implicao
P Q
no pode ser revertida: sua recproca
falsa. Sabemos que o conjunto das solues reais da equao vazio. Assim,
a deduo acima apenas ilustra o fato de que
{1, 1}.
Como sabemos, o
conjunto vazio est contido em qualquer outro!
Na Sala de Aula - Implicaes Lgicas e Resoluo de Equaes -
Clique para ler
11
Exemplo 9
unidades 1 e 2
O Complementar de um Conjunto
+ Para Saber Mais - Provas por Vacuidade - Clique para ler

+ Para Saber Mais - A Cincia das Condies Necessrias - Clique para ler
1.4
A noo de complementar de um conjunto s faz pleno sentido quando se

xa um conjunto
universo
U,
chamado o universo do discurso, ou conjunto-universo. O
pode ser visto como o assunto da discusso ou o tema em pauta:
estaremos falando somente dos elementos de

elementos a serem considerados pertencero
subconjuntos de
U,
U . Uma vez
a U e todos
xado
U,
todos os
os conjuntos sero
ou derivados destes. Por exemplo, na Geometria Plana,
o plano; na teoria aritmtica da divisibilidade,
o conjunto dos nmeros
inteiros.
Definio 2
A (isto , um subconjunto de U ), chama-se complemenAC formado pelos objetos de U que no pertencem a A.
Dado um conjunto
tar de
ao conjunto
Uma propriedade imediata do complementar a seguinte:
UC =
C = U.
A, para cada elemento x em

alternativas: x A, ou x
/ A. Como
todo x U , no existe uma outra opo
Lembramos que, uma vez xado o conjunto
U,
vale uma, e somente uma, das
j observamos, o fato de que, para

alm de
xA
ou
x
/A
conhecido em lgica como o Princpio do Terceiro
Excludo; e o fato de que as alternativas
xA
x
/A
no podem ser ambas
verdadeiras ao mesmo tempo chama-se o Princpio da No Contradio.

Desses Princpios, decorrem as regras operatrias bsicas referentes ao complementar:
(i) Para todo conjunto
A U,
tem-se
AC
C
= A.
(Todo conjunto
complementar do seu complementar.)
(ii) Se
AB
ento
B C AC .
(Se um conjunto est contido em outro, seu
complementar contm esse outro.)
12
Conjuntos
A regra (ii) pode ser escrita com notao
unidades 1 e 2
assumindo a forma seguinte:
A B B C AC .
Na realidade, na presena da regra (i), a regra (ii) pode ser reforada,
valendo a equivalncia abaixo
A B B C AC .
Esta equivalncia pode ser olhada sob o ponto de vista lgico, usando-se as
Q que denem respectivamente os conjuntos A e B . Ento, o

conjunto A formado pelos elementos de U que tm a propriedade P , enquanto
que os elementos de B so todos os que (pertencem a U ) e tm a propriedade
Q. As propriedades que denem os conjuntos AC e B C so respectivamente a
negao de P , representada por P , e a negao de Q, representada por Q.
Assim, dizer que um objeto x tem a propriedade P signica (por denio)
armar que x no tem a propriedade P (e analogamente, para Q). Com estas
propriedades
convenes, a relao acima l-se assim:
P Q
se, e somente se,
Em outras palavras, a implicao

que
Q P
(a negao de
P Q (P
implica
implica a negao de
Voltemos ao Exemplo 3. Sendo
Q)
equivale a dizer
P ).
o conjunto dos quadrilteros convexos,
X de ser um retngulo
e P a propriedade de ser um paralelogramo. Ento P a propriedade que
tem um quadriltero convexo de no ser um paralelogramo e R a de no
ser um retngulo. Neste caso, as implicaes R P e P R lem-se,
consideremos
Q P .
a propriedade que tem um quadriltero
respectivamente, assim:
Se
um retngulo, ento
Se
no um paralelogramo, ento
um paralelogramo;
no um retngulo.
Desta forma, as duas armaes acima so equivalentes, ou seja, elas so

apenas duas maneiras diferentes de dizer a mesma coisa.
A implicao
Q.
Q P
chama-se a contrapositiva da implicao
Como j vimos, a contrapositiva um equivalente lgico da implicao
13
Exemplo 10
unidades 1 e 2
original.
Isto , a contrapositiva de uma implicao nada mais do que a
mesma implicao dita com outras palavras.
Exemplo 11
Observe as armaes abaixo:

Todo nmero primo maior do que
Todo nmero par maior do que
mpar;
composto.
Estas armaes dizem exatamente a mesma coisa, ou seja, exprimem a

mesma ideia, s que com diferentes termos. Podemos reescrev-las na forma
de implicaes, aplicadas a
n N, n > 2,
vendo claramente que uma a
contrapositiva da outra:
Dado
n N, n > 2: n
Dado
n N, n > 2: (n
mpar)
Dado
n N, n > 2: n
primo
par
mpar;
(n
primo);
composto.
Em Matemtica frequente, e muitas vezes til, substituir uma implicao por sua contrapositiva, a m de tornar seu signicado mais claro ou mais
manipulvel.
Q P
Por isso, extremamente importante entender que
P Q
so armaes equivalentes. Em particular, a equivalncia entre
uma implicao e sua contrapositiva a base das demonstraes por contradio.
Exemplo 12
, tomado como conjunto universo, consideremos duas retas

perpendiculares r e s.
Consideremos P a propriedade que tem uma reta x em de ser diferente
de s e perpendicular a r ; e Q a propriedade de uma reta x em ser paralela a
s. Ento P , negao de P , a propriedade de uma reta em coincidir com
s ou no ser perpendicular a r; e Q, negao de Q, a propriedade que tem
uma reta do plano de no ser paralela a s.
Em um plano
A implicao
P Q
Se duas retas distintas
se l, em linguagem comum, assim:
so perpendiculares a uma terceira reta
s
A contrapositiva
Q P
so paralelas.
signica:
14
r,
ento
unidades 1 e 2
Conjuntos
Se duas retas distintas no so paralelas, ento elas no so perpendiculares a uma terceira.

Acontece que neste caso mais fcil (e mais natural) provar a implicao
Q P
do que
P Q.
Noutras palavras, prova-se que

simples: se as retas distintas
P Q por contradio.
no so paralelas elas tm um ponto
comum. Ento, como nica a perpendicular

que
no perpendicular a
O raciocnio bem
s reta r
pelo ponto
em
A, segue-se
r.
Para provar que duas retas so paralelas, em geral, usa-se a demonstrao

por contradio pois a denio de retas paralelas baseada numa negao:
retas paralelas so retas coplanares que no possuem pontos em comum.
t
s
Figura 1.1: Retas no plano.
Formar o complementar de um conjunto um caso particular da operao

de formar a diferena entre dois conjuntos dados, cuja denio damos a seguir.
A diferena entre dois conjunos
denida por:
B \ A = {x ; x B e x
/ A}.
Note que em geral, essa operao entre conjuntos no comutativa, isto ,
B \ A = A \ B (d um exemplo). A formao do complementar

AC de um conjunto A se obtm com a diferena U \ A, em que U o conjunto
nem sempre
universo. Para mais propriedades dessa operao, veja Exerccio 6.
15
Definio 3
unidades 1 e 2
Reunio e Interseo
+ Para Saber Mais - Negao, Contrapositiva, Recproca - Clique para ler

1.5
Definio 4
Reunio e Interseo
Dados os conjuntos
(i) a reunio
AB
(ii) a interseo
B:
o conjunto formado pelos elementos de
AB
o conjunto formado pelos elementos de
ou de
B;
e de
B.
Portanto, se considerarmos as armaes
xA
veremos que
xAB
deira e, por outro lado,
xB
quando pelo menos uma dessas armaes for verda-
x AB
quando ambas as armaes acima forem
verdadeiras. Mais concisamente:
xAB
signica
xA
ou
xAB
signica
xA
x B;
x B.
Nota-se, deste modo, que as operaes
AB
AB
entre conjuntos cons-
tituem a contrapartida matemtica, em linguagem de conjuntos, dos conectivos
lgicos ou e e (s vezes representados pelos smbolos

Assim, se
a propriedade que dene o conjunto
B , ento, A B e A B so os
P ou Q e P e Q, respectivamente.
dene o conjunto
propriedades
Exemplo 13
Diremos que
propriedade
se
x R tem a propriedade P
x2 5x + 6 = 0.
se
, respectivamente).
Q a propriedade que
conjuntos denidos pelas
x2 3x + 2 = 0,
e tem a
A = {1, 2} e o
2
conjunto dos nmeros que tm Q B = {2, 3}. Assim, a armao x
3x + 2 = 0 ou x2 5x + 6 = 0 equivale a x {1, 2, 3}; e a armao
2
2
x 3x + 2 = 0 e x 5x + 6 = 0 equivale a x {2} ou x = 2. Noutras
O conjunto dos nmeros que possuem a propriedade
palavras,
A B = {1, 2, 3}
16
A B = {2}.
Conjuntos
+ Para Saber Mais - Menino ou Menina?
Clique para ler
As propriedades relacionadas com as operaes de unio e interseo constituem teoremas cujas demonstraes, em geral, no so difceis (veja os Exerccios 2, 3 e 4). A comutatividade e associatividade decorrem diretamente das
denies, e a distributividade de vericao um pouco menos imediata.
(i) Comutatividade da unio e da interseo:
A B = B A,
A B = B A.
(ii) Associatividade da unio e da interseo:
(A B) C = A (B C),
(A B) C = A (B C).
(iii) Distributividade, de cada uma em relao outra:
A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
Estas propriedades constituem, na realidade, regras que regem o uso combinado dos conectivos lgicos ou e e.
A conexo entre as operaes de unio e interseo e a relao de incluso
dada pelas seguintes equivalncias:
A B = B A B A B = A.
E, nalmente, se
so subconjuntos do universo
(A B)C = AC B C
U,
tem-se
(A B)C = AC B C .
Estas ltimas relaes, atribudas ao matemtico ingls Augustus de Morgan, signicam que a negao de P ou
e
Q
ou
Q
Q
e a negao de P
Q.
Terminamos esta unidade apresentando um resumo do que estudamos. Exploramos as relaes fundamentais entre a linguagem da lgebra de conjuntos
17
unidades 1 e 2
Reunio e Interseo
unidades 1 e 2
e a linguagem das implicaes lgicas. Chamamos ateno para as vantagens,

em certas situaes, de expressar implicaes lgicas em termos de conjuntos.
Q duas condies, aplicveis aos elementos de um conjunto

U . Consideremos A e B subconjuntos de U , cujos elementos satisfazem P e Q,
Consideremos
respectivamente. As principais equivalncias entre a linguagem de implicaes

e a linguagem de conjuntos podem ser resumidas no quadro a seguir:
A=B P Q
AB P Q
AC
P
AB P Q
AB P Q
+ Para Saber Mais - Sobre a Noo de Igualdade - Clique para ler

+ Na Sala de Aula - Comentrio Histrico e Didtico quanto Linguagem
Clique para ler
18
Conjuntos
1.6
Exerccios Recomendados
1. Decida quais das armaes a seguir esto corretas. Justique suas respostas.
(a)
(b)
(c)
{}
(d)
{}.
2. Demonstre as propriedades de distributividade:

(a) a operao de unio em relao interseo;
(b) a interseo em relao unio.
3. Demonstre que
4. Dados
A B = B A B A B = A.
A, B U ,
demonstre as relaes de De Morgan:
(a)
(A B)C = AC B C ;
(b)
(A B)C = AC B C .
5. Considere
P , Q e R condies, aplicveis 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 implicaes entre P , Q
e R, as seguintes relaes entre os conjuntos A, B e C .
(a)
A BC C ;
(b)
AC B C C ;
(d)
AC B C C ;
(e)
A BC C C .
(c)
AC B C C ;
6. Recorde que a denio da diferena entre conjuntos:
B \ A = {x ; x B e x
/ A}.
Mostre que
a)
B\A=
b)
B\A=B
se, e somente se,
B A;
se, e somente se,
c) vale a igualdade
A B = ;
B\A=A\B
19
se, e somente se,
A = B.
unidades 1 e 2
unidades 1 e 2
d) Determine uma condio necessria e suciente para que se tenha
A \ (B \ C) = (A \ B) \ C.
7. D exemplos de implicaes, envolvendo contedos do ensino mdio, que
sejam: verdadeiras, com recproca verdadeira; verdadeiras, com recproca
falsa; falsas, com recproca verdadeira; falsas, com recproca falsa.
8. Escreva as implicaes lgicas que correspondem resoluo da equao
x + x = 2.
Verique quais so reversveis e explique o aparecimento de
razes estranhas. Faa o mesmo com a equao
x + 3 = x.
9. Considere as seguintes (aparentes) equivalncias lgicas:
x=1
Concluso(?):
x2 2x + 1 = 0
x2 2 1 + 1 = 0
x2 1 = 0
x = 1
x = 1 x = 1.
Onde est o erro?
10. Escreva as recprocas, contrapositivas e negaes matemticas das seguintes armaes:

(a) Todos os gatos tm rabo;
(b) Sempre que chove, eu saio de guarda-chuva ou co em casa;
(c) Todas as bolas de ping pong so redondas e brancas;
(d) Sempre que tera feira e o dia do ms um nmero primo, eu vou
ao cinema;
(e) Todas as camisas amarelas ou vermelhas tm manga comprida;
(f ) Todas as coisas quadradas ou redondas so amarelas e vermelhas.
1.7
1. Sejam
A, B
conjuntos. Determine uma condio necessria e suci-
ente para que se tenha
A (B C) = (A B) C.
20
Conjuntos
2. Expresses tais como para todo e existe so chamadas de quanticadores e

aparecem em sentenas dos tipos (sendo
a varivel
P (x) uma condio envolvendo
x):
x,
(1)
Para todo
(2)
Existe algum
(a) Sendo
universo
P (x);
condio P (x).
satisfeita a condio
que satisfaz a
x (de um certo conjunto

P (x), escreva as sentenas
o conjunto de todos os objetos
U)
que satisfazem a condio
(1) e (2) acima, usando a linguagem de conjuntos.

(b) Quais so as negaes de (1) e (2)? Escreva cada uma destas negaes usando conjuntos e compare com as sentenas obtidas em
(a).
(c) Para cada sentena abaixo, diga se ela verdadeira ou falsa e forme
sua negao.
x2 = 1.
2
Para todo nmero inteiro n, vale n > n.
2
Para todo nmero real x, tem-se x > 1 ou x < 1.
Para todo nmero real x existe um nmero natural n tal que
n > x.
Existe um nmero natural n tal que, para todo nmero real x,
tem-se n > x.
i. Existe um nmero real

ii.
iii.
iv.
v.
tal que
3. Considere os conjuntos abaixo:
F = conjunto de todos os lsofos;

M = conjunto de todos os matemticos;
C = conjunto de todos os cientistas;
P = conjunto de todos os professores.
(a) Exprima cada uma das armativas abaixo usando a linguagem de
conjuntos.
i. Todos os matemticos so cientistas.
ii. Alguns matemticos so professores.
iii. Alguns cientistas so lsofos.
iv. Todos os lsofos so cientistas ou professores.
21
unidades 1 e 2
unidades 1 e 2
v. Nem todo professor cientista.

(b) Faa o mesmo com as armativas abaixo.
vi. Alguns matemticos so lsofos;
vii. Nem todo lsofo cientista;
viii. Alguns lsofos so professores;
ix. Se um lsofo no matemtico, ele professor;
x. Alguns lsofos so matemticos.
(c) Tomando as cinco primeiras armativas como hipteses, verique
quais das armativas do segundo grupo so necessariamente verdadeiras.
4. Considere um grupo de
cartes, que possuem uma letra escrita em um
dos lados e um nmero do outro.
Suponha que seja feita, sobre esses
cartes, a seguinte armao: Todo carto com uma vogal de um lado

tem um nmero mpar do outro. Quais do cartes abaixo voc precisaria
virar para vericar se esse armativa verdadeira ou falsa?
5. O artigo 34 da Constituio Brasileira de 1988 diz o seguinte:

A Unio no intervir nos Estados nem no Distrito Federal, exceto para:
I. Manter a integridade nacional;
II. Repelir invaso estrangeira ou de unidade da Federao em outra;
III. (...)
(a) Suponhamos que o estado do Rio de Janeiro seja invadido por tropas
do estado de So Paulo. O texto acima obriga a Unio a intervir no
estado? Na sua opinio, qual era a inteno dos legisladores nesse
caso?
(b) Reescreva o texto do artigo 34 de modo a torn-lo mais preciso.
22
Conjuntos
P (A) de um conjunto A o conjunto formado por

subconjuntos do conjunto A. Prove o teorema de Cantor:
6. O conjunto das partes

todos os
Se
um conjunto, no existe uma funo
f : A P (A)
que seja
sobrejetiva.
Sugesto: Suponha que exista uma tal funo
A; x
/ f (x)}.
23
e considere
X = {x
unidades 1 e 2
unidades 1 e 2
Textos Complementares
1.8
Na Sala de Aula
Armaes Sempre Verdadeiras

Em livros didticos do ensino bsico, s vezes encontramos atividades em
que se pede aos alunos que classiquem armaes como: sempre verdadeiras,
s vezes verdadeiras ou sempre falsas.
Neste caso, a armao em questo
estabelece uma propriedade, que se aplica aos elementos de certo conjunto.

Evidentemente, a inteno que os alunos descubram se tal propriedade
satisfeita por todos os elementos desse conjunto, por parte deles, ou por nenhum
deles.
Por si s, este pode ser um exerccio matemtico interessante. Entretanto,
a linguagem est matematicamente incorreta. Como observamos acima, matematicamente falando, uma armao que no seja sempre verdadeira falsa.
Esta uma distino fundamental entre a linguagem corrente usada no
dia a dia e a linguagem da lgica matemtica, cuja compreenso um passo
importante no processo de aprendizagem de Matemtica no ensino bsico. No
o caso de discutir se a linguagem matemtica melhor que a linguagem
corrente, mas sim de reconhecer que esta tem especicidades adequadas aos
seus objetivos, e que se expressar matematicamente no o mesmo que falar
coloquialmente.
24
Conjuntos
Clareza e Rigor
Na Sala de Aula
Com experincia e bom senso, quem se ocupa da Matemtica percebe que a

obedincia estrita aos rgidos padres da notao e do rigor, quando praticada
ao p da letra, pode ser um obstculo clareza, elegncia e ao entendimento
dos alunos.
Evidentemente, a linguagem matemtica formal dos cursos universitrios
no pode ser a mesma utilizada no ensino mdio, que tambm no pode ser a
mesma que aquela empregada nas sries iniciais do ensino fundamental. Como
j comentamos, ter clara a importncia da linguagem de conjuntos importante
para que saibamos dosar o grau de formalismo matemtico de forma adequada
a cada nvel do ensino bsico sem cometer imprecises de linguagem, que possam confundir os alunos, nem exageros, que possam se constituir em obstculos
de aprendizagem, valorizando mais (e prematuramente) a prpria linguagem que
os prprios contedos matemticos.
Neste sentido, no ensino bsico, s vezes permitimo-nos abusos de linguagem, para no cometer exageros de formalismo. Por exemplo, em certas oca-
{x}. Isto
diz que a interseo de duas retas r e s o ponto P (em
cujo nico elemento P ) e se escreve r s = P , em vez de
sies, pode tornar-se um pedantismo fazer a distino entre

ocorre quando se
lugar do conjunto
unidades 1 e 2
r s = {P }.
Por outro lado, certas imprecises so desnecessrias e podem atrapalhar o
prprio desenvolvimento da capacidade do aluno de se expressar adequadamente
em Matemtica. Por exemplo, evite escrever coisas como
nmeros pares}. Isto incorreto. O smbolo
{. . .}
= {conjunto dos
signica o conjunto cujos
A=
A = {2n ; n Z}.
elementos esto descritos no interior das chaves. Em lugar disso, escreva

conjunto dos nmeros pares,
A=
{nmeros pares}, ou
25
unidades 1 e 2
Na Sala de Aula
O Conjunto Vazio
s vezes vemos em livros do ensino bsico armaes que sugerem a existncia de mais de um conjunto vazio, como ser vazio fosse uma propriedade
que pudesse valer para diferentes conjuntos. Em Matemtica, o conjunto vazio
nico. De fato, como j observamos, dois conjuntos so iguais se, e somente,
se possuem os mesmos elementos.
Em particular, decorre da que no pode
existir mais de um conjunto vazio.
Assim, o conjunto dos nmeros naturais
situados estritamente entre
o mesmo conjunto dos polgonos regulares
com exatamente uma diagonal, por exemplo.
26
Conjuntos
Denies
Na Sala de Aula
Embora, estritamente falando, no seja errado usar o termo se, e somente

se em uma denio, isto desnecessrio, pois como comentamos acima, este
termo j est implcito em toda denio. Alm disso, esse costume pode ser
didaticamente inadequado, pois pode ocultar o fato de se estar simplesmente
dando um nome a um conceito, causando a impresso de se tratar de um
teorema.
Por exemplo,
unidades 1 e 2
se queremos denir paralelogramo devemos dizer assim:
chama-se paralelogramo a um quadriltero no qual os lados opostos so paralelos. Alguns autores escrevem, em lugar disso: um quadriltero um paralelogramo se, e somente se, os lados opostos so paralelos. Aos olhos dos alunos,
isso pode parecer mais um teorema que uma denio.
27
unidades 1 e 2
Na Sala de Aula
Implicaes Lgicas e Resoluo de Equaes

Releia os Exemplos 4, 8 e 9, procurando reetir sobre os passos comumente
feitos na manipulao de expresses algbricas, particularmente na resoluo de
equaes. Alguns destes correspondem a equivalncias lgicas, e outros, apenas
a implicaes cuja recproca no verdadeira. Este fenmeno ocorre frequentemente quando se estudam as chamadas equaes irracionais, mas s vezes
ele se manifesta de forma sutil, provocando perplexidade (veja o Exerccio 8).
A clareza dessas questes fundamental para o ensino da simbologia algbrica
no m do Ensino Fundamental e no Ensino Mdio.
28
Conjuntos
Comentrio Histrico e Didtico quanto Linguagem
Na Sala de Aula
Hoje, no contexto do ensino bsico de Matemtica, estamos acostumados

a pensar em alguns conceitos matemticos como estando intrinsecamente atrelados ideia de conjunto. Quando pensamos em nmeros, por exemplo, quase
que automaticamente nos lembramos dos conjuntos numricos, como esto organizados hoje:
N Z Q R C.
No entanto, do ponto de vista histrico, nem sempre foi assim. Por exemplo,
os nmeros racionais positivos j eram conhecidos vrios sculos antes de que
fosse conferido aos inteiros negativos o estatuto de nmero.
Alm disso, o
conceito de conjunto muito mais recente que a ideia de nmero e grande parte
dos desenvolvimentos tericos envolvendo nmeros (especialmente os naturais)
deram-se sem a estrutura de conjunto como conhecemos hoje.
A adoo da linguagem e da notao de conjuntos em Matemtica s se
tornou uma prtica universal a partir da terceira ou quarta dcada do sculo
vinte. Esse uso, que permitiu elevados graus de preciso, generalidade e clareza
nos enunciados, raciocnios e denies, provocou uma grande revoluo nos
mtodos, no alcance e na profundidade dos resultados matemticos.
No defendemos que a ordem do desenvolvimento histrico dos conceitos
matemticos seja reproduzida em sala de aula isto no seria factvel nem
produtivo para os objetivos do ensino. Entretanto, a reexo sobre esse desenvolvimento especialmente os obstculos enfrentados pode ajudar o professor
a entender certas diculdades vivenciadas hoje pelos alunos com os conceitos e
a linguagem matemtica. Para saber mais, veja, por exemplo, [2].
Se queremos iniciar nossos alunos em Matemtica, necessrio que os familiarizemos com os rudimentos da linguagem e da notao dos conjuntos. Isto,
inclusive, vai facilitar nosso prprio trabalho, pois a preciso dos conceitos
uma ajuda indispensvel para a clareza das ideias. Por outro lado, na sala de
aula, h alguns cuidados a tomar. O principal deles refere-se ao comedimento,
ao equilbrio, moderao.
Isto consiste em evitar o pedantismo e exageros
que conduziram ao descrdito da onda que cou conhecida como Matemtica

Moderna. Devemos estimular o desenvolvimento gradual do formalismo e da
linguagem matemtica pelos alunos, mas sempre em grau compatvel com cada
29
unidades 1 e 2
unidades 1 e 2
nvel escolar, sem exageros.

Procure, sempre que possvel, ilustrar conceitos com exemplos de conjuntos
dentro da Matemtica.
Alm de contribuir para implantar a linguagem de
conjuntos, este procedimento pode tambm ajudar a relembrar, ou at mesmo

aprender, fatos interessantes sobre Aritmtica, Geometria, Funes, etc.
Esteja atento tambm correo gramatical. Linguagem correta essencial
para a limpidez do raciocnio. Muitos dos nossos colegas professores de Matemtica, at mesmo autores de livros, so um tanto descuidados a esse respeito.
Seja cuidadoso, a m de evitar cometer erros.
A auto-crtica o maior
aliado do bom professor. Em cada aula, trate a si mesmo como um aluno cujo
trabalho est sendo examinado: pense antes no que vai dizer mas critique-se
tambm depois. No hesite em corrigir-se em pblico, nem em admitir que no
sabe a resposta de uma pergunta demonstre-se sempre disposto a pesquisar
e a aprender mais. Longe de desprestigiar, esse hbito fortalecer a conana
dos alunos no seu mestre.
30
Conjuntos
A Relao de um Elemento Pertencer a um Conjunto e a Incluso

A incluso uma relao entre conjuntos, que no deve ser confundida com
a relao de um elemento pertencer a um conjunto. A relao
a A,
de um
a pertencer a um conjunto A, pode ser escrita de forma equivalente

como {a} A. Mas incorreto escrever a A ou {a} A.
Observe que podemos enunciar uma denio para a relao A subconjunto de B , porm no h uma denio para a relao a elemento de A. No
elemento
comeo da Seo 1.2, observamos que um conjunto totalmente denido por

seus elementos. Assim, a relao de um elemento pertencer a um conjunto est
na base do prprio conceito de conjunto, que estamos assumindo como uma
noo primitiva, sem denio.
31
unidades 1 e 2
Para Saber Mais
unidades 1 e 2
Para Saber Mais
Provas por Contrapositiva

A contrapositiva
Q.
Q P
logicamente equivalente implicao
Essa equivalncia tambm pode ajudar a entender o signicado do termo
necessrio: se
no ocorre, ento certamente
possa ocorrer sem que
no ocorrer (embora
ocorra).
As implicaes dos Exemplos 4 a 6 tambm podem ser expressas como

contra-positivas:
x3 2x + 1 6= 0 x2 + x 1 6= 0;
n
no par
no tem lados opostos paralelos
no mltiplo de
4;
Q
no um retngulo.
Para entender melhor o termo necessrio, procure pensar em outras situaes familiares. Por exemplo, quando dizemos que
n N n Z,
estamos
n ser natural suciente para que n seja inteiro, ou equivalenten ser inteiro necessrio para que n seja natural (embora n possa
armando que
mente, que
ser inteiro sem ser natural).

Discutiremos em maiores detalhes da noo de contra-positiva na Seo 1.4
a seguir.
32
Conjuntos
Denies
Para Saber Mais
As denies matemticas consistem em atribuir nomes a objetos que tm

certas propriedades particularmente interessantes.
natural
unidades 1 e 2
Por exemplo, um nmero
n > 1 chama-se primo quando 1 e n so os nicos nmeros naturais que
so seus divisores. Esta propriedade merece ser rotulada por um nome especial
pois muito importante na teoria matemtica sobre os nmeros inteiros (neste
caso, um papel importante tambm em outros campos).
Toda denio matemtica uma equivalncia lgica. Isto , quando enunciamos uma denio matemtica, estamos atribuindo um nome aos objetos
matemticos que tm certas propriedades o que signica que sero chamados
pelo nome escolhido todos os objetos com essas propriedades, e nenhum alm
destes.
33
unidades 1 e 2
Para Saber Mais
Provas por Vacuidade

Um tipo de armaes que podem soar particularmente estranhas so as
satisfeitas por vacuidade.
Se um professor disser sua classe que todos os alunos que tiverem
5 metros
de altura passaro com nota 10 sem precisar prestar exames, ele certamente
estar falando a verdade, mesmo que corrija suas provas com o mximo de
rigor.
Com efeito, sejam
a propriedade de um aluno ter 5 metros de altura e
a de obter nota 10 sem prestar exames. Ento

pela propriedade
P Q, pois o conjunto denido
vazio e o conjunto vazio est contido em qualquer outro.
De um modo geral, a implicao
P Q
que no haja elementos com a propriedade
34
verdadeira (vacuamente) sempre
P.
Conjuntos
A Cincia das Condies Necessrias
Para Saber Mais
Em Matemtica, no h armaes absolutas ou peremptrias. Todas as

proposies matemticas so do tipo se
ento
Q.
(Esta armao peremp-
tria que acabamos de fazer no pertence Matemtica. Ela apenas sobre

Matemtica.)
Considere, por exemplo, o Teorema de Pitgoras. Ele parece uma verdade
absoluta mas na realidade um armao condicional:
a > b > c so as
2
2
2
ento a = b + c .
Se
medidas dos lados de um tringulo retngulo
Por isso, s vezes, se diz que a Matemtica a cincia das condies necessrias. Ou ento se diz como Bertrand Russel: Na Matemtica nunca sabemos
do que estamos falando nem se verdade o que estamos dizendo.
35
unidades 1 e 2
unidades 1 e 2
Para Saber Mais
Negao, Contrapositiva, Recproca

Como vimos, muitas vezes, em raciocnios dedutivos matemticos, lidamos
com as ideias de negao, contrapositiva e recproca de uma implicao
P Q.
preciso ter cuidado para entender bem essas noes distintas sem confundilas.
Neste sentido, cabem algumas observaes importantes.
Para ilustrar
nossas ideias considere, por exemplo, as seguintes armaes:

Todo matemtico lsofo.
Todo tringulo issceles equiltero.
Sabemos, claro, que a segunda armao acima falsa. No entanto, a
veracidade das armaes irrelevante para essa discusso.
1. importante no confundir a ideia matemtica de negao com a ideia

(no matemtica) de contrrio, ou oposto.
A negao da armao todo matemtico lsofo no nenhum
matemtico lsofo, e sim existe (pelo menos) um matemtico no
P Q signica admitir que existe (pelo

propriedade P , mas no tem a propriedade
lsofo. Mais geralmente, negar

menos) um objeto que tem a
Q. Isto bem diferente de admitir que nenhum objeto com a propriedade

P tem tambm a propriedade Q.
Se
a propriedade de um tringulo ser issceles e
ser equiltero, a negao da implicao
P Q
a propriedade de
(enunciada acima) a
armao (verdadeira) de que existe (pelo menos) um tringulo issceles

no equiltero.
Por outro lado, se uma ideia expressa por uma palavra, a ideia contrria expressa pelo antnimo daquela palavra. Por exemplo, o contrrio
de gigantesco minsculo, mas a negao de gigantesco inclui outras
gradaes de tamanho alm de minsculo.
2. Tambm importante no confundir as ideias de negao e contrapositiva.

A contrapositiva de uma armao equivalente a esta; enquanto a negao, como o nome est dizendo, contradiz a armao original.
Como observamos acima, a negao de todo matemtico lsofo
existe (pelo menos) um matemtico no lsofo. J a contrapositiva
36
Conjuntos
dessa armao a armao equivalente:
se algum no lsofo,
ento no matemtico.
A negao de todo tringulo issceles equiltero existe um tringulo issceles no equiltero.
Sua contrapositiva :
se um tringulo
no equiltero, ento no issceles. Neste caso, observe que, como

a armao original falsa, temos que sua negao necessariamente
verdadeira, pois contradiz a armao original; sua contrapositiva necessariamente falsa, pois equivale armao original.
3. Finalmente, importante no confundir a ideia de recproca, com negao, nem com contrapositiva. Tratam-se de trs noes bem diferentes!
No caso dos exemplos acima, as recprocas so: todo lsofo matemtico e todo tringulo equiltero issceles.
Observe que a armao todo tringulo issceles equiltero falsa, enquanto sua recproca verdadeira. No entanto, este um caso particular.
No h nenhuma relao a priori entre a veracidade de uma armao
e a veracidade de sua recproca.
Considere, por exemplo, as seguintes
armaes:
Todo tringulo equiltero issceles;
Todo tringulo equiltero equingulo;
Todo tringulo issceles retngulo.
Temos que a primeira armao verdadeira mas sua recproca falsa
(como acabamos de observar); a segunda armao verdadeira e sua recproca tambm verdadeira (neste caso, as armaes so equivalentes);
a terceira armao falsa e sua recproca tambm falsa.
Para entender melhor essas ideias, procure pensar em outros exemplos familiares.
37
unidades 1 e 2
unidades 1 e 2
Para Saber Mais
Menino ou Menina?
O conectivo ou mais um exemplo de um termo cujo signicado especco
em Matemtica um tanto diferente daquele que lhe atribudo na linguagem
corrente. No dia-a-dia, ou quase sempre refere duas alternativas mutuamente
excludentes (vamos de nibus ou de trem?).
Em Matemtica, por outro
lado, o conectivo ou nunca tem um sentido excludente. A armao P ou
Q
signica que pelo menos uma das alternativas
ou
vlida, podendo
perfeitamente ocorrer que ambas sejam.

Por exemplo, correta a armao todo nmero inteiro maior do que 10
ou menor do que 20. De fato, se
A = {x Z ; x > 10}
ento
B = {x Z ; x < 20},
A B = Z.
A diferena entre o uso comum e o uso matemtico do conectivo ou

ilustrada pela anedota do obstetra que tambm era matemtico.
Ao sair da
sala onde acabara de realizar um parto, foi abordado pelo pai da criana, que
lhe perguntou: Foi menino ou menina, doutor?. Resposta do mdico: Sim.
De fato, se
B o
x A B.
o conjunto das meninas,
recm-nascido, certamente tem-se
38
conjunto dos meninos e
unidades 1 e 2
Conjuntos
Sobre a Noo de Igualdade
Para Saber Mais
Nesta unidade, comentamos sobre vrios termos cujos signicados matemticos precisos diferem signicativamente de seus usos em linguagem corrente.
Os nomes escolhidos para os conceitos matemticos so, em geral, inspirados
na linguagem corrente.
Porm, para entender corretamente seu signicado
matemtico, preciso esquecer seu sentido na linguagem corrente.

Talvez o exemplo mais importante e um dos que menos nos damos conta
seja a prpria noo matemtica de igualdade. Em Matemtica uma coisa
s igual a si prpria. Quando se escreve
a = b,
isto signica que
so
smbolos usados para designar o mesmo objeto.

Em Geometria, s vezes ainda se usam expresses como os ngulos
so iguais ou os tringulos
ABC
ABC
so iguais para signicar que
so guras que podem ser superpostas exatamente uma sobre a outra. A rigor,
porm, esta terminologia inadequada. Duas guras geomtricas que coincidem
por superposio devem ser chamadas congruentes.
Talvez valha a pena observar que a palavra igual em Geometria j foi usada
num sentido at bem mais amplo. Euclides, que viveu h 2300 anos, chamava
iguais a dois segmentos de reta com o mesmo comprimento, a dois polgonos
com a mesma rea e a dois slidos com o mesmo volume.
Na linguagem corrente, s vezes se diz que duas pessoas ou objetos so iguais
quando um certo atributo, ao qual se refere o discurso naquele momento,
possudo igualmente pelas pessoas ou objetos em questo. Assim, por exemplo,
quando dizemos que todos so iguais perante a lei, isto signica que dois
cidados quaisquer tm os mesmos direitos e deveres legais.
39
unidades 1 e 2
40
Referncias Bibliogrcas
[1] Carmo, Manfredo P.; Morgado, Augusto C., Wagner, Eduardo & Pitombeira, Joo Bosco. Trigonometria e Nmeros Complexos. Rio de Janeiro:
SBM, Coleo Professor de Matemtica.
[2] Eves, Howard. An Introduction to the History of Mathematics. New York:
Holt, Rinehart and Winston, 1964. 29
[3] Figueiredo, Djairo G. Anlise I Rio de Janeiro: LTC, 1996.
[4] Figueiredo, Djairo G. Nmeros Irracionais e Transcedentes Rio de Janeiro:
SBM, Coleo Iniciao Cientca.
[5] Halmos, Paul. Naive Set Theory. New York: Springer, 1974. 2, 3
[6] Hefez, Abramo e Fernandez, Ceclia de Souza. Introduo lgebra Linear.
Rio de Janeiro: SBM, Coleo PROFMAT, 2012.
[7] Lima, Elon Lages. Coordenadas no Espao. Rio de Janeiro: SBM, Coleo
Professor de Matemtica.
[8] Lima, Elon Lages. Curso de Anlise, Vol. 1. Rio de Janeiro: SBM, Projeto
Euclides, 1976.
[9] Lima, Elon Lages. Logaritmos. Rio de Janeiro: SBM, Coleo Professor de
Matemtica.
[10] Lima, Elon Lages. Meu Professor de Matemtica e Outras Histrias. Rio
de Janeiro: SBM, Coleo Professor de Matemtica.
[11] Lima, Elon Lages. Anlise Real, Vol. 1. Rio de Janeiro: IMPA, Coleo
Matemtica Universitria.
41

MA11 Unidade 1 e 2 Conjuntos

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

MA11 Unidade 1 e 2 Conjuntos

Enviado por

Direitos autorais:

Formatos disponíveis

Unidades 1 e 2

Assim, fundamental para o professor saber adequar a linguagem e a

notao de conjuntos para o nvel em que est ensinando, evitando imprecises,

A noo de conjunto pode ser construda por meio de um sistema de axiomas

Para o professor, fundamental o conhecimento da linguagem de conjuntos,

Este conhecimento importante, mesmo para que se saiba adequar o

grau de formalismo da linguagem de conjuntos a cada srie da educao bsica.

quando se fala do ponto de interseo entre duas retas

Para isto, deve-se lidar confortavelmente com as

relaes entre conjuntos e entre elementos e conjuntos. Assim, ao estudar esta

Toda a Matemtica atual formulada na linguagem de conjuntos. Portanto,

Ela tambm a mais simples das ideias

a nica pergunta cabvel

Esta pergunta s admite duas

respostas possveis: sim ou no. No caso armativo, diz-se que

Caso contrrio, diz-se que

Em Matemtica, qualquer armao verdadeira ou falsa, no pode haver

+ Na Sala de Aula - Armaes Sempre Verdadeiras - Clique para ler

da Matemtica, ganhou esta posio porque permite dar aos conceitos e s

conjunto dos objetos que tm a propriedade

o conjunto dos objetos

x ser par (isto ,

a propriedade de um nmero inteiro

Por outro lado, sejam

Ento, dizer que

y satisfaz a condio Q o mesmo

A esse respeito, uma pergunta fundamental para entender a importncia da

se prefere dizer que

em vez de dizer que

A vantagem de se utilizar a linguagem e a notao de conjuntos que entre

alm da relao de incluso

regras operatrias dessa lgebra, como por exemplo,

no so difceis de manipular e representam um enorme ganho em simplicidade

e aplicar a propriedade antissimtrica da incluso de conjuntos

para demonstrar a igualdade entre conjuntos (se

A = B ) equivale a demonstrar a equivalncia entre as condies que os denem

Ele aceito como conjunto porque cumpre a utilssima funo

de simplicar as proposies, evitando uma longa e tediosa meno de excees.

o conjunto dos objetos

diferente de si mesmo. Seja qual for o objeto

Em muitas questes matemticas importante saber que um determinado

no vazio. Para mostrar que

no vazio, deve-se simplesmente

x X . Outros conjuntos curiosos so os

+ Na Sala de Aula - Clareza e Rigor - Clique para ler

conjuntos. Se todo elemento de

for tambm elemento de

Para indicar este fato, usa-se a notao

A B chama-se relao de incluso. Quando A no um

Todo tringulo um polgono,

P o conjunto dos polgonos do plano.

o conjunto dos tringulos e

B o conjunto dos mltiplos de

o conjunto dos nmeros pares e

+ Para Saber Mais - A Relao de um Elemento Pertencer a um Conjunto

Clique para ler

Em Geometria, uma reta, um plano e o espao so conjuntos. Seus elementos so pontos.

estamos armando que

H duas incluses extremas.

A primeira obvia: para todo conjunto

(pois claro que todo elemento de

A relao de incluso tem trs propriedades fundamentais. Dados quaisquer

A propriedade antissimtrica constantemente usada nos raciocnios mate-

mticos. Quando se deseja mostrar que os conjuntos

respostas possveis: sim ou no. No caso armativo, diz-se que

Em Matemtica, qualquer armao verdadeira ou falsa, no pode haver

+ Na Sala de Aula - Armaes Sempre Verdadeiras - Clique para ler

A = B ) equivale a demonstrar a equivalncia entre as condies que os denem

de simplicar as proposies, evitando uma longa e tediosa meno de excees.

estamos armando que

Ela signica que toda raiz da equao

um paralelogramo, ser retngulo condio suciente para ser paralelogramo,

Podemos expressar essas armaes

seja par suciente que

so trs armaes, temos:

No exemplo acima, estritamente falando, a armao a que chegamos no

Lembramos que, uma vez xado o conjunto