Livro - Elementos de Lógica

Licenciatura em Matemtica
Elementos de Lgica e
Teoria dos Conjuntos
Jos Arimatia Rocha
Instituto Federal de Educao,

Cincia e Tecnologia
de Pernambuco
Recife-PE
Edio 2008
livro_matematica_M01.indd 34 3/12/2007 16:52:45
Presidncia da Repblica Federativa do Brasil
Ministrio da Educao
Coordenao de Aperfeioamento de Pessoal de Nvel Superior - CAPES
Este Caderno foi elaborado em parceria entre o Instituto Federal de Educao,

Cincia e Tecnologiade Pernambuco - IFPE e a Universidade Aberta do Brasil - UAB
Equipe de Elaborao Diagramao

Luciano Aguiar
Coordenao do Curso Leila Nunes
Maria de Ftima Neves Cabral
Superviso de Tutoria Projeto Grfico
Snia Quintela Carneiro Eliana Virgnia Vieira de Melo
Logstica de Contedo
Giselle Tereza Cunha de Arajo Projeto Grfico - Capa
Maridiane Viana Vernica Emlia Campos Freire
Giselle Tereza Cunha de Arajo
Coordenao Institucional
Reitoria Reviso Lingustica
Pr-Reitoria de Ensino Leona Maria de S
Diretoria de Educao a Distncia
Pr-Reitoria de Extenso
Pr-Reitoria de Pesquisa e Inovao
Pr-Reitoria de Administrao e Planejamento
Mdulo 1
Disciplina: Elementos de Lgica e Teoria dos Conjuntos

A Linguagem da Matemtica
Meta: Apresentar as bases de como se organiza o discurso na matemtica
Objetivos:
1) Descrever sentenas atmicas
2) Definir o valor lgico de uma sentena e relacion-lo com o Princpio do

Terceiro Excludo
3) Compreender e fazer uso de alguns smbolos de uso freqente em 35

Matemtica.
4) Entender a noo de Conjunto em Matemtica como conceito unificador

de sua linguagem.
1. Introduo
Neste mdulo consideramos de modo elementar a organizao da linguagem
matemtica. Nele voc estudar as sentenas ou proposies do ponto de
vista de como um Matemtico s considera e de como um professor de mate-
Aristteles (384 a.C- 322 a.C)
mtica deve fazer uso de modo a organizar o pensamento de seu aluno.
foi um dos primeiros pensadores
a escrever sobre a lgica. Em
seu Organon, obra clssica
2. Sentenas Atmicas de Filosofia Grega, ele projeta
construir um instrumento para
Consideramos as afirmaes traduzidas abaixo: construo segura da cincia.
(a) 3 um nmero mpar.

(b) 5 maior que 8.
(c) Hoje sbado.
(d) Pluto um Planeta.
(e) Recife a capital do estado de Pernambuco.
(f) Todo homem tem alma.
Observe que algumas das afirmaes acima exprimem fatos que voc
sabe serem verdadeiros como, por exemplo, (a) e (e). A afirmativa (b)
evidentemente falsa. As demais afirmativas tm sua veracidade dependente

de certas consideraes ou convenes humanas. Por exemplo, at bem
pouco tempo atrs (d) era verdadeira mais agora no mais (Veja quadro
ao lado), a afirmativa (c) depende do dia que voc tiver fazendo a leitura
desse texto enquanto que (f) depende de suas consideraes pessoais.
De um modo geral, uma proposio ou sentena transmite pensamentos as

quais exprimem juzos a respeito de certos objetos ou entes.
Tais juzos podem ser verdadeiros, falsos ou indecidveis quanto a sua vera-
cidade ou falsidade. Em Matemtica, iremos considerar sentenas sobre as
quais possamos decidir se so verdadeiras ou falsas. Logo, esto excludas
de nosso estudo:
1) As sentenas interrogativas tipo Que dia hoje?

36 Pluto perde o status de Planeta 2) As sentenas exclamativas tipo Que dia calorento!
Fonte: Folha Online 15/08/2006
3) As sentenas imperativas tipo Dane-se voc e sua corja.
Nas cincias, em geral, determi-
nados conceitos podem mudar. Assim, a estrutura bsica de uma sentena matemtica :
Em matemtica este um fato
difcil de ocorrer, acontecendo SUJEITO + PREDICADO
em geral, quando uma estrutura
em que o predicado descreve algum fato sobre o sujeito para o qual poss-
nova observada permeando o
vel decidir se o fato verdadeiro ou falso, como mostram os exemplos:
conceito.
(g) 5 um nmero primo.
(h) um nmero racional
(i) 2 maior que 1.
Tal tipo de sentena chamaremos de Sentena Atmica ou Simples.
Atividade 1: Pesquise o significado dos termos Sujeito e Predicado e para

cada uma das sentenas (a,b,c,d,e,f,g,h,i) acima, diga qual o sujeito e qual o
predicado.
3. Valor Lgico De Uma Proposio

No s a estrutura sujeito + predicado que determina uma sentena
matemtica. O fato mais relevante a possibilidade de podermos decidir o
chamado valor lgico da sentena, isto , se ela verdadeira ou falsa. Tal fato
chamado Princpio do Terceiro Excludo (PTE) pelos matemticos e assume
um papel fundamental na chamada lgica matemtica.

No que segue iremos representar as sentenas por letras latinas minsculas,
com p, q, r, ... e seus valores lgicos por V(p), V(q), V(r), .... Veja os exemplos
abaixo: TRISTEZA NO CU
p: 3 maior que 2. No cu tambm h
uma hora melanclica.
q: 5 a metade de 8.
Hora difcil, em que a
No caso V(p)= v e V(q)=f, ou seja, os valores lgicos das sentenas p e q so dvida penetra as almas.
respectivamente v (verdadeiro) e f (falso). Por que fiz o mundo? Deus se
pergunta e se responde: no sei.
Atividade 2: Complete com os valores lgicos das sentenas dadas abaixo. Os anjos olham-no com
reprovao, e plumas caem.
a: 15 um nmero primo V(a) = f
Todas as hipteses: a graa, a eter-
b: 2 =1,41 V(b) = ___ nidade, o amor caem, so plumas.
37
Outra pluma, o cu se desfaz.
c: V(c) = ___ To manso, nenhum fragor denun-
cia o momento entre tudo e nada,
d: V(d) = ___ ou seja, a tristeza de Deus.
e: V(e) = ___ In: Drummond. Antologia Potica.Rio de

Janeiro: Jos Olympio, 1978.
f: V(f) = ___
Na poesia, a linguagem tem outros
g: Todo quadrado retngulo V(g) = ___
objetivos. Ela visa, por exemplo,
h: V(h) = ___ provocar emoes. Veja: No h
preocupao sobre a Verdade ou
i: Dois tringulos semelhantes falsidade dos Versos acima de
tm a mesma rea V(i) = ___ Carlos Drummond de Andrade.
(1902-1987)
j: Se x um nmero ento V(j) = ___
4. Os Smbolos da Matemtica
A linguagem matemtica escrita contm muitos smbolos tais como: ATENO
= significa igual a A escrita V(d) = f significa que

o valor lgica da afirmativa (d)
< significa menor que falso. Quanta economia de
palavras conseguimos com tal
significa menor ou igual que
notao!
> significa maior que
significa maior ou igual que

Tais smbolos, assim como outros, tm significado universal. Voc pode
en-contr-los em livros matemticos americanos, italianos, alemes, etc.
Boa parte da tarefa de compreender matemtica est associada a apro-
priao de uso de smbolos e voc deve dedicar ateno especial a isso.
O DIA O DIA EM QUE UM

Na tabela abaixo indicamos alguns smbolos de uso freqente em matem-
MATEMTICO PROVOU A EXISTNCIA tica e seu significado. Voc deve consult-la sempre que achar necessrio.
DE DEUS.
Em uma disputa famosa entre o

filosfo Diderot (1713-1784) e o
matemtico Euler (1707-1783) sobre
a existncia de Deus, este ltimo
coloca a seguinte sentena para o
filosfo redargir:
38
, logo Deus existe!
Segundo Hogben (1950) Como

acontece a muitos de ns, Diderot
ficou cheio de dedos quando
defrontado com uma frase na
linguagem das grandezas. Por isso,
retirou-se abruptamente do salo,
debaixo do escrneo dos presentes,
fechou-se em seus aposentos, pediu
seu passaporte e tratou de partir
para Frana.(p.19)
O exemplo acima mostra que os

smbolos matemticos podem nos
afastar da compreenso de um
fato, logo devemos ter cuidado
com seu uso em sala de aula.
5. A Noo de Conjunto
De um ponto de vista de sua estrutura interna, a Matemtica costuma organi-
zar seus objetos de estudo em conjuntos. Assim, por exemplo, os pontos do
plano so vistos como um conjunto, o conjunto dos pontos do plano. Neste
caso, para indicar que um ponto est em um conjunto, usa-se o smbolo
. Desta forma se designarmos o conjunto dos pontos do plano por E, a sen-
tena P E (l-se P pertence a E) significa que P um ponto do plano E.
Do mesmo modo, Q E (l-se Q no pertence a E) significa que Q no
um ponto de E.

usual, representar-se um conjunto por uma letra maiscula. Os objetos do
conjunto, tambm chamados de elementos, so colocados entre chaves e
separados por vrgulas, sem repetio e numa ordem qualquer. Por exemplo,
A={a,e,i,o,u} uma maneira de indicar que A o conjunto cujos elementos
so as vogais.
Didaticamente, alguns autores falam
Muito freqentemente, um conjunto matemtico formado por uma infinidade
em representao por extenso de
de elementos. Por isso, tambm podemos indicar o conjunto no formato. um conjunto, aquela que indicamos
seus elementos separados
X= {x | x satisfaz a propriedade P} por virgula. Tambm podemos
representar conjuntos por diagramas
como o descrito abaixo
Tal tipo de representao chamada Representao por Compreenso.
No caso, P uma propriedade que caracteriza os elementos de X enquanto x

designa um elemento genrico do conjunto X. Veja, isto no quer dizer que x 39
X, mas simplesmente que x representa um elemento qualquer de X.
Ademais freqente o uso de smbolos especiais para designar certos con-

juntos de objetos matemticos. Por exemplo:
N Conjunto dos Nmeros Naturais, isto

Fig 3. A representao do conjunto
das vogais por diagrama.
N = {0, 1, 2, 3, ...}
Z Conjunto dos Nmeros Inteiros, isto
Z = {..., -3, -2, -1, 0, 1, 2, 3, ...}
Q Conjunto dos Nmeros Racionais, portanto
Q=
Treine tais consideraes nas atividades abaixo.
Atividade 3: Assinale V (verdadeiro) ou F(falso) de acordo com as afirmati-

vas abaixo:
( )2 {1,2,3}
( )5 {13,14,15}
( ) 0 {10}
( )3 {1,2,3}
( )a {vogal}

( )2 {1,{2},3}
( ) Recife { x | x cidade de Pernambuco}
Observao: Uma vez admitida a representao {x | x satisfaz a proprie-

DICAS DE ESTUDO dade P} podemos escrever {x | x x}. Como no existe x tal que x x,
um tal conjunto dito Conjunto Vazio sendo representado pelo smbolo .
Voc est com o objetivo bem
relevante para sua vida: Fazer
um curso de Licenciatura em Da mesma forma podemos indicar conjuntos com um nico elemento como,
Matemtica a distncia. por exemplo, {x | x um nmero inteiro e 2 < x < 4}. Conjuntos como estes
fundamental que voc organize que tm um nico elemento so chamados conjuntos unitrios. Portanto,
seu tempo! a idia matemtica de conjunto, amplia aquela que se tem na linguagem
comum, sinnima de coleo.
Aconselhamos que:
40
Atividade 4: Para cada sentena indicada esquerda do quadro abaixo indi-
* Estabelea horrios de estudo que uma possibilidade de leitura no lado direito do quadro.
individual diariamente
* Rena-se com um grupo de

colegas igualmente matriculados
no curso uma ou duas vezes por
semana
* Consulte seus tutores a distncia

sempre que dvidas surgirem
* Use os momentos de tutoria

presencial para dirimir suas
duvidas
* Faa um diagrama dos objetivos

propostos para cada disciplina e
reflita sobre seu desempenho nas
atividades propostas.
Atividade 5: Para cada sentena indicada no quadro acima, informe qual

o valor lgico que voc acha que ela tem (Discuta essa questo com seus
colegas e em caso de dvida, consulte seu tutor).

Resumo
1. As sentenas simples (atmicas) em Matemtica tm a forma bsica
sujeito+predicado e admitem um nico valor lgico (verdadeiro ou falso);
2. Se p uma sentena ento V(p) o modo como se indica seu valor

lgico.
3. Compreender o uso dos smbolos especiais em matemtica parte impor-

tante da tarefa de compreender matemtica.
4. A idia de conjunto bsica em Matemtica e amplia a idia que temos 41

de coleo.So considerados conjuntos com um nico elemento, chamados
conjuntos unitrios e at mesmo um conjunto que no tem elemento, cha-
mado vazio.
Auto-avaliao
Muna-se de lpis e papel e em um lugar tranqilo tente resolver as seguin-
tes questes. As respostas para elas podem ser encontradas ao final deste
caderno. S as consulte aps ter escrito todas as respostas.
1. Traduza para a linguagem corrente as seguintes sentenas matemticas:
a.
b.
c.
d.
2. Indique qual o valor lgico das sentenas acima.
3. Traduza para forma simblica matemtica as seguintes sentenas:
a. Todo o nmero natural um nmero racional.

b. Existe um nmero racional que no inteiro.
c. Se x um inteiro par ento x2 um inteiro par.
d. x um inteiro impar se, e somente se x2 tambm um inteiro impar.
4. Indique o valor lgico de cada uma das sentenas da questo 3.
5. Escreva explicitamente os elementos dos seguintes conjuntos:
A=
B=
42 C=

Bibliografia
ALENCAR FILHO, Edgar. Iniciao a Lgica Matemtica. So Paulo: Nobel,
1981.
ANDRADE, Carlos Drummond de. Antologia Potica. 12 ed. Rio de Janeiro:

J. Olimpio, 1978.
BOYER, Carl B. Histria da Matemtica. So Paulo: Edgar Blcher, 1974.
CASTRUCI, Benedito. Elementos da Teoria dos Conjuntos. So Paulo:

Nobel, 1972.
HALMOS, P. R. Teoria Ingnua dos conjuntos.So Paulo: Polgono, 1977.
HOGBEN, Lancelot. Maravilhas da Matemtica: influncia e funo da mate- 43

mtica nos conhecimentos humanos. Traduo: Paulo Moreira da Silva.
2ed. So Paulo: Globo,1950.
LIPSCHUTZ, Seymour. Teoria dos conjuntos. So Paulo: Ao Livro Tcnico

S.A, 1980.
MONTEIRO, L. H. Jacy. Iniciao as estruturas algbricas. So Paulo:

Nobel, 1973.
Referncia Bibliogrfica
FOLHA ONLINE. Conferncia decide se Pluto planeta. Figura publi-
cada em 15/08/2006 12h03 <http://www1.folha.uol.com.br/folha/ciencia/
ult306u15023.shtml> acessada em 14/02/2007 as 10h30
RUIZA, M.(dir.) Figura publicada na pagina Biografas y Vidas, So

Francisco, Barcelona 2004. <http://www.biografiasyvidas.com/biografia/a/
aristoteles.htm> acessada em 14/02/2007 as 10h35

Mdulo 2
livro_mat_mod2.indd 31 4/12/2007 15:03:15

Sentenas Compostas
Meta
Objetivos
Indicar modos bsicos de
1. Definir a conjuno e a disjuno de sentenas lgicas; composio de sentenas
matemticas.
2. Definir a unio de conjuntos e a interseco de conjunto;
3. Relacionar tais operaes de conjuntos com as operaes lgicas
correspondentes;
4. Inferir as propriedades de tais operaes. Dicas de Estudo
Uma regra bsica, para quem

quer aprender matemtica, no 33
acumular dvidas. Palavras, cujo
significado voc desconhece,
1. Introduo devem ser consultadas nos
dicionrios ou, ainda, ser
solucionadas com os seus tutores
Continuaremos desse modo a apresentao de como a linguagem matem- ou professores. Por exemplo:
tica se organiza. Desta feita, consideraremos a composio de sentenas Voc sabe o que conectivo?
atravs dos conectivos: ou (representado pelo smbolo ) e e (represen-
tado por ). Relacionaremos tambm tais conectivos com as operaes de
unio e de interseco de conjuntos.
2. A Disjuno e a Conjuno Lgicas

Consideremos as sentenas:
p: Recife a capital do frevo.

q: Recife a cidade mais populosa de Pernambuco.
Com elas, podemos compor as seguintes sentenas: George Boole (1815-1864)
O matemtico G. Boole publicou,

p q: Recife a capital do frevo ou a cidade mais populosa de Pernambuco. em 1847, The Mathematical
p q: Recife a capital do frevo e a cidade mais populosa de Analysis of Logic, onde
Pernambuco. fundamentou as bases da lgica
moderna.
A sentena p q chamada disjuno da sentena p com a sentena q.
Analogamente, a sentena p q chamada conjuno da sentena p com
a sentena q.
Os conectivos ou () e e () so usados na matemtica como modo de

compor sentenas. De fato, eles so considerados como uma espcie de

produtores de sentenas. Mais tarde, em nosso curso, definiremos a noo
de operao caracterizando-os como operadores lgicos. No momento,
devemos nos preocupar como associar os valores lgicos (verdadeiro ou
falso) a tais sentenas compostas, a partir dos valores lgicos das senten-
ATENO! as dadas. Isto feito com a construo das chamadas tabelas lgicas, as
quais analisam todas as possibilidades de valores lgicos para as sentenas.
LEMBRE: Cada sentena tem Postulamos que:
um nico valor lgico V ou F.
Assim, para duas sentenas,
temos 2 x 2 = 4 possibilidades
1) p q falso se somente se tanto p quanto q so sentenas falsas.
de anlise.
2) p q verdadeiro se somente se ambas as sentenas p e q so verda-
deiras.
Com tais postulados, podemos compor as seguintes tabelas lgicas para a

disjuno e para conjuno.
34
p q pq
V V V
V F V
F V V
F F F
p q pq
V V V
V F F
F V F
F F F
ATENO!
Atividade 1: Considere dado que a sentena p: Joo mdico verdadeira,
LEMBRE: O ou s falso enquanto que a sentena q: Joo professor falsa. Qual o valor lgico para
se ambas as sentenas forem as sentenas
falsas.
p q: Joo mdico ou professor?
p q: Joo mdico e professor?
Respostas: V (p q) = V (p q) =
A partir de tabelas lgicas, fcil inferir se os operadores lgicos possuem

determinadas propriedades. Por exemplo, mostraremos, a seguir, que a
conjuno comutativa, isto , que p q equivalente a q p. Siga as
orientaes dadas abaixo:
Passo 1: Construindo a tabela lgica para p q.

p q pq
V V V
V F V
F V V
F F F
Passo 2: Construindo a tabela lgica para q p.
q p qp
V V V
V F V
F V V
F F F
Passo 3: Comparamos os resultados obtidos para pq e para qp. A 35

seqncia de valores lgicos encontrados na terceira coluna de ambas as
tabelas, quando lidos de cima para baixo a mesma, o que significa que as
sentenas pq e qp so logicamente equivalentes. Escrevemos:
pqqp
(l-se: pq equivale a qp)
Atividade 2: Verifique que p q q p.
Passo 1: Construindo a tabela lgica para p q.
p q pq
V V
V F
F V
F F
Passo 2: Construindo a tabela lgica para q p.
q p qp
V V
V F
F V
F F

Passo 3: Comparando os valores lgicos obtidos para pq e q p, indique
as seqncias encontradas para:
p q:
q p:
IMPORTANTE! Uma questo interessante a de determinarmos o nmero de linhas na

tabela lgica, a partir do nmero de sentenas dadas para anlise. Como
SINAIS DE AGRUPAMENTOS
sabemos, para cada sentena, temos duas possibilidades: V ou F. Assim, o
Em matemtica, quando se tm total de anlise possvel para duas sentenas 2 2 = 4 possibilidades,
vrias operaes a executar, como mostram as tabelas acima. Para trs sentenas, haver 2 2 2 = 8
usual indicar-se com o uso de
parnteses, colchetes ou chaves possibilidades de anlises. Utilizemos este fato para mostrar que a conjuno
a prioridade **com que se deve associativa, isto , que:
realiz-las. O convencionado
de que, primeiro, se resolvem (p q) r = p (q r)
36 as operaes entre parnteses,
depois aquelas entre colchetes Quaisquer que sejam as sentenas p, q e r.
e, por fim, as entre chaves. Por
exemplo, na investigao do valor
lgico de uma sentena do tipo Passo 1: Construo da tabela lgica para (p q) r.
{p [q (r s)]} t, p q pq r (p q) r
V V V V V
primeiro, analisaramos r s,
V V V F V
depois, q (r s), em seguida, p
[q(rs)] , para por fim, concluir V F F V F
a anlise. V F F F F
F V F V F
F V F F F
F F F V F
F F F F F
Passo 2: Construo da tabela lgica para p (q r).
p q r qr p (q r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F F
F F V F F
F F F F F
Passo 3: Comparao dos valores lgicos.
Observamos que a ltima coluna de ambas as tabelas contm a mesma

seqncia: V, F, F, F, F, F, F, F, F. Portanto, (p q) r = p (q r)

Atividade 3: Verifique a associatividade para a disjuno, ou seja, que
(p q) r = p (q r)
Passo 1: Construo da tabela lgica para (p q) r.
p q pq r (p q) r
ATENO!
37
Passo 2: Construo da tabela lgica para p (q r). Segundo a histria, o grande
filsofo Scrates dizia: Se
p q r qr p (q r) queres discutir comigo, defina-se
teus termos. Para a sociedade,
as leis morais que definem o que
se deve e o que no se deve
fazer. O operrio age a partir de
suas ferramentas de trabalho.
Correspondentemente, para um
matemtico, a idia de Conjunto
Universo indica de que objetos
ele pode lanar mo para obter
os resultados desejados. Por
exemplo, uma pergunta do tipo
Pode a metade de um nmero
Passo 3: Comparando as ltimas colunas das tabelas. ser maior do que ele? Tem a
resposta negativa no Universo dos
(p q) r: Nmeros Naturais; e afirmativa no
Universo dos inteiros. Portanto,
p (q r): sempre que estiver resolvendo um
problema veja em que Universo
ele est sendo proposto!
3. A Unio e a Interseco de Conjuntos

Uma idia muito importante em matemtica a de Conjunto Universo. Para
o matemtico, o Conjunto Universo aquele que contm todos os elementos
a serem considerados em um dado problema ou situao matemtica. Assim
se dissermos que o conjunto Universo o conjunto das letras do alfabeto,
s poderemos usar conjuntos cujos elementos so tais letras (ou o conjunto
vazio). Representaremos conjunto universo pela letra grega .
Desta forma, se dissermos que A um conjunto, estamos pressupondo a

existncia de um Universo em que ele est inserido, isto , cada elemento

de A deve ser um elemento de (Escreve-se A e l-se: A est contido
em ).
Dados A e B conjuntos em um certo Universo , estamos interessados

em obter outros conjuntos em a partir de A e B. Um dos modos de
realizar isto atravs das operaes de disjuno e conjuno lgicas. Das
sentenas
p: x A
q: x B
podemos criar as sentenas
p q: x A ou x B
38
p q: x A e x B
Assim sendo, podemos obter os conjuntos:
AB= x x A ou x B
AB= x x A e x B
O conjunto A B chamado unio de A com B e contem tanto os

elementos de A como os elementos de B, sem repetio e numa ordem
qualquer. Por sua vez ,o conjunto A B chamado interseco de A com B
contendo apenas os elementos comuns a A e a B.
Por exemplo, sendo = e dados os conjuntos:
A = x 1 x 5 e
B = x 3 < x 7
ento
A = 1,2,3,4,5 e
B = 4,5,6,7
logo
A B = 1,2,3,4,5,6,7 e
A B = 4,5
Atividade 4: No Universo dos Nmeros Naturais, considere os conjun-

tos A = x x 2 9 e B = x 2 < x < 10 . Escreva A e B por

extenso e em seguida obtenha A B e A B.
Uma vez que, para quaisquer sentenas p e q, pq equivale a qp, assim

como pq equivale a qp ,ento A B igual a B A e A B igual a
BA, quaisquer que sejam os conjuntos do Universo .
Outras propriedades destas operaes de conjuntos so:
A A = A (Idempotncia)
A A = A (Idempotncia)
A = A ( elemento neutro)
A = (Absoro)
39
A = (Absoro)
Representao da Unio de Conjuntos em Diagramas

CASO I: Os conjuntos A e B tm elementos em comum.
A B
CASO II: Os conjuntos A e B no tm elementos em comum.
A B
VEJA: No Caso I, um elemento pertence a AB pode significar:
Ele pertence a A, mas no pertence a B;
Ele pertence a B, mas no pertence a A;
Ele pertence a ambos os conjuntos.

Este fato corresponde, na lgica matemtica , idia de que o ou em geral,
inclusivo e pode agregar as duas sentenas. Na linguagem usual, o ou
exclusivo (indicado pela situao do caso II).
Quando digo vou praia ou ao cinema, em geral, no se imagina que eu

execute as duas aes simultaneamente.
A = A ( elemento neutro)
(A B) C = A (B C) (Associatividade)
(A B) C = A (B C) (Associatividade)
(A B) C = (A C) (B C) (Distributividade)
40 (A B) C = (A C) (B C) (Distributividade)
Algumas dessas propriedades so imediatas, outras sero comentadas em

nosso mdulo de exerccios resolvidos (Mdulo 5).
Exercite-se na atividade abaixo!
Atividade 5: No Universo = x 0 x 15 considere os conjuntos:
A = 1,2,3,4 ; B = 3,6,8 ; C = 2,4,6,8,10,12
Determine cada uma dos conjuntos abaixo:
a) A B
b) A B
c) A C
d) B C
e) (A B) C
f) A (B C)
g) (A B) (A C)
h) (A C) (B C)
i) (A B) C
j) A (B C)
REPRESENTAO DA INTERSECO DE CONJUNTOS EM

DIAGRAMAS
CASO I: Os conjuntos A e B tm elementos em comum.
A B

CASO II: Os conjuntos A e B no tm elementos em comum.
A B
Neste ltimo caso, os conjuntos se dizem disjuntos (no tm elementos

comuns), isto , AB=
Resumo
1) A partir de duas sentenas p e q ,podemos obter as sentenas p q 41
chamadas disjuno lgica e p q chamadas conjuno lgica.
2) A sentena p q falsa, se somente se as sentenas p e q forem fal-

sas.
3) A sentena pq verdadeira, se somente se p e q forem verdadeiras.
4) Dados os conjuntos A e B, podemos construir os conjuntos A B e

A B.
5) O conjunto A B est associado disjuno lgica do mesmo modo

que A B est associado conjuno lgica. Podemos usar esse fato
na verificao de propriedades sobre tais operaes de conjuntos.
Auto-Avaliao
Uma boa tcnica para estudo a que chamamos tcnica do espelho. Ela
consiste em voc e um colega tentarem resolver separadamente os mes-
mos exerccios. Em seguida, cada um corrige a soluo dada pelo outro.
feita a discusso das questes em que no h concordncia e, em seguida,
busca-se ajuda de um tutor ou professor para dirimir as dvidas. Aplique a
tcnica do espelho para as questes abaixo.
1) Mostre, atravs de Tabela Lgica, que (p q) r equivalente a

(p r) (q r). Qual a conseqncia desse fato para as operaes
de unio e interseco de conjuntos?
2) Suponha que p seja uma sentena verdadeira; q uma sentena falsa,e

r seja outra sentena verdadeira. Qual o valor lgico da sentena
(p q) r? E da sentena p (q r)?
3) No diagrama abaixo, representa o conjunto dos pernambucanos, A

o conjunto dos pernambucanos que estuda matemtica, B o conjunto
dos pernambucanos que fala ingls e C o conjunto dos alunos pernam-
bucanos da UAB.
A B
42
C

a) Pinte de amarelo o conjunto dos pernambucanos que estuda na UAB e

fala ingls.
b) Pinte de azul o conjunto dos alunos que estuda matemtica pela UAB.
c) Voc sabe que a composio do azul com o amarelo reproduz o verde.
De acordo com essa informao, descreva que pernambucanos fica-
riam demarcados de verde.
4) Se um conjunto A tem 15 elementos e um conjunto B tem 8 elemen-
tos, qual o nmero mximo de elementos que tm A B? E o nmero
mnimo de elementos?
Bibliografia

Nobel, 1972.

S.A, 1980.

Mdulo 3
Livro_Matematica_M03.indd 27 4/12/2007 15:21:35

Subconjuntos e Implicaes
Meta
Indicar modos bsicos de composio de sentenas matemticas
Objetivos:
1) Definir subconjunto de um conjunto;
29
2) Apresentar a implicao como operao lgica sobre sentenas relacio-
nando-a com a incluso de conjuntos; ATENO!!
3) Inferir propriedades dos subconjuntos. No confundir o uso dos
smbolos (pertence) e
(est contido). O primeiro ()
deve ser usado para indicar
1. Introduo que um elemento est em um

conjunto, enquanto o segundo
() para exprimir que um
conjunto um subconjunto de
outro conjunto. O smbolo
tambm chamado da incluso
Neste mdulo, estudaremos uma maneira fundamental de construo de
de conjuntos.
sentenas matemtica: a implicao lgica. A partir da idia natural de sub-
conjunto de um conjunto dado, apresentaremos tal operao lgica e, em
seguida, faremos aplicaes desta importante forma de organizao do dis-
curso matemtico.
2. A Idia de Subconjunto
Dados A e B conjuntos quaisquer em um Universo , diz-se que A subcon-
junto de B se cada elemento de A elemento de B. Escrevemos, ento,A
B (l-se: A est contido em B ou A subconjunto de B). Assim, simbolica-
mente podemos afirmar:
A B se, e somente se, x A, x B
Ou seja, temos outro modo de produo de conjuntos a partir de um conjunto

dado: a determinao dos subconjuntos dele. Por exemplo, a partir do con-
junto A = {a, b, c, d },podemos gerar os subconjuntos {b, c}, {a, b, d }, {a}
etc.

importante observar que, para escrevermos A B, necessrio que:
A e B sejam conjuntos;
Cada elemento de A seja elemento de B.

ATENO!!
Portanto, mesmo que A e B sejam conjuntos, em caso de A, preciso que
Veja: a idia de elemento um cada elemento de A seja elemento de B para escrevermos A B.
conceito primitivo enquanto
que a de subconjunto dada Treine o uso de smbolos e na atividade seguinte!
por definio. Muitas vezes,
um conjunto figura como
elemento para outro conjunto.
Atividade 1:
Por exemplo, o conjunto dos
tringulos do plano tem como
elementos os tringulos, os
30
quais so conjuntos de pontos. Complete com ou as sentenas abaixo:
a) 3 {1,2,3,4}
b) {}
3 _____ {1,2,3,4}
c) {1,2} _____ {1,2,3,4}

d) {}
3 _____ {1,2, {}
3 ,4}
Observe que, na letra (d) da atividade acima, o preenchimento correto deve

ser:
{}
3 {1,2, {}
3 ,4},
pois mesmo que {}

3 seja um conjunto unitrio, ele elemento do conjunto
{1,2, {}
3 ,4}.
Se A um conjunto, claro que cada elemento de A um elemento de A, da

dizer que A A, sempre. Por outro lado, para que A no seja subconjunto
de B (A B, simbolicamente), basta que algum elemento de A no seja ele-
mento de B. Por exemplo:
{1,2,3,4,5} {1,2,3,4,6,7}
Pois o elemento 5 do primeiro conjunto, no elemento do segundo con-

junto.
Como cada sentena matemtica deve ter um nico valor lgico, devemos
considerar como subconjunto de qualquer conjunto. O argumento lgico

que, se A deveria existir x com x A, mais claro que isto no
ocorre. Da, sempre verdade que A.
Atividade 2
Complete o quadro abaixo em que, na coluna da direita, esto os subconjun- IMPORTANTE
tos do conjunto apontado na coluna da esquerda:
A Produo dos Conjuntos
Conjunto Subconjuntos A partir de um conjunto X,

podemos produzir o conjunto
formado por todos os
{a} e {a} subconjuntos de X. Tal conjunto
{a,b} , {a}, {b}, {a,b} chamado Conjuntos das
{a,b,c} Partes de X sendo denotado 31
P(X). Nele esto presentes
o conjunto vazio e o prprio
Indutivamente, observamos que, a partir de um conjunto de n elementos, conjunto X, chamados
podem-se construir exatamente 2 n subconjuntos. (nesta conta, incluem-se subconjuntos triviais de X.
e o prprio conjunto).
Uma outra propriedade da incluso de conjuntos que se A, B e C so con-

juntos tais que A B e B C, ento A C. Tal propriedade chamada de
transitividade para a incluso de conjuntos. Descubra mais fatos sobre con- A Transitividade da Relao
de Incluso.
juntos resolvendo as atividades abaixo:
Q Z
Atividade 3:
Um conjunto A tem 350 elementos. Diga quantos so os subconjuntos de A Se todo nmero natural um
com 349 elementos cada um. (Sugesto: pense em quantos subconjuntos nmero inteiro e todo nmero
com um elemento ele tem). inteiro um nmero racional,
ento todo nmero natural um
nmero racional. Em geral, se A
B e B C, ento A C.
Atividade 4:
Assinale V (verdadeiro) ou F (Falso) conforme o caso.
a) ( ) Se x A e A B ento x B.
b) ( ) Se x A e A B ento x B.
c) ( ) Se x A e A B ento x B.
d) ( ) Se x A e A B ento x B.

3. A Implicao Lgica
A sentena, se x A ento x B pode ser dita que, a condio x A implica
a condio x B. Simbolicamente escrevemos:
xAxB
De um modo geral, se p e q so sentenas, podemos obter a sentena p

q a qual pode ser lida:
p condio suficiente para q ou q condio necessria para p.
Por exemplo, seja , o conjunto dos cidados brasileiros e nele considere:

Implicao
32
x A= {x / x pernambucano}
Inclusa B = {x / x nordestino}
Como podemos observar A B, ou seja, ser pernambucano implica ser nor-

B destino. Dito de outra maneira, a condio ser pernambucano suficiente
A para se ser nordestino. Alternativamente, a condio ser nordestino neces-
sria para se ser pernambucano.
Abaixo indicamos a tabela-lgica para a implicao.

suficiente pertencer a A para
pertencer a B. necessrio p q pq
pertencer a B para est em A.
V V V
V F F
F V V
F F V
Na implicao p q, p dita antecedente enquanto q dita conseqente.

No necessrio haver relao de causa e efeito entre p e q. Boa parte dos
teoremas matemticos tem essa forma lgica. Neste caso, p dita hiptese,
e q chamada tese do Teorema. No caso, demonstrar o teorema significa
mostrar que tal implicao verdadeira.
Atividade 5
Considere as sentenas abaixo:
p: todo tringulo retngulo

q: os lados de um quadriltero so congruentes

r: 5 + 8 um nmero primo
Determine os valores lgicos seguintes:
a) V (p q) = V pois V(p) = F e V(q) = F.

Dicas de Estudo
b) V (q p) =
c) V (r p) =
d) V ((p r) r q) = e) V ((p r) r q) =
Uma etapa importante de sua
formao matemtica a de
4. A Equivalncia Lgica
demonstrar certas afirmativas.
Por exemplo: para provar que
dois conjuntos so iguais, voc
33
Se p q e q p ento dizemos que p e q so logicamente equivalentes deve lembrar que:
escrevendo p q. Neste caso, tambm se diz que p (ou q) condio A=BABeBA
necessria e suficiente para q (ou p) ou que p se e somente se q.
Assim, voc deve cumprir as
A tabela lgica para p q dada por: seguintes etapas:
1) Tomar x A e comprovar que

p q pq x B;
V V V
2) Tomar x B e comprovar que
V F F
x A.
F V F
F F V
Sendo A e B conjuntos dados por sentenas p e q, respectivamente, ento

dizer que A = B significa que p q. Por exemplo, sendo A = {x x2 3x
+ 2 = 0} e B = {1,2} observam que A = B, ou seja:
x2 3x + 2 = 0 x {1,2}
Atividade 6
Sabendo que p e q so sentenas verdadeiras e que r e s so sentenas
falsas, qual o valor lgico das seguintes sentenas:
a) (p q) (r s) Resposta: V
b) (p r) (q s) Resposta: _______________
c) (p r) (q s) Resposta: _______________
d) (r q) (p s) Resposta: _______________

e) (r q) (s p) Resposta: _______________
5. Exerccios de Fixao
Use esse espao abaixo
para suas observaes e A partir desse mdulo, voc encontrar uma lista de exerccios para que voc
dvidas! treine os conceitos e resultados trabalhados at agora. Nela introduziremos
alguns fatos complementares, portanto fundamental que voc tente fazer
todos os exerccios.
1. Represente por compreenso os conjuntos:
a) A = {0,2,4,6,8,...}
34 b) B = {0,1,2,...,9}
c) C = Conjunto dos mltiplos de 3
d) D = Conjunto das fraes com numerador e denominador compreendidos

entre 1 e 3 (inclusive)
e) E = {1,4,9,16,25,36,...}
2. Diga se Verdadeira ou Falsa cada uma das sentenas:
a) ( ) 0 {0,1,2,3} e) ( ) {a} {a, {a}}
b) ( ) {1} {1,2,3} f) ( ) {, 1}
c) ( ) 0 g) ( ) {0, {}}
d) ( ) {0} h) ( ) {0,{ }}
3. Dados os conjuntos A = {1,2,3}, B = {3,4} e C = {1,2,4}, determine X =

conjunto tal que X B = A C e X B = .
4. Quantos so os subconjuntos do conjunto das vogais?
5. Assinale ,no diagrama dado, os seguintes conjuntos:
a) ABC
b) A (B C)
c) A (B C)
6. Determine o valor lgico das seguintes sentenas:

a) 1 + 3 = 4 e 2 > 5
b) 1 + 3 = 4 ou 2 > 5
c) 1 + 3 = 4 2 > 5
Use esse espao abaixo
d) 2 > 5 1 + 3 = 4 para suas observaes e
e) 5 2 e 0 + 1 = 1 dvidas!
f) 5 2 ou 0 + 1 = 1
g) 5 2 0 + 1 = 1
h) 5 2 0 + 1 = 1
7. Determine V(p) nos seguintes casos: 35
a) V(q) = F e V(pq) = F
b) V(q) = F e V(pq) = F
c) V(q) = F e V(p q) = V
d) V(q) = F e V(p q) = V
Resumo
1. Sendo A e B conjuntos, A B significa que: x A x B.
2. Para quaisquer conjuntos A, B e C sempre vale que:
A A;
ABeBAA=B
ABeBCAC
3. A implicao p q s falsa se V(p) = V e V(q) = F.
4. A equivalncia p q verdadeira se, e somente se, p e q tiverem

o mesmo valor lgico.

Use esse espao abaixo Auto-avaliao
para suas observaes e
1. Assinale V ou F conforme verdadeira ou falsa seja cada uma das afirmati-
dvidas! vas; Justifique as que so falsas.
a) ( ) p p p p
b) ( ) p (q r) (p r) (p q)
c) ( ) p (q r) (p r) (p q)
36
d) V(p) = V e V (q) = F V(p q) = F
e) V(q) = F e V (p q) =F V(p) = V.
2. Sendo o conjunto dos nmeros reais, determine o valor lgico de cada

uma das seguintes proposies:
a) ( x ; x = x)
b) ( x ; x = 0)
c) ( x ; x + 1 > x)
d) ( x ; x2 = x)
e) ( x ; x + 2 = x)
f) (x ; x2 = x)
3. Se p, q e r so sentenas construa a tabela lgica para p (q r):
4. Um conjunto tem precisamente 1024 subconjuntos. Indique quantos ele-

mentos ele tem?
5. Determine o conjunto P(P())

BIBLIOGRAFIA

Nobel, 1972.

S.A, 1980.
MONTEIRO. JACY L.H. Iniciao s Estruturas Algbricas. So Paulo:

GEEM, 1973.
37

Mdulo 4
Livro_M04.indd 15 5/12/2007 13:13:24

Livro_M04.indd 16 5/12/2007 13:13:24
A Diferena de Conjuntos e a Negao de Pro-
posies
17
Meta
Apresentar modos de negao de uma sentena matemtica.
Objetivos
Definir diferena entre dois conjuntos inserindo o conceito de comple-
mentar de um conjunto como caso particular;
Relacionar a complementao de conjuntos com a negao lgica;
Deduzir propriedades da complementao de conjuntos e da negao.
1.introduo
Uma maneira simples de produzir uma sentena negando-se outra sen-
tena dada. Por exemplo, se p: 3 + x = 7 uma sentena, ento sua negao,
denotada por p, a sentena:
p: 3 + x 7
Portanto, p ser verdadeira se p for falsa, e ser falsa se p for verdadeira.

Ento, a tabela lgica para a negao :
Na negao, encontramos algumas armadilhas da escrita e do pensamento

matemticos; pretendemos, ento, ajudar voc a evit-las. Neste mdulo,
estudaremos ,ainda, a noo de complementar de um conjunto, naturalmente
relacionada negao lgica.
Livro_M04.indd 17 5/12/2007 13:13:24

2. Os Quantificadores Lgicos
Na matemtica, comum o uso de sentenas que se utilizam dos smbo-
los (para todo, qualquer que seja) e (existe, existe pelo menos um). Por
Exemplo:
Desafio
p: x IN x x (Qualquer que seja o nmero natural, seu quadrado maior
Um nufrago chega a uma ilha ou igual a ele prprio)
onde convivem duas tribos A
e B. Todos os nativos da tribo
B sempre falam a verdade. q: x IN /2x + 1 = 7 (Existe um nmero natural cujo dobro mais um igual
18 Ao se deparar com um nativo, a 7).
o nufrago fez a seguinte
pergunta: Estes dois smbolos so chamados Quantificadores. O smbolo chamado
Existe ouro nesta ilha?
Quantificador Universal, enquanto que o smbolo chamado Quantificador
Existencial. importante que voc fixe a idia seguinte:
O nativo respondeu:
Cada um destes smbolos usado na negao de sentenas que contenham
Existe ouro na ilha se e
o outro. Por exemplo, a negao das sentenas acima dada por:
somente se eu falo a verdade.
Usando a lgica matemtica p: x IN / x < x (Existe um nmero natural cujo quadrado maior que
para analisar a resposta do ele prprio).
nativo, descubra se existe ou
no ouro na ilha. q: x IN, 2x + 1 7 (Qualquer que seja o nmero natural, seu dobro mais
um diferente de sete).
Use a informao acima para resolver a atividade abaixo:
Atividade 1:
Negue as sentenas abaixo:
a: Todo dia da semana dia de feira.
a: Existe um dia da semana que no dia de feira .
b: Em algum dia da semana, eu no vou missa.
b:
c: x Z / x .x
c:
d: x Q , - x x
Livro_M04.indd 18 5/12/2007 13:13:24

~ d:
e: Todo tringulo eqiltero issceles
~ e:
Um uso importante das idias acima est na noo de subconjunto. Como

Dicas de Estudo
vimos, dizer que um conjunto A subconjunto de um B (A B) significa que
todo elemento de A tambm elemento de B. simbolicamente, escrevemos: Em matemtica, o raciocnio por
Vacuidade muito importante.
A B x A, x B Muitas vezes, para provarmos
que uma afirmativa p falsa, 19
mostramos que o conjunto dos
Portanto, para que A no seja subconjunto de B (A B), basta que ao menos elementos que satisfazem p
um elemento de A no seja elemento de B. Ou seja: vazio.
ABxA/xB
Neste ltimo fato, encontra-se o dado relevante para considerarmos o conjunto

vazio como subconjunto de qualquer conjunto. De fato, se A um conjunto,
pelo princpio do terceiro excludo, apenas uma das afirmativas abaixo deve
ser verdadeira:
(i) A
ou (ii) A
Se (ii) fosse verdadeira, ento deveria existir um elemento no x conjunto

tal que x A. Mas impossvel x , logo tal afirmativa falsa. Resta,
ento, (i) ser verdadeira. Este tipo de raciocnio chamado Raciocnio por
Vacuidade, tendo importante funo na filosofia e na Cincia em Geral.
3. Conjunto Complementar
Sendo A e B conjuntos em um universo , define-se o conjunto diferena A
B por:
A B ={X / x A e x B}
Por exemplo, se A = {1,2,3,4,5} e B = {0,1,3,7} ento A B = {2, 4, 5 }. Note

que (A B) A. Em particular, claro que, em geral, A B B A.
Um caso particular desta noo encontra-se quando B A. Neste caso, A B

chamado complementar de B com relao a A sendo denotado por CAB. Por
exemplo, se A = {1, 2, 3, 4, 5} e B = {1, 3, 5}, ento A B ={2, 4}.
Livro_M04.indd 19 5/12/2007 13:13:24

Neste caso, como B A tal diferena pode ser representada por CAB. Exercite
tais consideraes na atividade abaixo.
Atividade 2
Sejam = {x IN / x 10}. Considere
A = {1,2,3,4,5,6};
20 B = {3,4,5,6} e
C = {5,6,7,8}. Determine:
a) A B =
Ateno!
b) B A =
Na notao CAB ,o conjunto
A chamado conjunto base c) A C =
ou referncia. No caso em
que A = , melhor usarmos d) C A =
a notao (Complementar
de B).
e) B C =
f) C B =
g) CAB =
h) CB =
i) CA =
j) CC =
As representaes CA, CB, CC significam A, B, C sendo,

pois, os complementares dos conjuntos A, B e C, respectivamente. Neste
caso, por uma simplificao de linguagem e do simbolismo usados, iremos
representar-lhe a notao , , chamando tais conjuntos de comple-
mentares de A, de B e de C respectivamente. Ou seja, se x um conjunto
qualquer em um universo denotamos por ao complementar de X (em
relao ao Universo )
Isto ,
=CX = X
No caso da atividade 2, como voc pode confirmar:
Livro_M04.indd 20 5/12/2007 13:13:24

= {0,7,8,9,10}, = {0,1,2,7,8,9,10} e = {0,1,2,3,4,9,10}. (Confira com
os itens h, i, e j da atividade).
Atividade 3
Note Que:
Seja = {a, b, c, d, e, f, g, h }. Considere A = { a, b, c, d } e B = {c, d, e, f, g}. AB
Determine:
a) 21
A B
b)
BA
c) A B
d)
B A
e) A B
CAB
f)
g) (Unio dos complementos) B
h) (Interseo dos complementos)

A
i) (Complementar de ) A
j) (Complementar de )
A

4. As Leis de Morgan
Voc deve ter notado no exerccio acima que, = , isto , o
complementar da unio de dois conjuntos igual interseo dos comple-
mentares dos mesmos. Analogicamente, voc deve observar que =
isto : Ateno!
Se voc diz que no verdade

que mentira que o Brasil
pentacampeo. O que,de fato,
O Complementar da Interseo de dois conjuntos igual unio dos voc disse...
complementares dos conjuntos.
Estes dois resultados so devidos ao matemtico ingls (hindu de nasci-

mento) Augustus de Morgan (1806 -1871). A seguir, faremos a justificativa
destes resultados com base no uso de tabelas lgicas.
Livro_M04.indd 21 5/12/2007 13:13:24

Devemos antes notar que, dizer que x equivalente a dizer que x A.
Como a negao da negao de uma sentena equivale prpria sentena
(Ver tabela ao lado), o complementar do complementar de um conjunto
igual ao prprio conjunto ( = ). Mostraremos agora que, se p e q so sen-
tenas ento: ~(p q) ~p ~q (Em termos da linguagem dos conjuntos
isto quer dizer que = ).
Passo 1: Construda a tabela para (p q)

22
p q pq ( p q )
V V V F
Curiosidade! V F V F
F V V F
Em uma cidade,existe um
barbeiro que barbeia todo F F F V
mundo que no se barbeia.
Esse barbeiro barbeia-se a si
prprio... Passo 2: Construindo a tabela para ( p) (~ q)
p q p q (p) (q)
V V F
V F F
F V V
F F V
Passo 3: Comparando a seqncia de resultados nas ltimas colunas das

duas tabelas.
(p q):
(p) (q):
Agora, mostre voc mesmo que (p q) ( p) ( q)
Atividade 4
Mostre que
(p q) ( p) ( q)
Passo 1: Tabela para (p q)
Livro_M04.indd 22 5/12/2007 13:13:24

p q pq (p q)
Ateno!
Passo 2: Tabela para ( p ) ( q )
p q q p (q) (p)
p q p q (p) (q) V V F F V
V F V F F
23
F V F V V
F F V V V
Como voc pode observar a

contra-recproca de p q
Passo 3: Comparao dos valores lgicos obtidos na ltima coluna.
equivalente a p q. Este
fato vai ser importante nas
~(p q): demonstraes por reduo
ao absurdo
(~ p) (~ q):
Observe que, se p e q so propriedades caractersticas dos conjuntos A e

B,ento, equivalentemente, voc acabou demonstrar que:
De fato, se x ,ento x , isto , ou x no satisfaz a proprie-

dade p ou o x no satisfaz a propriedade q. Logo, x , reciprocamente
se x ento ou x ou x , portanto ou x no satisfaz a pro-
priedade p ou o x no satisfaz a propriedade q.
5. Negao e Implicao
Dada a implicao p implica q (p q) a partir das negaes de p (p) e de q
(q) podemos formar as implicaes:
1. (p) (q). Essa implicao a chamada contrria de (p q);
2. q p. Essa implicao a chamada de recproca de (p q);
3. (q) (p). Essa a chamada de contra-recproca de (p q);
Organizando as tabelas de p q e de sua contra-recproca, podemos obser-
var que elas so logicamente equivalentes.
Assim ,por exemplo, no teorema: Se um nmero inteiro par, ento seu

quadrado par. O teorema contrrio seria: Se um nmero inteiro no par,
Livro_M04.indd 23 5/12/2007 13:13:24

ento seu quadrado tambm no par. O teorema recproco seria: Se o
quadrado de um nmero inteiro par, ento ele par; e o contra-recproco
seria: Se o quadrado de um nmero inteiro no par, ento ele no par.
No caso, todos os teoremas acima so vlidos, mas no verdade que o

recproco e o contrrio de um teorema vlido sejam vlidos. O contra-rec-
proco de um teorema vlido tambm vlido visto que ele equivalente.
Atividade 5: Dada a proposio: Se Joo paraibano, ento nordestino,

escreva as proposies contrria, recproca e contra-recproca.
24
Acrescente mais duas palavras ao seu vocabulrio matemtico: Tautologia e
Contradio. Uma Tautologia uma sentena sempre verdadeira enquanto
que uma contradio uma sentena sempre falsa. Portanto, a negao de
uma tautologia uma contradio vice-versa. Por exemplo, a sentena p
(p) uma tautologia, enquanto que, p (p) uma contradio, qualquer
que seja a sentena p dada.
Resumo
1. Os quantificadores e so usados um na negao do outro.
2. Se A um conjunto em um certo universo , ento o complementar de
A o conjunto dos elementos de que no esto em A. Esta operao
de conjunto est associada negao de sentenas, visto que dizer que x
significa que x .
3. Vale que = , = e = . Do ponto de
vista das sentenas matemticas, isto quer dizer que negar uma negao
afirmar; nega-se um e com um ou e nega-se um ou com um e.
4. Cada implicao pq equivalente ao seu contra-recproco q
p.
Auto-Avaliao
1. Mostre que as proposies so tautologias:
a) (pq) ((pr)q)
b) (pq) (p(q r))
c) (pq) ((p r) (q r))
d) (pq) ((p r) (q r))
Livro_M04.indd 24 5/12/2007 13:13:24

2. Mostre que as proposies so contradies:
a) p (p (q))
b) ((p q) (p q))
c) p p
d) p p
3. Escreva o teorema relativo s proposies p e q, ou seja, p q, como

tambm seu recproco, seu contrrio e seu contra-recproco. 25
4. Sendo o conjunto dos nmeros reais, determine o valor lgico de

cada uma das seguintes proposies:
a) (x, |x|=x)
b) (x, x2=x)
c) (x, |x|=0)
d) (x, x+2=x)
e) (x, x+1>x)
f) (x, x2=x)
5. Dar a negao das proposies do item 4.
Bibliografia
CASTRUCI, Benedito. Elementos da Teoria dos Conjuntos. So Paulo: Nobel,

1972.

S.A, 1980.
MONTEIRO. JACY L.H. Iniciao s Estruturas Algbricas. So Paulo: GEEM,

1973
Livro_M04.indd 25 5/12/2007 13:13:24

Livro_M04.indd 26 5/12/2007 13:13:24
Mdulo 5
Livro_M05.indd 19 4/12/2007 16:20:23

Livro_M05.indd 20 4/12/2007 16:20:23
Mtodos de Demonstrao
Meta
21
Exemplificar alguns mtodos de demonstrao de proposies matemticas
Objetivos
Descrever mtodos de demonstrao usuais em Matemtica.
Compreender a induo como modo de obteno do conhecimento

matemtico.
ATENO!!
1. Introduo
Consultando o Dicionrio
Grande parte do discurso matemtico construda com implicaes. A vali- A priori: segundo um princpio
dade de uma implicao, quando no aceita a priori, verificada por sua anterior admitido como evidente;
demonstrao, sendo esta palavra, responsvel pelo recheio relevante nas sem os fundamentos dos fatos;
por hiptese.
teorias matemticas. Neste mdulo, voc entrar em contato com algumas
demonstraes de Teoremas matemticos acessveis a este nvel de conhe- In: Dicionrio Contemporneo de
cimento. A organizao dada ao texto presente tem carter didtico e no Lngua Portuguesa: Caldas Aulete,
se prope definir o conceito de demonstrao ou esgotar o assunto. Leia Rio de Janeiro: Delta S. A., 1964.
criticamente cada demonstrao dada e comece a pensar em Teoremas

matemticos j assimilados por voc, tentando organizar demonstraes
para eles.
2. Demonstrao Direta
Em um teorema do tipo p q ( se p ento q ) voc j sabe que p a
hiptese e q a tese do teorema. A demonstrao direta consiste em a partir
da afirmativa p, usando argumentos vlidos, obter a afirmativa q.
Livro_M05.indd 21 4/12/2007 16:20:23

Observe a demonstrao abaixo:
Teorema 1
IMPORTANTE
O quadrado de um nmero natural par um nmero natural par.
A demonstrao de um teorema
a sua essncia. Para o lgico Hiptese: x IN um nmero par.
matemtico austraco Ludwig
Wittgenstein (1989 1951) Tese: x 2 um nmero par.
22 se voc quer ver o que um
teorema diz, observe o que sua Demonstrao
demonstrao prova.
Dizer que x IN um nmero par significa que x pode ser escrito como
x = 2n em que n IN (Um nmero natural par o duplo de algum nmero
( )
natural). Assim, x 2 = (2n ) = 4n 2 = 2 . 2n 2 . Como 2 n 2 um nmero
2
natural, segue-se que x 2 o duplo de um nmero natural, portanto tambm

par. C.Q.D.
Atividade 1
Use que x IN um nmero mpar significa que x pode ser escrito como
x = 2n + 1 com n IN para mostrar que o quadrado de um nmero natural
mpar um nmero natural mpar.
Teorema 2
O produto de dois nmeros naturais mpares um nmero natural mpar.
Hiptese: x IN e y IN so nmeros mpares.
Tese: O produto x. y IN .
Demonstrao
Dizer que x e y so nmeros mpares em IN dizer que
x = 2n + 1 com n IN
y = 2m + 1 com m IN
Da,
x . y = (2n + 1) . (2m + 1) = 4nm + 2n + 2m + 1
Livro_M05.indd 22 4/12/2007 16:20:23

.: xy = 2 (2nm + n + m) + 1
Como 2nm + n + m = k IN tem-se que
xy = 2k + 1 com k IN
Logo, x.y mpar.

IMPORTANTE
A demonstrao por reduo
Veja: ao absurdo tambm
chamada demonstrao por 23
uma vez demonstrado o Teorema 2 acima voc pode deduzir o resultado contradio. Chamamos
contradio a uma sentena
obtido na atividade 1 acima. Diz-se que este resultado um corolrio do
sempre falsa. Exemplo:
Teorema em apreo.
p ^ (~ p)
3. Demonstraes por Reduo ao Absurdo.

A demonstrao por reduo ao absurdo consiste em partir da negao da
tese e, usando argumentos vlidos, concluir a negao da hiptese. Ela se
baseia na equivalncia entre as sentenas p q e ~q ~p.
Estude o exemplo abaixo:
Teorema 3
Se a soma de dois nmeros inteiros par e um deles for mpar ento o outro
tambm impar.
Hiptese: a, b Z; a + b par; a mpar.
Tese: b mpar.
Se b par ento b par. Da (a + b) + (-b) par pois a soma de inteiros

pares um nmero par. Mas
(a + b) + (-b) = a, logo seria par o que contradiz a hiptese.
Atividade 2
Demonstre a afirmativa seguinte:
Se a soma de dois inteiros mpar e um deles par ento o outro mpar.
Livro_M05.indd 23 4/12/2007 16:20:23

A demonstrao por reduo assume outros modos de organizao. Por
exemplo, pode-se negar a tese, usar que a hiptese verdadeira e obter-
se uma contradio qualquer. Este esquema de demonstrao baseia-se na
equivalncia das sentenas
Curiosidade
p q ( ~ q ) p r ( ~ r).
Para os gregos antigos, todo
nmero era um nmero racional.
Muitos resultados importantes em matemtica no conhecem uma prova
Coube aos seguidores de
Pitgoras, grande matemtico direta. Abaixo ilustramos algumas clssicas demonstraes por reduo ao
grego do sculo IV a.C. a absurdo.
24 descoberta de que havia
nmeros irracionais: se o Teorema 4
quadrado tem lado 1 ento sua
diagonal tem lado .
2 um nmero irracional.
Demonstrao
Se 2 fosse um nmero racional ento existiriam p e q inteiros tais que

p
2=
q
Sem perda de generalidade podemos supor que p e q so primos entre si, ou
p
seja, que a frao irredutvel.
Na poca, expressava-se q
este fato dizendo-se que a
diagonal do quadrado no
comensurvel com o seu lado. Da
( 2 ) = qp
2
2
2
Seja P(n) uma afirmativa sobre

um nmero natural n 1 donde p = 2q logo p par, portanto p par, isto ,
genrico tal que
p = 2k com k Z . Substituindo na igualdade acima obtm-se:
(2k) = 2 q
Curiosidade
4k = 2q
O teorema 5 ao lado
conhecido como Teorema de 2k = q
Euclides, mais importante
matemtico grego da
Portanto q par e assim q par. Obtemos que tanto p como q um nmero
antiguidade. Sem Elementos p
so considerados o texto par, o que um absurdo contra o fato da frao ser irredutvel.
q
matemtico mais consultado no
mundo. Teorema 5
Existem infinitos inteiros primos.
Demonstrao
Livro_M05.indd 24 4/12/2007 16:20:23

Suponhamos que o conjunto de todos os nmeros primos fosse finito. Ento
existiria um inteiro positivo k tal que seria possvel indicar todos os primos da
seguinte maneira: P1, P2, ..., Pk.
Consideremos o nmero inteiro
N = P1 . P2 . ... Pk + 1
IMPORTANTE
Ora cada nmero inteiro que no seja 1 ou 1 tem um divisor primo p. Seja p
o divisor primo de N. Como p divide P1 . P2 ... Pk. Isto p divide 1, logo no O teorema 5 ao lado
conhecido como Teorema de
pode ser primo, contradizendo a hiptese adicional assumida. Euclides, mais importante 25
matemtico grego da
antiguidade. Sem Elementos
so considerados o texto
4. Demonstraes por Induo Finita. matemtico mais consultado
no mundo.
Uma das bases construtivas dos nmeros naturais conhecida como

Princpio da Induo Finita (P. I. F.). Ele admite vrias formulaes, uma das
quais indicaremos abaixo.
Seja P(n) uma afirmativa sobre um nmero natural n 1 genrico tal que
(i) P(1) verdadeira, isto , a afirmativa verdadeira para n = 1.
(ii) Se P(k) verdadeira para um natural k 1, ento P (k + 1) verda-

deira.
Ento: P(n) verdadeira para todo n IN * .
Por exemplo, considere a afirmativa:

n(n + 1)
P(n ):1 + 2 + 3 + ... + n = , n IN *
2
Tem-se que:
(i) P(1) verdadeira pois

1. (1 + 1)
1=
2
(fizemos n = 1 na afirmativa)
(ii) Suponhamos P(k) verdadeira:

k . (k + 1)
1 + 2 + 3 + ... + k =
2
Provemos que P(k+1) verdadeira, isto que
Livro_M05.indd 25 4/12/2007 16:20:23

1 + 2 + 3 + ... + (k + 1) =
(k + 1). (k + 2)
2
De fato:
1 + 2 + ... + (k + 1) = 1 + 2 + ... + k + (k+1) =

k . (k + 1) k . (k + 1)+ 2.(k + 1) (k + 1). (k + 2 )
= + (k + 1) = =
2 2 2
Portanto P(n) verdadeira n IN * .
26
Atividade 3
Use o P. I. F. para mostrar que
1 + 3 + 5 + ... + (2n 1) = n 2 , n IN * .
Muitas vezes a proposio P(n) tem significado para n = 0. Neste caso, a

condio (i) do P.I.F. substituda por
(i) P(0) verdadeira
A concluso que P(n) verdadeira n IN . Por exemplo, considere a

tarefa de demonstrar a proposio:
Dicas de Estudo P(n): o nmero de subconjuntos de um conjunto com n elementos 2n.
Se voc quiser provar que a
soma dos ngulos internos de Neste caso, a afirmativa tem significado para n = 0. Portanto, o primeiro
um polgono convexo 180.(n- passo provar que P(0) verdadeira.
2) ento claro que o menor
valor de n a ser tomado n = Consideremos A um conjunto de n elementos.
3. Este o valor inicial para se
realizar a induo.
(i) Se n = 0 ento A = { }. Logo, A tem apenas
1 = 2 subconjunto, a saber, ele prprio.
(ii) Supondo que afirmativa verdadeira para
n = k. Isto , todo conjunto com k elementos
tem 2k subconjuntos.
Vamos provar que ela vale para k + 1. Seja:
A = {a1 , a 2 ,..., a k , a k +1 }= {a1 , a 2 ,..., a k } {a k +1 }
Livro_M05.indd 26 4/12/2007 16:20:23

Obter subconjuntos de A envolve dois passos:
1) Obter todos os subconjuntos de {a1 , a 2 ,..., a k }.
2) Juntar a estes, o elemento a k +1 para obter os demais subconjuntos de

A.
Ora, pela hiptese de induo, o 1 passo garante 2k subconjuntos para A. Curiosidade

Com o 2 passo, dobramos esta quantidade, obtendo 2 . 2 subconjuntos. Isto
2k + 1 subconjuntos. C. Q. D. Ache o erro no raciocnio
abaixo:
27
n = n + 1 , n IN.
Atividade 4 Provemos a afirmativa:
De fato, suponha que a

Prove que afirmativa vale para n = k, isto
3 n +1 1 k = k + 1. Vamos provar que
30 + 31 + 3 2 + ... + 3 n = , n IN . ela vale para
2
Uma forma muito usada do P. I. F. substitui a condio (ii) por: k + 1, ou seja,
(ii) Se P(k) verdadeira para todo k < n ento P(n) verdadeira. k + 1 = (k + 1) + 1 = k + 2.
Ora, se k = k + 1 ento
Usaremos esta forma para demonstrar um importante resultado da Teoria dos adicionando-se 1 a ambos os
Nmeros. membros obtm-se:
Algoritmo da Diviso: Dados a e b 0 nmeros naturais, existem q e r em k + 1 = (k + 1) + 1 = k + 2

IN tais que: C.Q.D.
(i) a = b.q + r
(ii) 0 r < b
Demonstrao
Faremos induo sobre a (supondo b fixado). Tem-se.
(i) A afirmativa vale se a = 0. De fato, basta tomar q = r = 0.
Podemos supor, sem perder generalidade, que
ab
uma vez que se a < b tomamos q = 0 e r = a para provar a afirmativa.
(ii) Suponhamos que a afirmativa vale para todo natural menor que a. Ento
ela vale para a b. Isto , existem q e r naturais tais que:
Livro_M05.indd 27 4/12/2007 16:20:23

(I) a b = b.q + r e
(II) 0 r < b
De (I) segue-se que
a = b.q + r + b a = b (q + 1) + r
Ou seja, existem naturais q + 1 e r tais que
(I) a = b (q+1) + r
28
(II) 0 r < b
Portanto a afirmativa vale para a.
1) Prove que a soma de dois nmeros inteiros pares tambm par.
2) Mostre que m + n + m + n para m, n IN .
n . (n + 1)
3) Prove que n IN verdadeiro afirmar que IN .
2
4) Na diviso dos nmeros naturais a e b o quociente 1060 e o resto 304.

Qual o maior nmero de que se pode aumentar o dividendo e o divisor sem
que o quociente se altere.
5) Prove por induo finita que:
a) 2 + 4 + 6 + ... + 2n = n . (n + 1), n IN *
n . (n + 1)(
. n + 2)
b) 12 + 2 2 + 3 2 + ... + n 2 = , n IN
6
Resumo
1. A forma bsica de um teorema matemtico :
H T (Hiptese Implica Tese)
2. Na prova direta, supe-se H, usa-se argumentos vlidos e conclui-se T.
Livro_M05.indd 28 4/12/2007 16:20:23

3. A reduo ao absurdo consiste em negar T e obter-se uma negao de H,
alternativamente, pode-se negar T, usar-se H e chegar-se a uma contradio
qualquer.
4. O Princpio da Induo Finita um modo bsico para demonstrar afirmati-

vas sobre nmeros naturais.
Auto-Avaliao
29
Interpretao de texto matemtico
Considere o seguinte teorema:
Teorema
Todo nmero inteiro n diferente de 0, 1 e 1 ou primo ou um produto de

primos.
Demonstrao
Basta demonstrar o resultado quando n > 0. Seja S o conjunto de todos os
inteiros n > r que sejam primos ou que sejam produto de primos, claro, 2 e 5.
Suponhamos que o Teorema verdadeiro para todo inteiro k tal que
2 k < n.
Se n primo ento n S, trivialmente, logo no h o que provar. Se n no

primo ento existem inteiros p e q tais que n = p.q, com 2 q < n e 2 p <
n. Logo p S e q S. Portanto, n S, conforme queramos demonstrar.
Agora, responda as questes abaixo:
1) Qual o formato da demonstrao (direta, reduo ao absurdo, induo)?
2) Porque a suposio n > 0 no invalida a demonstrao?
3) Em que se baseia a afirmativa de que n = p.q para p e q inteiros?
4) Porque afirmar-se que n S e como isto prova o teorema?
Livro_M05.indd 29 4/12/2007 16:20:23

Bibliografia
DOMINGUES, H. H. Fundamentos de Aritmtica. So Paulo: Atual, 1991.
EVES, H. Introduo Histria da Matemtica. Campinas, SP: Editora da

Unicamp.
MONTEIRO, L. H. J. Elementos de lgebra. 2 Ed. Rio de Janeiro: Livros

Tcnicos e Cientficos, 1978.
30
Livro_M05.indd 30 4/12/2007 16:20:23

Mdulo 6
Livro_M06_grafica.indd 17 4/12/2007 16:32:25

Meta
19
Apresentar o universo das relaes binrias como modo de conceituar a idia
de relao entre dois objetos matemticos.
Objetivos:
1. Definir o produto cartesiano de dois Conjuntos;
2. Compreender o produto cartesiano como Universo apropriado para defini-

o das relaes binrias.
1. Introduo
Uma tarefa constante no trabalho do matemtico a de estabelecer relaes
entre os objetos matemticos. A igualdade entre nmeros ou conjuntos, a
pertinncia entre elementos e conjuntos, a incluso de conjuntos, so exem-
plos de relaes entre objetos matemticos (elementos, nmeros, conjuntos)
at agora estabelecidas. Neste mdulo, pretendemos apresentar a prpria
relao como um objeto matemtico a ser estudado e, da, inferir proprieda-
des bsicas de seu estudo. Voc deve focar bem sua ateno nas definies
e notaes dadas, pois elas sero um ingrediente muito importante na sua
compreenso da matemtica.
2. O Produto Cartesiano de Dois Conjuntos

Se A e B so Conjuntos no vazios, iremos produzir um tipo de Universo
Matemtico muito importante: o produto cartesiano de A por B. Ele o con-
junto formado por todos os pares ordenados (x,y) tais que x A e y B,
sendo representado por A x B (l-se: A cartesiano B). Assim, simbolica-

mente:
AxB= {(x; y )/ x A e y B}.
Por exemplo: se A = {1, 2, 3} e B = {a,b} ,ento A x B o conjunto.
A x B = {(1; a ), (1; b ), (2; a ), (2; b ), (3; a ), (3; b )}
Podemos representar A x B em diagramas de setas como:

20
IMPORTANTE
O tipo de diagrama ao lado
chamado cartesiano. O
nome cartesiano derivado
de Cartesius, modo como o
matemtico francs Ren
Descartes era chamado.
Descartes foi responsvel
pela criao da Geometria
Analtica cuja idia bsica a
de identificar um ponto no plano
Outra maneira de representar A x B atravs de diagrama cartesiano:
como um par ordenado (x,y) de
nmeros reais, como indicado
abaixo:
Como, em geral, o par ordenado (x, y) diferente do par ordenado (y, x), o
conjunto A x B diferente do conjunto B x A. De fato, A x B igual a B x
Plano Cartesiano
A, se e
somente se, A = B. Neste caso, A x B = A x A denotado de A2.
Atividade 1
Sendo A = {x IN / 2 < x 5} e B = {1, 2}, encontre A explicitamente e em
seguida determine:
a) A x B
b) B x A

c) A2
d) B2
Para cada um destes conjuntos, d tambm o diagrama de setas e o dia-

grama cartesiano.
Diagrama de Setas da
Relao R
A x B={(a;),(a; ),(b;),(b; ),(c;),(c; ),(d;),(d; )}
3. As Relaes Binrias 21
O princpio multiplicativo mostra que, se A for um conjunto finito com m ele-

mentos e B for um conjunto finito com n elementos, ento A x B ter m x n
elementos. Por exemplo: se A = {a, b, c, d } e B = {, } ento:
Diagrama Cartesiano da
Relao R
Como notamos, A x B tem 4 x 2 = 8 pares ordenados.
Portanto, se o nmero de subconjuntos de A x B 28 = 256 subconjuntos

(incluindo-se a os subconjuntos triviais e A x B).
Cada um de tais subconjuntos chamado relao binria de A em B.
No caso, R={(a ; ), (a ; )} uma relao do conjunto A no conjunto B.

Podemos representar R
tanto em diagrama de setas como em diagrama cartesiano (veja ao lado).
Se R uma Relao de A em B ,ento o subconjunto de A, {x A/ (x;y)

R para algum y B} chamado Domnio de R sendo representado por D(R)
ou DR. No caso da relao acima, DR = {a}.
Como vemos D(R) contm apenas os primeiros elementos dos pares orde-
nados de R.
Analogamente, o subconjunto de B formado pelo segundo elemento dos

pares ordenados de R chamado Imagem de R, sendo denotado por Im(R)
ou IMR. No caso acima, Im(R) = { , } = B.
Simbolicamente, se R (A x B), ento
Im(R) = {y B / (x ; y) R para algum x A}

Observe o exemplo abaixo:
Considere R = {(x , y) N 2 / x + y = 5}. Assim um par ordenado (x ,y)

est na relao R ,se e somente se,
Dicas de Estudo
1) x N e y N
Veja: voc no diz na linguagem
comum que: Joo est na 2) x + y = 5
relao de namoro com Joana.
Voc diz: Joo namora Joana. Atribuindo valores naturais para x e obtendo se os valores correspondentes
Do mesmo modo se o par (x,y)
pertence a uma relao R, ento para y ,podemos calcular todos os pares ordenados de R.
22
se escreve xRy e l-se: x est
na relao R com y. A negao x y=5x
deste fato escrita 0 5
1 4
2 3
3 2
4 1
5 0
Organizamos uma tabela como a indicada abaixo (note que x + y = 5 y

= 5 x)
Portanto, R = {(0,5), (1,4), (2,3), (3,2), (4,1), (5,0)} sendo D(R) = Im (R)=
{0,1,2,3,4,5}
Dicas de Estudo Atividade 2

A palavra inversa em
matemtica tem vrios usos
Considere a seguinte relao:
que podem faz-lo confundir
conceitos. No caso da Relao { }
R = (x, y ) Z IN / x 2 + y = 4 .
Inversa, algumas vezes
chamada mais apropriadamente Determine:
Relao Recproca, o tipo de
inverso mencionado o mais a) Todos os pares ordenados de R.
simples de todos: trocar a ordem
dos elementos do par ordenado.
b) D(R)
c) Im(R)
4. Inversa de uma Relao

Se R uma relao de A em B (R(AB)) ,ento est definida uma relao
S de B em A pela condio:

xRy ySx
Isto , S contm todos os pares ordenados inversos dos pares ordenados de

R. Por exemplo:
R= {(a, b ), (c, d ), (e, f )} S = {(b, a ), (d , c ), ( f , e )}
A relao S assim definida denominada Relao Inversa de R sendo deno- IMPORTANTE

tada por R -1(l-se: Inversa de R).
O teorema 5 ao lado
claro que: conhecido como Teorema de
Euclides, mais importante 23
matemtico grego da
(R ) = R (A inversa da inversa de R a prpria R);
-1 -1
antiguidade. Sem Elementos
so considerados o texto
D(R-1) = Im (R) matemtico mais consultado
no mundo.
Im(R-1) = D(R)
Atividade 3
Obtenha R -1 no caso da atividade 2 acima. Indique seu Domnio e Imagem:
5. Composio de Relaes
Suponhamos que A, B e C sejam conjuntos no vazios e sejam dadas as
relaes R AB e S BC. Podemos definir uma relao T A C de
modo que:
xTy ,se e somente se, existe z B tal que xRz e zSy.
Por exemplo, sendo A = {1,2,3} e B = {a, b, c, d } e C = { , }, dadas R =

{(1, a ), (2, b )} AB e S = {(a, ), (a, )} ento:
T = S oR = {(1, ), (1, )}
Atividade 4
Sejam A = B = C = IN e considere {
R = (x, y ) IN 2
}
x + 2y = 4
e
{
S = (x, y ) IN 2
x 2 + y 2 = 25 }

Determine R e S explicitamente e em seguida obtenha:
a) R oS
b) S oR
Voc deve ter notado que, mesmo no caso de A=B=C, a composta S o R

pode ser diferente da composta R oS. Entendendo a obteno de compos-
tas como sendo uma operao (Composio de Relaes), diramos que tal
operao no comutativa. Entretanto, fcil mostrar que ela associativa,
isto :
24
IMPORTANTE
(R oS) oT = R o (S oT).
Quando A = B uma relao de
A em B simplesmente dita De fato, considere R, S e T relaes em A e seja (x,y) (R oS) oT. Isto ,
relao em A. Boa parte do
estudo de matemtica no ensino
existe z A tal que xTz e z(R oS) y. Desta ltima condio, existe t A tal
elementar trata do estudo das que zSt e tRy. Ora de xTz e zSt segue-se que x (S oT)t como tRy, vem que
relaes em IR, conjunto dos x(R o(S oT))y, ou seja, (x,y) (R oS) oT. De modo anlogo se mostra que:
nmeros reais. Para estas, a
representao grfica no plano R o(S oT). (R oS) oT.
cartesiano deve receber um
estudo especial.
Tambm considerando IA a diagonal de A2 , claro que, qualquer que seja a
relao R em A, vale :
R oIA = IA oR = R
Isto , IA uma espcie de elemento neutro da Composio de Relaes

em A.
O exemplo abaixo indica uma outra propriedade da Composio de aplica-

es. Considere R e S as relaes em Z expostas na atividade 4. Isto :
R = {(0,2 ), (4,0 )}
S = {(0,5), (5,0 ), (3,4 ), (4,3)}. Assim tem-se:
S oR = {(4,5)}
R oS = {(5,2 ), (3,0 )}
Por outro lado, determinando as inversas de todas as relaes, tem-se: R-1

= {(2,0 ), (0,4 )}
S-1 = {(5,0 ), (0,5), (4,3), (3,4 )}.
(S oR) -1 = {(5,4 )}

(R oS) -1 = {(2,5), (0,3)}
Voc pode notar que:
(S oR) -1 = R-1 o S-1 e (R oS) -1 = S-1 oR-1
Uma regrinha de fcil memorizao diz que a Inversa da Composta de duas

relaes igual Composta da Inversa na ordem inversa. Este fato geral e
fcil de demonstrar. (Tente!!)
{ }
Atividade 5: Sejam R = (x, y ) IN 2 3 x + 2 y = 9 e S = {(0,1), (3,5), (1,1)}
25
Determine R, explicitamente, e obtenha:
a) R oS
b) (R oS) -1
c) S oR
d) R-1
e) S-1 o R-1
f) S-1
Resumo
1. Relaes so conjuntos de pares ordenados;
2. Quando dizemos que R uma relao de A em B, isto significa que
R AB. Neste caso, o Domnio de R o conjunto dos primeiros elementos

de seus pares ordenados, enquanto a Imagem de R o conjunto dos segun-
dos elementos de seus pares ordenados;
3. Uma relao em A um subconjunto de A;
4. A notao xRy significa que (x,y) R;
5. Para cada relao R ,sempre est definida a Relao Inversa R-1 . Tem-
se
(x,y) R se, e somente se, (y,x) R-1 .

Auto-Avaliao
1. (UFPA) Dados os conjuntos A = {a, b, c} e B = {a, b}, qual dos conjun-
tos abaixo representa uma relao de A em B?
a) {(a, a ), (b, b ), (c, c )} b) {(a, a ), (b, b ), (b, c )} c) {(a, a ), (b, b ), (a, c )}
d) {(a, a ), (b, b ), (c, a )} e) {(c, b ), (b, c )}
2. (MACK-SP) Sejam A = {0,1,2,3}, B = {1,2,4,5} e a relao

26 R = {(x, y A B y = 2 x + 1)}. Qual o domnio e a imagem dessa rela-
o?
3. Dados A = {2,3,4,5} e B = {-1,0,2,3} e a relao de A em B

R = {(x, y A B y = x 1)}
a) Escreva os pares ordenados de R e R 1
b) Represente o domnio e a imagem de R e R 1
4. Dados os conjuntos A = {2,3} e B = {3,4} e C = {4,5}.Qual o con-

junto formado por (AB) - (BC)?
5. Se R a relao binria de A = {x 1 x 6} em B =
{y 1 y 4} definida por xRy x = 2y. Pede-se:
a) a representao cartesiana de AB;
b) a representao cartesiana de R
c) o domnio e a imagem de R
Bibliografia

Nobel, 1972.
HALMOS, P. R. Teoria Ingnua dos conjuntos. So Paulo: Polgono, 1977.

S.A, 1980.

Mdulo 7
Livro_M07.indd 17 13/12/2007 18:34:51

Livro_M07.indd 18 13/12/2007 18:34:51
Equivalncia e Ordem
Meta
19
Apresentar a relao de equivalncia como uma generalizao da igual-

dade. IMPORTANTE
Considere o conjunto das
retas no plano. Lembre:
Objetivos
1. Toda reta de paralela a si
mesma;
Definir Relao de Equivalncia em um conjunto;
2. Se uma reta r paralela a
Construir uma partio de um conjunto a partir de uma equivalncia uma reta s, ento s paralela
sobre ele; a r;
Definir uma Equivalncia em um conjunto a partir de uma Partio do 3. Se r paralela a s e s

paralela a t, ento r paralela
mesmo. a t.
Relaes como estas sero o

objeto de nosso estudo, neste
1. Introduo: mdulo. Elas so chamadas
Equivalncias.
Voc j estudou ingredientes fundamentais da linguagem matemtica.

Neste mdulo, tomar conhecimento de mais um, extremamente relevante:
a passagem ao quociente. Conseguir isto atravs de uma generalizao da
igualdade chamada Relao de Equivalncia.
O Universo onde voc ir trabalhar o produto cartesiano A de um conjunto

A por si mesmo, ou seja, das relaes em um Conjunto A. Se surgirem
dvidas, reveja o mdulo anterior e ou consulte seus tutores e professores.
2. Definio de Relao de Equivalncia

Seja A e considere R uma relao em A
Livro_M07.indd 19 13/12/2007 18:34:51

(R A). Diz-se que:
R reflexiva xRx, x A.
Isto , uma Relao Reflexiva sempre contm a diagonal de A. Por exemplo,

em Z, a relao definida por xRy x = y reflexiva visto que x = x
x Z.
R simtrica xRy yRx, x, y A.
Ou seja, numa Relao Simtrica R, se um par

20
IMPORTANTE (x, y)R, ento o par (y,x) R. A mesma relao acima simtrica pois se
x = y ento y = x , claramente.
Na geometria, a semelhana de
tringulos uma equivalncia no
conjunto de todos os tringulos. R transitiva (xRy e yRz xRz).
Assim, cada tringulo determina
uma infinidade de outros Portanto numa Relao Transitiva, um mesmo elemento de A que serve de
tringulos: aqueles que lhes so ordenada de um par e abscissa de outro par serve de link para a gerao
semelhantes. Esta a idia por do outro par:
trs do conceito de Classe de
Equivalncia. (x, y) R
(x, y) R
(y, z) R
No caso acima, a relao tambm transitiva,pois x = y e y = z implica
x = z quaisquer que sejam x, y, z Z.
Uma Relao em um conjunto A, simultaneamente reflexiva, simtrica e tran-

sitiva, chamada Relao de Equivalncia em A.
Vamos determinar, a ttulo de ilustrao, todas as equivalncias em A =

{a, b, c}.
Lembre: a reflexividade obriga a relao conter a diagonal de A, portanto
deve conter os pares (a,a), (b,b) e (c,c). Se s contiver tais pares, a relao
ser tambm simtrica e transitiva, portanto:
R = {(a, a ), (b, b ), (c, c)}
a menor equivalncia em A (isto , qualquer outra equivalncia em A contm

R). Se acrescentarmos, por exemplo, um par (a,b) em R, a simetria obriga-
nos a acrescentar (b,a). Assim,
R1= {(a, a ), (b, b), (c, c), (a, b), (b, a )}
Alm de reflexiva ela tambm simtrica e, como fcil ver, transitiva.
Da mesma maneira:
Livro_M07.indd 20 13/12/2007 18:34:51

R2= {(a, a ), (b, b), (c, c), (a, c), (c, a )}
e R3= {(a, a ), (b, b), (c, c), (b, c), (c, b)}
Tambm so equivalncias em A. Veja o que acontece se voc acrescentar

um outro par ordenado de A a, por exemplo, se voc acrescentar (a, c) a R1
e quiser que a relao a ser obtida seja Equivalncia em A, ento, por sime-
tria, deve acrescentar (c, a ) . Agora como (b, a ) est na relao e (a, c) IMPORTANTE
tambm, por transitividade, acrescentar (b, c) e, portanto (c, b) . Logo, a
Se A um conjunto no-vazio
relao obtida : qualquer, ento a diagonal de
A a relao {(x,y)A x 21
R 4 = {(a, a ), (b, b), (c, c), (a, b), (b, a ), (b, c ), (c, b ), (a, c ), (c, a )}= A 2 = y}.Como voc v, ela a
igualdade entre os elementos
O mesmo ocorreria se acrescentssemos um par de elementos de A a qual- de A, constituindo-se na menor
relao de equivalncia em A.
quer das relaes R2 e R3: para ser uma Equivalncia em A, a relao seria
Por que o nome diagonal?
o prprio A.
Atividades
Atividade 1
Considere A = {a, b, c, d }. Construa a menor relao de equivalncia em A
possvel contendo os pares (b, c) e (d , a ) .
Atividade 2
Construir sobre o conjunto A = {1,2,3,4}, com 4 elementos, oito relaes R1,
R2, ..., R8 que satisfazem as condies da tabela abaixo:
Reflexiva Simtrica Transitiva

R1 Sim Sim Sim
R2 Sim Sim No
R3 Sim No Sim
R4 No Sim Sim
R5 No No Sim
R6 No Sim No
R7 Sim No No
R8 No No No
Livro_M07.indd 21 13/12/2007 18:34:51

3. Conjunto Quociente
Sendo R uma Relao de Equivalncia em um conjunto A, para cada x A
fica definida o conjunto:
x = {y A yRx}
Tal conjunto chamado Classe de Equivalncia definida por x em A, mdulo

R. Note que x , pois x x e que x A . Por exemplo, no caso das
Relaes R, R1, R2, R3 e R4 acima se tm as seguintes classes de equivaln-
22 cia:
Dicas de Estudo Relaes Classes de Equivalncia
R a = {a}, b = {b}, c = {c}

R1 a = b = {a, b}, c = {c}
No esquea que uma relao

R2 a = c = {a, c}, b = {b}
tambm um conjunto (de
pares ordenados). O efeito de
R3 b = c = {b, c}, a = {a}
se definir uma equivalncia
em um conjunto o de R4 a = b = c = {a, b, c}
fazer classificaes de seus
elementos. O conjunto de todas as classes de Equivalncia associadas a uma Equivalncia
Exemplo: pense na relao R em um conjunto A chamado Quociente de A por R sendo representado
definida entre os habitantes por A . No caso acima, tem que:
R
de sua cidade pela sentena:
os habitantes x e y esto A ={a ,b ,c }
relacionados se,e somente se, R
nasceram no mesmo dia da A ={a ,c}
semana. Todos os habitantes da R1
cidade que nasceram na tera-
A = {a ,b }
feira esto em uma mesma R2
classe de equivalncia.
A ={a ,b }
R3
A = {a}
R4
Voc deve notar que A um subconjunto do conjunto das partes P(A)
R
obedecendo s seguintes condies:
i. Se x e y so elementos de A , ento ou x = y ou x y = .
R
ii. A unio de todos os elementos de A o prprio A.
R
Assim, podemos enunciar o seguinte.
Livro_M07.indd 22 13/12/2007 18:34:51

supondo-se que 4 seja verdadeira e notando-se que a a , teremos a b ,
portanto aRb .
Observe que decorre do teorema acima que ,se a e b so classes tais que
a b ,ento a = b , ou seja, classes de equivalncias distintas so Desafio
disjuntas. Tambm, como cada elemento de A determina uma classe, a unio
de todas as classes A. Tem-se, pois que A uma partio de A.
R
Seja m um inteiro positivo. A
relao R definida em Z por:
4. Teorema Fundamental xRy x-y = km para algum

k Z
23
Seja R uma relao de equivalncia sobre um conjunto no vazio A sejam a uma equivalncia em Z. Prove
isto e determine as classes de
e b dois elementos quaisquer de A. As seguintes condies so equivalentes
equivalncia para alguns valores
entre si: de m.
1) aRb ; (Tal relao chamada

congruncia mdulo m)
2) a b;
3) ba;
4) a =b;
Demonstrao: imediato que: 1) implica 2) pela definio de classe de equi-

valncia. De 2) resulta que bRa e, portanto, b a ; fica assim demonstrado
que 2) implica 3). De 3) resulta que bRa logo, de acordo com as proprieda-
des simtricas e transitivas, temos que xRa se, e somente se, xRb; portanto
a = b . Finalmente, supondo-se que 4 seja verdadeira e notando-se que
a a , teremos a b , portanto aRb .
Observe que decorre do teorema acima que ,se a e b so classes tais que
a b ,ento a = b , ou seja, classes de equivalncias distintas so
disjuntas. Tambm, como cada elemento de A determina uma classe, a unio
de todas as classes A. Tem-se, pois que A uma partio de A.
R
Atividade 3
Calcule A nos seguintes casos:
R
a) A = { 2,1,0,1,2,3};
{
R = (x, y ) A 2 x = y }
Livro_M07.indd 23 13/12/2007 18:34:52

b) A = {a, b, c, d };
R = {(a, a ), (b, b ), (c, c ), (d , d ), (a, d ), (d , a )}
voc pode construir uma equivalncia em um conjunto A a partir de uma

Partio de A. Se P P(A) uma partio de A, defina uma relao R em
A por:
x R y XP x X e y X
24 claro que assim definida:
i. R reflexiva, pois x A existe algum conjunto X de P tal que x X;
ii. Se x, y X para algum X de P, ento y e x pertencem ao mesmo X, isto

,
xRyyRx
iii. Se x, y X para algum X de P e y, z Y para algum Y de P, como y

X e y Y segue que X = Y. Ou seja,
x R y e y R x x R z, x, y,z A
Por exemplo, dada P = {{a, b}{

, c, d }} partio de A = {a, b, c, d }, a rela-
o R construda pelo processo acima :
R= {(a, a ), (a, b), (b, a ), (c, c), (d , d ), (c, d ), (d , c )}
Note que a = b = {a, b} e que d = c = {c, d }, portanto A = P.

R
5. Relaes de Ordem
Se R uma relao em um conjunto A, diz-se que R anti-simtrica se:
xRy e yRx x = y
Isto quer dizer que os nicos pares de uma relao anti-simtrica em que a
troca da ordem de seus elementos permitida na relao so aqueles em
que tais elementos so iguais. Por exemplo, considere a relao em IN defi-
nida por x y. claro que:
xyeyxx=y
Livro_M07.indd 24 13/12/2007 18:34:52

Diz-se que uma relao R em um conjunto A uma relao de ordem em
A, se ela for ao mesmo tempo reflexiva, anti-simtrica e transitiva. A relao
acima definida no conjunto dos nmeros naturais uma relao de ordem,
pois:
1) x x, x IN (reflexividade) ATENO!!
2) x y e y x x = y (anti-simetria) A relao de igualdade em
um conjunto tanto uma
equivalncia como uma ordem.
3) x y e y z x z (transitividade)
25
Atividade 4
Dados x, y IN diz-se que x mltiplo de y se existir um nmero natural k
tal que x = ky. Neste caso, tambm se diz que y divisor de x. (Escreve-se
yx). Mostre que a relao ser divisor de uma relao de ordem em IN,
cuja inversa a relao ser mltiplo de.
Resumo
1. O principal objetivo de se definir uma relao de equivalncia em um
conjunto o de classificar seus elementos. Uma boa classificao do con-
junto deve ser uma Partio do mesmo.
2. Uma equivalncia uma relao simultaneamente reflexiva, simtrica e

transitiva. Isto significa atribuir valores iguais para elementos que esto em
uma mesma classe.
3. Cada elemento do conjunto pertence a alguma classe e no h ele-

mentos fora de todas as classes. O conjunto de todas as classes chamado
conjunto Quociente.
4. Dada uma partio do conjunto ,pode-se definir a partir dela uma equi-
valncia no conjunto cujo quociente a prpria partio;
5. Uma ordem em um conjunto uma relao reflexiva, anti-simtrica e

transitiva.
Livro_M07.indd 25 13/12/2007 18:34:52

Auto-Avaliao
A avaliao abaixo tem carter bem prtico. Ela objetiva que voc efetiva-
mente construa os conceitos solicitados como os exemplos do texto. No
esquea que relaes, parties, quocientes e ordem so conjuntos.
1. Considere A = {-2,-1, 0,1,2,3}. Quantas relaes voc pode definir em

A?
26
2. Seja R a relao definida em A pela condio: xRy x = y . Determine
R como conjunto e diga se R uma equivalncia em A. Se sua resposta for
afirmativa, determine tambm o quociente A .
R
3. Encontre a relao de equivalncia associada seguinte partio de

A:
P = {{-2,-1, 0},{1,2,3}}
4. D um exemplo de uma ordem no conjunto A acima:
Bibliografia
CASTRUCI, Benedito. Elementos da Teoria dos Conjuntos. So Paulo: Nobel,

1972.
HALMOS, P. R. Teoria Ingnua dos conjuntos. So Paulo: Polgono, 1977.

S.A, 1980.
Livro_M07.indd 26 13/12/2007 18:34:52

Mdulo 8
Livro_M08.indd 17 18/12/2007 12:59:03

Livro_M08.indd 18 18/12/2007 12:59:03
Aplicaes
19
Meta:
Apresentar o conceito de funo entre dois conjuntos como uma relao
especial e obter propriedades.
Objetivos:
Definir aplicao entre dois conjuntos;
Determinar condies para que a inversa de uma aplicao seja tam-

bm uma aplicao;
Descrever a composio de aplicaes.
1. Introduo:
Iremos ,neste mdulo, estudar uma importante classe de relaes: as aplica-
es de um conjunto A em um conjunto B. Voc deve direcionar toda a sua
ateno para os conceitos e propriedades aqui descritas, pois eles faro parte
de quase todos os momentos de sua formao. Lembre-se: o Universo em
que vamos trabalhar um dado produto cartesiano A B , pois cada aplica-
o uma relao.
2. Definio de aplicao
Uma aplicao de um conjunto A em um conjunto B uma relao f A B
tal que:
Livro_M08.indd 19 18/12/2007 12:59:03

(1) D( f ) = A
(2) Se (x,y) f e (x,y) f ento y = y
A condio (1) acima afirma que cada elemento de A ser usado como abs-
cissa dos pares da aplicao. A condio (2) implica no haver em f dois
pares ordenados com a mesma abscissa. Portanto, sendo A um conjunto
finito, podemos afirmar que o nmero de pares de f o mesmo nmero de
elementos de A.
20
Considere A = { a, b, c } , B = { 1, 2, 3, 4 } e C = { x, y, z } . Considere as rela-
es abaixo representadas por diagramas de setas. Veja as consideraes
ao lado.
f no uma aplicao de A em B, pois

(c,3) f e (c,4) f . Entretanto, a rela-
o inversa f 1 uma aplicao de B
em A.
g uma aplicao de A em B, mas

g1 no uma aplicao de B em A (o
domnio de g1 no corresponde ao
conjunto de partida B)
h uma aplicao de A em C e h1
tambm uma aplicao de C em A
Em resumo, f A B uma aplicao de A em B se, e somente se,
x A ,! y B / (x, y) f
No caso, escreve-se f : A B para se dizer que f uma aplicao de A em

B e quando (x, y) f escreve-se:
y = f (x) (l-se: y igual a f de x ou y imagem de x por f ).
Veja: uma aplicao uma relao, portanto todas as noes que so tra-
Livro_M08.indd 20 18/12/2007 12:59:03

tadas para o conceito de relao tambm podem ser consideradas para o
conceito de aplicao, mas tenha cuidado, pois nem sempre a inversa de
uma relao que aplicao tambm aplicao.
Atividade 1
Sejam A = { a, b, c } e B = { 1, 2, 3, 4 }. Analise as afirmativas abaixo quanto
ao seu valor lgico.
21
0 0 Existem apenas 12 relaes de A em B;
1 1 {(a, 1), (b, 1), (c, 1)} uma aplicao de A em B;
2 2 {(1, a), (2, b), (3, c), (4, c)} uma aplicao de B em A;
3 3 Toda aplicao de A em B tem precisamente 3 elementos;
4 4 impossvel construir uma aplicao de A em B cuja inversa seja uma
aplicao de B em A.
Via de regra voc vai trabalhar com aplicaes entre conjuntos infinitos. Por
exemplo:
f ={(x, y)} IR2 | y = 2 x + 1
Em casos como este, usual representar as aplicaes indicando:
f : IR IR
xy=2x+1
ou
f : IR IR
x f (x) = 2 x + 1
Quando usamos tal notao, j devemos ter assegurado para a relao f o

status de funo. Observe os exemplos abaixo e leia os comentrios ao
lado:
f no aplicao de IR em IR , pois
f (0) no est definido.
Para x IN , x 3 pode no pertencer

a IN , logo a notao no se aplica.
Veja que e g = {(x, y) IN 2 | y = x 3} so rela-
es, mas no so funes. No caso D(f ) = R*, enquanto D(g ) = { 3, 4, 5,...}
Livro_M08.indd 21 18/12/2007 12:59:03

que no correspondem aos conjuntos de partida de f e de g ,respectiva-
mente. A atividade a seguir o ajudar a fixar a idia acima.
Atividade 2
Encontre um conjunto A IR o mais amplo possvel para que f : A IR seja
uma funo, em cada caso abaixo:
22
a) A = IR
b) A = IR*
c) A=
d) A=
a) A=
b) A=
c) A=
3. Aplicaes inversveis
Como voc estudou se f A B uma aplicao de A em B, ento o dom-
nio D(f ) A (ou seja, no sobra elemento em A). Portanto, se quisermos
que f 1 B A seja aplicao, D(f 1) = Im(f ) deve ser igual a B (no sobra
elemento em B). Este tipo de aplicao chamada sobrejetora ou sobreje-
tiva. Portanto:
f : A B sobrejetora Im (f ) = B
Por exemplo, considere A = {1, 0, 1, 2}, seja f (x) = x 2 e determinemos B

de modo que f : A B seja sobrejetora. Tem-se que:
f (1) = (1) 2 = 1
f (0) = (0) 2 = 0
f (1) = (1) 2 = 1
f (2) = (2) 2 = 4
Assim, tomando B = {0, 1, 4} tem-se garantido que f : A B tal que f (x) = x 2

sobrejetora.
Livro_M08.indd 22 18/12/2007 12:59:03

Atividade 3: Diga por que razo as aplicaes abaixo no so sobrejetoras:
a) f : IR IR tal que f (x) = x 2

Resposta: As imagens por f no podero ser negativas (Im (f ) = R*)
b) f : { 1, 2, 3 } { 0, 1, 2, 3 } tal que f (x) = x 1

Resposta:
c) f : IR {1} IR tal que 23
Resposta:
Como voc observou, no basta que f : A B seja sobrejetora para que

f 1 B A seja funo. preciso tambm que no ocorra o esquema
(y, x) f 1 e (y, x) f 1 com x x
Ou seja, que em f no existam dois pares ordenados com a mesma orde-

nada. Tal tipo de aplicao chamada aplicao injetora ou injetiva.
Simbolicamente, dizer que uma aplicao f de um conjunto A em um conjunto

B injetiva significa que se f (x) = f (y), ento x = y, quaisquer que sejam os
elementos x e y do domnio A de f.
Vamos usar esta definio para provar que a funo f de IR em IR, definida
por f (x) = 2x + 1, injetiva. Para isso, suponhamos que x1 e x2 so nmeros
reais tais que f (x1) = f (x2) . Da, pela definio de f , temos 2 x1+1 = 2 x2+1,
portanto 2x1 = 2x2 seguindo-se que x1 = x2 , como queramos demonstrar.
Atividade 4: Mostre que a funo definida no conjunto dos nmeros reais por
f (x) = 3x 4 injetiva.
4. Aplicaes compostas
Da mesma forma que nas relaes, se f : A B e g : B C so aplica-
es ,ento fica definida a aplicao composta g f : A C definida por
(g f )(x) = g (f ( x)) , x A.
Por exemplo, se f : IR IR dada por f (x) = x 2 1, e g :IR IR , por,

g (x) = 2x+ 1, ento:
Livro_M08.indd 23 18/12/2007 12:59:04

(g f )(x) = g (f ( x)) = g (x2 1) = 2(x2 1) + 1 = 2 x2 1
Note que, neste caso, tambm est definida (f g )(x) = f (g ( x)) = f (2x + 1) = (
2x + 1)2 1 = 4x 2 + 4x
Isto (g f )(x) (f g )(x) o que quer dizer que a composio de aplicaes

no comutativa. Entretanto, se f : A B, g: B C e h: C D so aplica-
es, ento x A
[ h ( g f )] = h ( g f )(x) = h( g ( f ( x ))) enquanto que:

24 [ ( h g ) f ] ( x ) = ( h g )(f ( x ) ) = h ( g ( f ( x ))) ,ou seja, h ( g f ) = ( h g ) f .
Desta forma, a composio de aplicaes associativa. Tambm, definindo-

se IA: A A por IA(x) = x , chamada aplicao identidade em A, ento dada
f : A B uma aplicao qualquer, ento, x A
(f IA)(x) = f (IA(x)) = f (x),
isto , f IA = f .
Do mesmo modo, dada a identidade em B, IB:BB tal que IB(x) = x, x B ,

ento (IB f )(x) = IB(f (x)) = f (x), ou seja IB f = f .
A atividade abaixo um resultado muito importante da Teoria das

Aplicaes:
Atividade 4: Sejam f :A B , g :B C aplicaes. Mostre que:
a) f e g injetoras g f injetora
b) f e g sobrejetoras g f bijetora.
Para f :A B bijetora, a inversa f 1 :B A tambm bijetora sendo f f 1 = IB

e f 1 f = IA, respectivamente.
5. As funes reais de variavel real

Se f :A B uma aplicao onde B IR, ento se diz que f uma funo
real.
Para as funes reais esto definidas uma soma e uma multiplicao de fun-
es. Isto , se f :A IR e g: A IR so funes, ento esto definidas
f + g: A IR e
Livro_M08.indd 24 18/12/2007 12:59:04

f g: A IR por:
(f + g)(x) = f (x) + g(x) e
(f g)(x) = f (x) g(x).
Tais operaes no conjunto das funes de A em IR herdam as mesmas

propriedades que a adio e a multiplicao de nmeros reais. No caso em
que tambm A IR este tipo de funo chamada Funo real de Varivel
Real. Para ele, a noo de Grfico Cartesiano assume grande importncia,
uma vez que sendo uma relao em IR admite uma representao natural 25
como subconjunto de IR2.
Resumo
1) Uma relao f A B uma aplicao (funo) de A em B se:
x A , ! y B | (x, y) f
2) No caso se f : A B uma aplicao, o nico yB associado a algum

x A e representado por f (x) , chamado imagem de x por f .
3) Se f : A B uma aplicao bijetora ,ento est definida uma nica

aplicao g: B A tal que:
(f g )(x) = x , x B e
(g f )(x) = x , x A
A aplicao g chamada de Inversa de f sendo denotada por f 1 .
Auto-avaliao: IR
1) Considere A = {1, 2, 3, 4}, B = {0, 1, 2, 3} e f : A B definida por
f (x) = x 1. Represente f pelo diagrama de setas e decida se f injetora
ou f sobrejetora.
2) Sendo f : A B uma aplicao entre conjuntos finitos de m e n elemen-

tos, respectivamente, diga o que voc pode afirmar sobre m e n no caso
de:
a) f ser injetora
b) f ser sobrejetora
Livro_M08.indd 25 18/12/2007 12:59:04

c) f ser bijetora
3) Trace o grfico cartesiano das seguintes aplicaes:
f : Z Z tal que f (x) = x + 1
g : Q Q tal que g (x) =
h : IR IR tal que h (x) =
4) Sendo A I R e B IR definidos por f(x) = x 2 + 4x + 3, encontre A e B

26 os mais amplos possveis para que f : A B seja bijetora.
5) Sendo f: IR IR e g: IR IR definidas por f (x) = e g (x) =

, encontre f g e g f .
Bibliografia
S.A, 1980.
MONTEIRO. JACY L.H. Iniciao s Estruturas Algbricas. So Paulo:

GEEM, 1973.
Livro_M08.indd 26 18/12/2007 12:59:04

Mdulo 9
Livro_M09.indd 19 26/12/2007 09:13:28

Livro_M09.indd 20 26/12/2007 09:13:28
Confrontando seus Saberes
21
Meta
Apresentar exerccios propostos para revisitar os contedos trabalha-
dos.
Objetivo
Verificar a apreenso dos conceitos vivenciados nos mdulos anterio-
res.
1. Introduo
Atualmente vrias pesquisas esto sendo feitas em educao matemtica
no que diz respeito resoluo de problemas. Alguns desses pesquisadores
enfatizam a construo do conhecimento matemtico por meio dessas situ-
aes. Srates (1998) indica que a resoluo de problemas deve estar no
centro do ensino-aprendizagem da matemtica, em todos os graus de ensino,
tal como acontece ao longo do desenvolvimento da prpria matemtica.
Neste mdulo, oportunizaremos a voc experimentar, conjecturar, mate-

matizar, provar, generalizar, discutir e comunicar atravs da resoluo dos
problemas aqui propostos.
Afinal, na sociedade atual nos deparamos com situaes, por vezes com-
plexas, que exigem uma grande capacidade de adaptao, para analis-las,
interpret-las e resolv-las com habilidade. Divirtam-se!
Livro_M09.indd 21 26/12/2007 09:13:28

2. Exerccios Propostos
Use o espao abaixo Atividade 1

para suas observaes Sejam as proposies:
e dvidas!
p: O empregado foi demitido.
22 q: O patro indenizou o empregado.
Forme sentenas, na linguagem natural, que correspondam s proposies

seguintes:
a) ~p
b) ~q
c) pq
d) pq
e) (~p)q
f) p(~q)
g) ~(~p)
Atividade 2
Considere as proposies:
p: O professor Diego paraibano. e
q: O professor Diego brasileiro
a) verdade que p q
b) verdade que q p
Livro_M09.indd 22 26/12/2007 09:13:28

Atividade 3
Determine o valor lgico (V ou F) de cada uma das sentenas:
a) 3> 8 e2+2=4
Use o espao abaixo
b) 32 = 6 ou um nmero racional para suas observaes
c) Se 2 = 1 , ento 2 3 + 1 = 7 e dvidas!
d) 2 > 3 se, e somente se, ( 12)2 = 144 23
Atividade 4
Quantos elementos tm o conjunto do qual se pode obter 32.768 subconjun-
tos?
Atividade 5
Considere o conjunto A = {0,1, 2, 3, 4, 5, 6, 7, 8, 9} e determine:
a) o nmero de subconjuntos de A;
b) o nmero de subconjuntos de A que possui 2 elementos;
c) o nmero de subconjuntos de A que possui 7 elementos;
d) o nmero de subconjuntos de A que possui 9 elementos.
Atividade 6
Construa um diagrama representativo de trs conjuntos M, N e P contidos no
conjunto-universo S, tais que M N, N M, P M e P N.
Atividade 7
Coloque Verdadeiro ou Falso em cada sentena seguinte:
a) {2, 3, 4} {1, 2, 3, 4, 5, 6} c) {4, 5, 6, 7, 9}
Livro_M09.indd 23 26/12/2007 09:13:28

b) 6 {4, 5, 6, 7} d) {4,5} {1, 2, 3, 4, 5}
Atividade 8
Use o espao abaixo
para suas observaes Considere as seguintes sentenas:
e dvidas! 1. Nenhum estudante preguioso.
2. Mateus roqueiro.
24
3. Todos os roqueiros so preguiosos.
Supondo que as trs sentenas sejam verdadeiras, verifique qual das senten-
as a seguir certamente verdadeira:
a) Todos os preguiosos so roqueiros.
b) Algum estudante roqueiro.
c) Alguns roqueiros so estudantes.
d) Mateus estudante.
Atividade 9
Dados trs conjuntos: D, E e F. Determine o nmero de elementos de
A(BC), sabendo-se que:
a) A B tem 26 elementos;
b) A C tem 10 elementos;
c) A B C tem 7 elementos.
Atividade 10
Escreva a negao de cada uma das seguintes proposies:
a) Todo nordestino trabalhador.
b) Existe galinha com pescoo pelado.
c) Todos os meus colegas so inteligentes.
Livro_M09.indd 24 26/12/2007 09:13:28

d) Alguma msica erudita.
e) Nenhum peixe vive fora dgua.
Use o espao abaixo

Atividade 11 para suas observaes
Considere as proposies seguintes: e dvidas!
p: Os agricultores se mobilizam.
25
q: Os polticos nada fizeram.
r: A reforma agrria continua sem soluo.
s: Os sem-terra apelam para o presidente da repblica.
E simbolize as seguintes afirmaes:
a) Os agricultores mobilizam e ou os polticos nada fizeram ou a reforma agr-

ria continua sem soluo.
b) Se agricultores no mobilizam, ento a reforma agrria continua sem solu-

o.
c) Ou os agricultores mobilizam ou os polticos nada fizeram.
d) Se os polticos nada fizeram, ento, se a reforma agrria continua sem

soluo, ento, a sem-terra apelam para o presidente da repblica.
Atividade 12
Considerando os conjuntos A = { 2,1, 0,1} e B = {0,1,2,3}:
a) Determine os pares ordenados das seguintes relaes:
{
R1 = (x, y ) A B y = x 2 1 }
R2 = {(x, y ) A 2
y = x2 }
b) Calcule o domnio e o conjunto imagem de R1 e R2.
Livro_M09.indd 25 26/12/2007 09:13:28

Atividade 13
Considerando a relao R de
A = {2, 3, 5} em B = {4, 5, 6, 8} definida por

Use o espao abaixo
para suas observaes R = {(x, y ) A B x divisor de y}.
e dvidas! a) Determine a relao R;
26
b) Represente-a por diagrama de flechas;
c) Represente-a no plano cartesiano.
Atividade 14
Sejam A = {x, y, z}, B = {1, 2, 3}, onde x y z, e as funes:
f = {(x,1), (y,2 ), (z ,3)}
g = {(x,1), (y,1)(z ,2 )}
Classifique f e g em sobrejetora, injetora ou bijetora.
Atividade 15
Sejam A = {0, 1, 2}, B = {2, 5, 8} e f : A B , definida por f ( x) = 3 x + 2
. Encontre:
a) os pares ordenados de f ;
b) a funo inversa de f ;
c) os pares ordenados da funo inversa de f .
3. Exerccios de Concursos Anteriores

1. (SERPRO 96) Uma sentena logicamente equivalente: Pedro econo-
mista, ento Lusa solteira e:
a) Pedro economista ou Lusa solteira;
Livro_M09.indd 26 26/12/2007 09:13:28

b) Pedro economista ou Lusa no solteira;
c) Se Lusa solteira, Pedro economista;
d) Se Pedro no economista, ento Lusa no solteira;

Use o espao abaixo
e) Se Lusa no solteira, ento Pedro no economista.
para suas observaes
2. (SERPRO96) Das premissas: e dvidas!
A: Nenhum heri covarde.
27
B: Alguns soldados so covardes.
Pode-se corretamente concluir que:
a) Alguns heris so soldados;
b) Alguns soldados so heris;
c) Nenhum heri soldado;
d) Alguns soldados no so heris;
e) Nenhum soldado heri.
3. (SERPRO97) Dados os conjuntos X, Y e Z, no vazios, com X Y e X

Z, sempre verdadeiro que:
a) X (YZ)
b) Y Z
c) Y Z
d) Y = Z
e) X (YZ)
4. (TTN97) Quatro amigos, Andr, Beto, Caio e Dnis, obtiveram os

quatro primeiros lugares em um concurso de oratria julgado por uma
comisso de trs juizes. Ao comunicarem a classificao final, cada juiz
anunciou duas colocaes, sendo uma verdadeira e a outra falsa:
Juiz 1: Andr foi o primeiro; Beto foi o segundo;
Juiz 2: Andr foi o segundo; Dnis foi o terceiro;
Juiz 3: Caio foi o segundo; Dnis foi o quarto;
Livro_M09.indd 27 26/12/2007 09:13:28

Sabendo que no houve empates, o primeiro, o segundo, o terceiro e o quarto
colocados foram, respectivamente:
a) Andr, Beto, Caio e Dnis
Use o espao abaixo b) Beto, Andr, Dnis e Caio

para suas observaes c) Andr, Caio, Dnis e Beto
e dvidas!
d) Beto, Andr, Caio e Dnis
28 e) Caio, Beto, Dnis e Andr
5. (NUNESP) A negao de para todo real x existe um real y tal que y

< x :
a) Existe um real x tal que x y para todo real x.
b) No existe um real x tal que x y para todo real y.
c) Existe um real x tal que y x para todo real y.
d) No existe um real x tal que y x para todo real y.
e) Para todos reais x, y, com x < y, existe um real z com x<z<y.
6. (UM-SP) Duas grandezas x e y so tais que
se x = 3, ento y = 7. Podemos concluir que:
a) se x 3, ento y 7.
b) se y = 7, ento x = 3.
c) se y 7, ento x 3.
d) se x = 5, ento y =5.
e) nenhuma das concluses anteriores.
7. (UEL-PR) Sejam os conjuntos A = {0,1, 2, 3, 4} e B = {2 , 8, 9} e a

relao R, de A em B, definida por R = {(x, y ) A B x divisor de y}
. Nestas condies, R o conjunto:
a) {(0,2), (0,8), (0,9), (1,2), (1,8), (1,9),(2,2),(2,8), (3,9), (4,8)}
b) {(1,2), (1,8), (1,9), (2,2),(2,8), (3,9), (4,8)}
c) {(2,1), (2,2),(8,1), (8,2), (8,4), (9,1), (9,3)}
Livro_M09.indd 28 26/12/2007 09:13:28

d) {(0,2), (0,8), (0,9), (2,2)}
e) {(2,0),(2,2), (2,4)}
8. (UFAL) So dados os conjuntos A = { 1, 0,1, 2} e B = {1, 2, 3, 4, 5}.

Quantos so os elementos de R = {(x, y ) A B x + y = 6}? Use o espao abaixo
a) 0 b) 1 c) 2 d) 3 e) 4
para suas observaes
e dvidas!
9. (Cescem-SP) Dizemos que uma relao entre dois conjuntos A e B
uma funo ou aplicao de A em B quando todo elemento de:
29
a) B imagem de algum elemento de A;
b) B imagem de um nico elemento de A;
c) A possui somente uma imagem em B;
d) A possui, no mnimo, uma imagem em B;
e) A possui somente uma imagem em B e vice-versa;
10. (Mack-SP) Dados os conjuntos A = {2, 3, 4} e B = {1, 2, 3, 4, 5}

, e a relao R de A em B definida por R = {(x, y ) A B y = 2 x 3},
R representada por
a) R = {(2,1), (3,3), (4,5)}
b) R = {(1,3), (2,5)}
c) R = {(1,2), (3,3),(5,4)}
d) R = {(1,3), (2,4),(3,5)}
11. (UGF-RJ) Dado o esquema de flechas abaixo, para representar uma

relao f de A em B, podemos afirmar:
a) f no uma funo de A em B;
b) f uma funo bijetora;
c) f uma funo sobrejetora;
d) f uma funo injetora;
e) f no uma funo sobrejetora nem injetora.
12. (UFPA) Dada a funo f de A = {0,1, 2} em B = { 2,1, 0,1, 2}
Livro_M09.indd 29 26/12/2007 09:13:28

definida por f ( x) = x 1 , qual o conjunto imagem de f ?
a) {-1,0,1}
b) {-2,-1,0,1,2}
Use o espao abaixo
c) {0,1,2}
para suas observaes
e dvidas! d) {-2,-1,0}
e) {0,-1,2}
30
13. (UFPA) Sejam os conjuntos A = {1, 2} e B = {0,1, 2}. Qual das afir-
mativas abaixo verdadeira?
a) f : x 2 x uma funo de A em B;
b) f : x x + 1 uma funo de A em B;
c) f : x x 2 3 x + 2 uma funo de A em B;
d) f : x x 2 x uma funo de B em A;
e) f : x x 1 uma funo de B em A;
14. (FGV-SP) Considere as funes:
f (x ) = 2 x + 1 e g ( x) = x 2 + 1
Ento as razes da equao f o g = 0 so:
a) inteiras
b) negativas
c) racionais no inteiras
d) inversas, uma da outra
e) opostas
15. (PUCCAMP-SP) Sejam f e g funes de em , definidas por

f (x ) = 2 x + 1 e g ( x) = x 2 + 3 . correto afirmar que f o g , composta
de g com f , :
a) bijetora
b) mpar
Livro_M09.indd 30 26/12/2007 09:13:28

c) par
d) decrescente, para todo x
e) injetora e no sobrejetora.
Use o espao abaixo
16. (UFES) Sejam f , g : , funes tais que g ( x) = 3 x + 6 e
( f o g )(x ) = x 2 1 para cada x. Ento o valor de f em zero : para suas observaes
e dvidas!
a) 1
b) 0 31
c) 3
d) 2
e) 1
Bibliografia
SRATES, J. Raciocnio Lgico: lgico matemtico, lgico quantitativo,
lgico numrico, lgico analtico, lgico crtico. Braslia: Editora Jonofon,
1998. (volumes 1 e 2).
DANTE, L. R. Matemtica: contexto e aplicaes. So Paulo: tica, 2000.
Livro_M09.indd 31 26/12/2007 09:13:28

Livro_M09.indd 32 26/12/2007 09:13:28
Mdulo 10
Livro_M10.indd 19 10/1/2008 18:28:39

Livro_M10.indd 20 10/1/2008 18:28:39
Operaes Binrias
21
Meta
A partir do conceito de aplicao, introduzir a noo de operao binria
estudando suas propriedades.
Objetivos
Definir operao binria;
Compreender esta noo como um caso especial da noo de

aplicao;
Descrever as propriedades das operaes.
1. Introduo Dicas de Estudo

Ao longo dos mdulos anteriores, voc j fez uso de algumas operaes de
modo intuitivo. Voc deve perceber tal noo como um modo de produo de
objetos matemticos em um certo Universo. Por exemplo, a unio de conjun-
tos em um conjunto P(X) ela prpria um elemento de P(X), o mximo divisor
comum de dois nmeros naturais um nmero natural, a diferena de dois Reveja o mdulo anterior sobre
aplicaes. Lembre-se de que
nmeros inteiros um nmero inteiro, etc. importante voc estar de posse
dos significados dos smbolos
Neste mdulo, iremos definir o conceito de operao binria em um conjunto matemticos e notaes usadas.
(tambm chamada Lei de Composio Interna) e estudar suas principais pro-
priedades.
Livro_M10.indd 21 10/1/2008 18:28:39

2. Operaes Binrias
Consideremos um conjunto X no vazio. Uma operao binria em X uma
aplicao de X em X.
Se P: X X uma aplicao, ento ,para (a, b) X , a imagem f (a, b)

denotada afb sendo chamada resultado da operao f de a com b.
Como exemplo, temos:
22 (1) A adio de nmeros naturais. Neste caso, a representao da aplica-

IMPORTANTE o feita pelo smbolo + (em vez de f). Portanto tal operao seria
A determinao do mximo
divisor comum (MDC) e do
mnimo mltiplo comum (MMC) + : IN IN
de dois nmeros naturais so
operaes em . No caso, dados
(a, b) e queremos associar um
nmero natural determinando-
se, em cada caso, o MDC ou o Em que + ((x, y)) = x + y. Por exemplo + ((3, 2)) = 3 + 2 = 5
MMC de a e b.
(2) Na mesma ordem de idias teramos:
: IR 2
IR tal que ((x, y)) = x.y
: Q2 Q tal que ((x, y)) = x y
: (Q *) Q * tal que ((x, y)) = x y

2
Como sendo, respectivamente, o produto de nmeros reais, a subtrao de

nmeros inteiros e a diviso de nmeros racionais no nulos.
(3) Se A um conjunto no vazio e
F = { f: A A / f aplicao bijetora}
Ento a composio de elementos de F uma operao em F. Com isto,

estamos dizendo que a composio de aplicaes bijetoras tambm uma
aplicao bijetora. Um caso particular deste exemplo dado se A = {1, 2, 3},
No caso, o conjunto das aplicaes bijetoras de A em A denotado por S3,
Livro_M10.indd 22 10/1/2008 18:28:39

tendo como elementos:
IMPORTANTE
Podemos organizar uma tabela operacional para ordenar todas as operaes Veja que S2 e S3 = S1 e que
S3 e S2 = S1. Isto no significa
dos elementos de S3. Na tabela, para voc obter o resultado da composio ,contudo, que a operao dada 23
de S2 com S3, localize na 1 coluna S2 e desloque-se horizontalmente at seja comutativa. De fato, S4
encontrar a coluna correspondente a S3 da 1 linha: o resultado, como voc e S5 S5 e S4. Uma tabela
operacional ,em que a operao
poder observar, o elemento obtido pelo cruzamento da linha de S2 com a comutativa, apresenta uma
coluna de S3, portanto, o elemento S1. Da S2 . S3 = S1. caracterstica: a diagonal
principal da tabela eixo de
Veja a tabela: simetria da mesma. Isto ,
elementos acima e abaixo desta
diagonal, a mesma distncia
S1 S2 S3 S4 S5 S6 dela, so iguais.
S1 S1 S2 S3 S4 S5 S6
S2 S2 S3 S1 S6 S4 S5
S3 S3 S1 S2 S5 S6 S4
S4 S4 S5 S5 S1 S3 S2
S5 S5 S6 S6 S2 S1 S3
S6 S6 S4 S4 S3 S2 S1
Consideramos a operao, denotada por , em IN pela condio:
a b = a . b
Por exemplo: 2 3 = 2 . 3 = 2 . 9 = 18
3 2 = 3 . 2 = 3 . 4 = 12
Livro_M10.indd 23 10/1/2008 18:28:39

Voc pode verificar que (a b) c a (b c). Faa isto agora!
Atividade 1: Sendo a operao em IN definida por
a b = a . b, verifique que (2 3) 4 2 (3 4)
3. Operaes Compatveis com Equivalncias

24
Um dos fatos tericos, muito importantes, do conhecimento matemtico encon-
IMPORTANTE tra-se quando ,em um mesmo conjunto A, esto definidas uma operao e
uma equivalncia R. Neste caso, diz-se que a operao compatvel com
a equivalncia R se quaisquer que sejam a, a, b e b em A.
Se a R a e b R b porque a e
a so representantes de uma
mesma classe de equivalncia.
O mesmo ocorre com b e b. a R a e b R b (a b) R (a b)

O fato de (a b) R (a b)
geralmente caracterizado
com a sentena: a operao
definida em A / R no depende A importncia deste fato est em podermos definir uma operao no conjunto
dos representantes.
Quociente A/R a partir da operao em A.
Tal operao A/R dada por:
ab=ab
Observe que, no caso, estamos usando o mesmo smbolo para a operao

em A e em A/R, fato que a operao em A/R vai herdar as propriedades da
operao em A.
Como exemplo A= Z e considerando a equivalncia dada por:
x R y x y divisvel por 3.
Como voc pode deduzir, as classes de equivalncia so:
0 = {..., -9, -6, -3, 0, 3, 6, 9, ...}
1 = {..., -8, -5, -2, 1, 4, 7, ...}
Livro_M10.indd 24 10/1/2008 18:28:39

2 = {..., -7, 4, -1, 2, 5, 6, ...}
As operaes + e de nmeros inteiros so compatveis com esta relao,

da podemos definir operaes em / R a partir delas.
Veja aqui quando se diz, por exemplo, que : ATENO

2+1=3
Veja como uma notao
Voc deve pensar que a soma da classe 2 com a classe 1 obtida, somando- apropriada importante na
se 2 + 1 em e tomando-se a classe do resultado, ou seja, 3. Como 3 = compreenso de um conceito:
se usssemos a notao de 25
0 , segue-se que: aplicao para a operao , a
comutativa se expressaria como
2+ 1= 0
( (a,b) ) = ( ( b,a) ) a, b
Voc pode conferir as tabelas destas operaes (Chamadas Soma Mdulo A isto , a imagem por do par
3 e produto mdulo 3) nos quadros abaixo. (a, b) A seria a mesma que
a imagem por do par (b, a)
A. Como voc expressaria a
associatividade nesta notao?
Atividade 2:
Complete a tabela para SOMA MDULO 4
Sugesto: Aqui as classes so:
0 = { 0, 4, 8, 12, ...}
Livro_M10.indd 25 10/1/2008 18:28:39

1 = {..., -7, -3, 1, 5, 9, 13, ...}
2 = {..., -6, -2, 2, 6, 10, ...}
3 = {..., -5, -1, 3, 7, 11, ...}

IMPORTANTE
Fala-se tambm que B parte
fechada para a operao 4. Propriedades de uma Operao
no lugar de dizer operao
induzida. Na linguagem das Considere uma operao qualquer em um conjunto A. Voc ir agora estu-
26 aplicaes, isto pode ser restrita
ao conjunto B e A de modo que dar propriedades gerais que pode possuir, determinando qualidades para
a imagem de tal restrio est a estrutura (A, ). Tente relacionar os conceitos abaixo com o que voc j
contida em B. conhece.
(1) comutativa em A se ab = ba quaisquer que sejam a, b A.
(2) associativa em A se (a b) c = a (b c) quaisquer que sejam a,

b, c A.
Voc pode observar que a adio e a multiplicao so operaes comutati-

vas e associativas no conjunto dos nmeros reais, isto ,
a+b=b+a e a.b= b.a a, b R
(a+b) + c = a + (b+c) e (a . b) . c = a . (b . c) a, b, c R
Um fato importante do qual deve se apropriar que, se voc tem uma opera-
o em um conjunto A, e B um subconjunto de A ,tal que x y B para
quaisquer que sejam x, y B, ento tambm uma operao em B. Diz-se
que a operao em A induz uma operao no subconjunto B.
Desta forma, por exemplo, a adio e o produto de nmeros naturais so

operaes induzidas da adio e multiplicao nos reais.
claro que as propriedades comutativa e associativa, sendo vlidas em A,

tambm sero vlidas para a operao induzida em B A.
Exemplo 1
Considere em IR a operao , definida por
xy= x 2 + y 2 . Ento temos que:
associativa, pois quaisquer que sejam x, y, z IR ,
Livro_M10.indd 26 10/1/2008 18:28:39

(x y) z = x 2 + y 2 z = (x 2
+ y2 )+ z
2
2
=
(x 2
)
+ y2 + z2 = ( )
x 2 + y 2 + z 2 = x ( Y z ).
comutativa ,pois: IMPORTANTE

xy= x2 + y2 = y 2 + x 2 = y x, x, y IR . As propriedades associativa,
comutativa e distributiva (do
produto com relao adio)
usuais, so responsveis, entre
outras coisas, pelos produtos
Exemplo 2 notveis e os casos de
27
fatorao estudados no 1 Grau.

Seja * a operao em IR definida por Relembre:
Quadrado da soma de dois

x * y = 3x + y. Verificaremos que * no nem comutativa, nem associativa. termos.
De fato:
(a + b) = a. (a + b) + b. (a + b)
3 * 4 = 3 . 3 + 4 = 9 + 4 = 13 = a +.a.b + b.a + b, como ab =
ba, segue-se que.
4 * 3 = 3 . 4 + 3 = 12 + 3 = 15
(a + b) = a + 2.a.b + b.
.: 3 * 4 4 * 3 Produto da soma de dois termos
pela diferena entre eles:
Logo, * no comutativa.
(a + b) (a b) = a (a-b) + b(a
Da mesma forma: b)
= a - ab + ba b. Como ba=ab
3 * (4 * 5) = 3 * (3 . 4 + 5) = 3 * 17 = 26 e ab + ab = 0 segue-se que:
(3 * 4) * 5 = 13 * 5 = 39 + 5 = 44 (a + b) (a b) = a b.
.: (3 * 4) * 5 3 * (4 * 5) Fatorao por agrupamento:
Logo, * no associativa. ax + ay + bx + by =
a(x+y) + b(x + y) = (a+b)(x + y)
Estas propriedades so vlidas

Atividade 3 no Universo dos Reais. Ser
que elas tambm seriam vlidas
se a, b, x e y fossem Matrizes?
Verifique se a operao em IR definida por x y = (xy) + 1
a) associativa
b) comutativa
Em muitas situaes da matemtica, um mesmo conjunto pode ser munido

de duas (ou mais) operaes. Suponhamos esta situao para introduzirmos
Livro_M10.indd 27 10/1/2008 18:28:39

mais uma propriedade operacional. Sejam, pois, * e duas operaes em
um conjunto A.
(3) Diz-se que * distribui direita se:
a * (b c) = (a * b) (a * c), a, b, c A.
No caso de * distribui A direita e esquerda, diz-se que * distributiva com

relao . Claro, se * for comutativa ento sendo distributiva direita (ou
esquerda), distributiva.
28
Por exemplo, no sistema ( IR , +, ) a multiplicao distribui a soma. Isto :
a . (b + c) = a . b + a . c , a, b, c IR .
Este fato tambm conhecido como por um fator comum em evidncia

quando voc olha a igualdade acima da direita para a esquerda.
No verdade, contudo, que a adio distribua a multiplicao de reais, pois,

por exemplo:
2 + (3 . 5) 2 . 3 + 2 . 5
Teste esta noo realizando a atividade abaixo:
Atividade 4: Mostre que em Q a operao * definida por

a.b
a *b =
2
distribui a operao dada por:
a b = 2a + 2b
5. Elementos Neutros e Elementos Inversveis.

Dada uma operao em um conjunto A, diz-se que um elemento eA
elemento neutro direita se:
a e = a , aA
De modo anlogo, se e a = a, aA, ento se diz que e elemento neutro

esquerda. Caso e seja, ao mesmo tempo, neutro direita e esquerda,
ento se diz que ele elemento neutro da operao.
Veja: se e elemento neutro a direita e e elemento neutro esquerda,
Livro_M10.indd 28 10/1/2008 18:28:39

relativos a uma operao em um conjunto A, ento :
e = e e = e.
Ou seja, o elemento neutro relativo a uma operao nico. Na adio de

nmeros reais, o elemento neutro 0. Na multiplicao, o elemento neutro
1.
Sendo e o elemento neutro da em A ,ento se diz que aA um elemento

inversvel (ou simetrizvel) direita relativamente a se existir aA tal que
a a = e.
Analogamente se define elemento inversvel esquerda (ou simetrizvel

esquerda).
Se a o inverso direita de a e a o inverso esquerda de a, ento fcil

ver que a = a ( no caso de ser tambm associativa).
De fato:
a = a e = a (a a) = (a a) a = e a = a
Em particular, o inverso (simtrico) de cada elemento nico.
Usualmente, quando a operao a adio indicamos por a ao simtrico de

a. Da mesma forma, o inverso de a, termo usado na notao multiplicativa,
indicado por a-1 ou 1 / a.
Como exemplo, considerando no conjunto Q a operao definida por a

b = a . b / 2.
Voc pode observar que o elemento neutro o nmero 2 visto que:
a 2 = 2 a = a , a Q
No caso, cada elemento a 0 tem para inverso o elemento 4 / a ,pois :

4
a.
a = a = = 2
4 4
a 2 2
Atividade 5:
Em A = Z considere a operao
ab=a+b+4
a) Mostre que comutativa
Livro_M10.indd 29 10/1/2008 18:28:39

b) Determine o elemento neutro relativo a .
c) Determine o simtrico de cada elemento de a Z em relao a .
6. Exerccios de Fixao.
Para cada operao abaixo, verifique a comutatividade, associatividade,
existncia de elementos neutros e de inversos (simtricos).
x+ y
1) Em IR : xy =
x2 +1
2) Em Z : x y = x + y 2
2x + y
3) Em IR +* : xy =
x+ y
4) Em IN : x y = mmc (x, y)
5) Em Z : x * y = x . y +1
Verifique ainda se a operao * do exerccio 5 acima distribui a operao

do exerccio 2.
Resumo
1. Uma operao em um conjunto A { } uma funo de A x A em A. Se f
uma tal funo ento a imagem por f de um par (x, y)A denotada x f y.
2. Uma operao em A associativa se
(x y) z = x (y z), x, y, z A
3. Uma operao em A comutativa se
x y = y x , x, y A
4. Se e * so operaes em A ,ento se diz que * distribui se:
x * (y z) = (x * y) (x * z) e
(x y) * z = (x * z) (y * z) , x, y, z A.
5. Se uma operao em A tal que x y est definida para cada par (x,
y) de elementos de um subconjunto B de A, ento se diz que pode ser
induzida para uma operao em B . A operao induzida possui as mesmas
Livro_M10.indd 30 10/1/2008 18:28:39

propriedades que a operao em A (associativa, comutativa ou distributiva).
6. Sendo eA tal que e y = y = y e, y A, se diz que e elemento

neutro de em A. No caso se
x x = x x = e
Ento se diz que x inversvel (ou simetrizvel) sendo x o inverso (sim-

trico).
Auto-avaliao
Considere em IR a operao * definida por :
x * y = 3 x3 + y3
1. Calcule: 1 * 3
3*1
(2 * 3) * 1
2 * (1 * 3)
2. Mostre que * associativa
3. Mostre que * comutativa
4. Mostre que existe elemento neutro para * em IR .
5. Qual o inverso de 3 com relao a *?
Bibliografia
1. Domingues, H. H e lezzi, G lgebra Moderna 2 Ed. So Paulo: Atual,
1992.
2. Monteiro, L. H. J Elementos de lgebra 2 Ed. Rio de Janeiro: Livros

Tcnicos e Cientficos, 1978.
Livro_M10.indd 31 10/1/2008 18:28:39

Livro_M10.indd 32 10/1/2008 18:28:39
Mdulo 11
Livro_M11_graf.indd 15 24/1/2008 15:51:31

Livro_M11_graf.indd 16 24/1/2008 15:51:31
Grupos
Meta
Estudar as principais propriedades elementares de um grupo.
17
Objetivos
1) Definir o conceito de Grupo;
2) Encontrar exemplos de Grupos no cotidiano da Matemtica;
3) Demonstrar as propriedades gerais dos grupos.
1.Introduo
Seja G um conjunto no vazio, munido de uma operao *. Quando se
escreve o par (G, *) , porque se deseja determinar quais invariantes a opera-
o * determina sobre os elementos de G. Este tipo de estrutura matemtica Dicas de Estudo
estudado com fins de se conseguir generalidade e de poder se comparar
estruturas semelhantes.
Neste mdulo, voc travar contato com um exemplo muito importante desta
estrutura, chamado Grupo. Com isto, estar dando um passo fundamental
Voc est iniciando um campo
para sua formao matemtica. Estude-o com cuidado, anote suas dvidas e muito abstrato de estudos.
no deixe de resolver os exerccios propostos. Aproprie-se das definies,
estude os exemplos dados e
anote todas as suas dvidas
para questionamentos com
2. Definio de Grupos e exemplos seus colegas e tutores.
A estrutura (G, *) onde * uma operao definida no conjunto G chamada

Grupide. Se * for associativa, isto ,
(a * b) * c = a * (b * c) a, b, c, G,
ento se diz que (G, *) um semigrupo.
Livro_M11_graf.indd 17 24/1/2008 15:51:31

Veja: (IN, +) um semigrupo, mas (IN, ) nem grupide , uma vez que a
subtrao de nmeros naturais no operao. Por outro lado, (Z, ) um
grupide, mas no um semigrupo, pois:
CURIOSIDADES 8 (5 3) (8 5) 3
A noo de Grupo surge a Se (G, *) um semigrupo em que exista elemento neutro para * em G, isto
partir dos trabalhos do jovem
:
matemtico francs Evarise
Galois (1811 1832). Galois,
morto precocemente em um e G / x * e = e * x = x, x G, ento (G, *) se diz um monide.
duelo, s teve seus resultados
18 Como vimos, em um semigrupo, o elemento neutro nico,pois se e e e so
reconhecidos 11 anos aps sua
morte. elementos neutros com relao * em G ,ento:
x y = x . y -1 e = e * e = e
Voc tem como exemplo mais simples de semigrupo a estrutura (IN, +).
Diremos que um semigrupo (G, *) um grupo se cada elemento de G possui

Coube ao matemtico um inverso (simtrico) com relao *, ou seja:
noruegus ,Niels Henrik Abel,
(1802 1829) a demonstrao x G, x G / x * x = x * x = e
de que uma equao algbrica
de grau maior que 4 no tem Neste caso, x dito inverso (simtrico) do elemento x.
uma frmula resolutiva como
a equao de 2 grau, em que
as razes podem ser expressas
Um grupo (G, *) em que * comutativa se diz um Grupo Comutativo ou
por radicais envolvendo seus Abeliano. Por exemplo: (Z, +) um Grupo Abeliano, mas (S3, ) onde S3 =
coeficientes. Seu nome ({s1, s2, s3} o conjunto das permutaes de trs elementos, e a operao
lembrado na noo de Grupo
a composio de aplicaes, um grupo no comutativo ,uma vez que S2
Comutativo.
S3 S3 S2 (veja tabela no mdulo anterior).
No ensino elementar, estudamos vrias estruturas operacionais. A ttulo de

exemplificao, resumimos algumas delas no quadro abaixo:
Estruturas Classificao
(IN, +) Semigrupo Comutativo
(IN, ) Semigrupo Comutativo
(Z, +) Grupo Comutativo
(Z,) Semigrupo Comutativo
(Q,+) Grupo Comutativo
(Q*,) Grupo Comutativo
(IR,+) Grupo Comutativo
(IR*,) Grupo Comutativo
Voc deve refletir sobre cada exemplo acima. O quadro contm um resumo
de vrias propriedades operacionais de uso corrente. Use o modelo acima
para completar a atividade abaixo.
Livro_M11_graf.indd 18 24/1/2008 15:51:31

Atividade 1: Considere a seqncia de Conjuntos Numricos fundamentais,
IN Z Q IR.
Voc sabe que a subtrao uma operao a partir de Z. Em IN, a subtrao ATENO!
no uma operao visto que, por exemplo, (23) IN. Complete o quadro
Se ( G, +) um grupo,
abaixo seguindo o modelo do exemplo acima. podemos definir uma
subtrao de elementos de G.
Estruturas Classificao Basta por:
(Z, ) Grupide
x y = x + ( y) x, y e G.
(Q, ) 19
(IR, ) Analogamente, na notao
multiplicativa (G, ), podemos
definir uma diviso pondo:
x y = x . y -1
3. Propriedades elementares; Subgrupos.
Voc deve ter clareza da importncia do momento atual: cada propriedade
vlida para a estrutura (G, *) de grupo ser vlida para cada grupo que voc
conhece em particular.Como exemplo, provaremos agora que, se em um
grupo (G, *) de elemento neutro e se x o inverso direita de x ,ento x tam-
bm o inverso esquerda de x. Veja a seqncia de igualdades abaixo:
(I) (II)
(x * x) * (x * x) = [(x * x) * x] * x =
(III) (IV)
[x * (x * x)] * x = [x * e] * x = x * x
Cada igualdade tem justificativa abaixo:
(I) pela associatividade da operao *

(II) pela associatividade da operao *
(III) pois x inverso direita de x
(IV) pois e elemento neutro
Portanto, x* x um elemento de G que, operado com ele prprio, resulta

igual a si mesmo. Um elemento com tal propriedade chamado idempotente.
Assim, um elemento idempotente em um grupo (G, *) um elemento a G tal
que a * a = a. Mostraremos que, em um grupo, o nico elemento idempotente
o elemento neutro. Veja a seqncia de igualdades abaixo:
(I) (II) (III) (IV) (V)

a = a * e = a * (a * a) = (a * a) * a = a * a = e
Livro_M11_graf.indd 19 24/1/2008 15:51:31

Cada igualdade tem como justificativa:
(I) e elemento neutro de *

(II) a inverso de a
(III) associatividade de *
(IV) a inverso de a
(V) a inverso de a
Portanto, pelo que foi visto anteriormente, x * x idempotente, logo x * x = e,

logo x inverso esquerda de x.
20
IMPORTANTE! Atividade 2: Leia o texto matemtico abaixo e resuma o que ele est dizendo.
Seja (G, *) um grupo com elemento neutro e considere x e x inversos de x
Se X um conjunto, ento
dadas funes reais: G. Ento,
f: X IR, podemos definir uma
funo soma de f com g, pondo x = x * e = x * (x * x) = (x * x) * x = e * x = x
f + g: X IR tal que costume usar uma notao operacional j conhecida do aluno quando se
(f + g) (x) = f(x) + g(x) x IR
trabalha o conceito de Grupo. Podemos,ento, usar uma notao multipli-
O sinal + em f + g representa cativa afirmando que (G, ) um grupo. Isto no quer dizer que estamos
uma soma de funes, trabalhando com a multiplicao ou a adio usuais,pois G pode no ser um
enquanto que em f(x) + g(x) conjunto de nmeros. Para tais notaes, tambm usual tomar empresta-
indica uma soma de nmeros
reais. A rigor, tais somas das certas notaes usadas elementarmente. So elas:
no so as mesmas, mas a
notao usada, apesar da Notao Estrutura Elemento Neutro Inverso
ambigidade. A razo para isto Aditiva (G, +) 0 -x
que a soma de funes vai
herdar as propriedades da Multiplicativa (G, ) 1 x 1
soma de nmeros reais.
Vamos usar a notao multiplicativa para provar outro teorema muito impor-
tante:
Teorema: Se (G, ) um grupo, ento quaisquer que sejam a e b em G:

ATENO!
a+b = a+c b = c (a b)1 = b1 a1

(cancelamento esquerda)
Demonstrao: (a b) (b1 a1) = [a (b . b1)] a1 =
a+b = c+b a = c = (a 1) a1 = a a1 = 1
(cancelamento direita)
Em um grupo (G, +), no Isto , o inverso do produto de dois elementos o produto dos inversos des-
verdade que tes elementos na ordem inversa.
a+b = b+c a = c. Isto
ocorre, apenas, se o Grupo for Atividade 3: Prove o Teorema acima no caso de usarmos notao aditiva
Abeliano.
para o grupo. Isto :
Se (G, +) um grupo,logo quaisquer que sejam a e b em G, ento (a + b)

= ( b) + ( a)
Livro_M11_graf.indd 20 24/1/2008 15:51:31

Outra propriedade muito importante de um grupo conhecida como lei do
cancelamento. Vamos mostr-la numa verso aditiva. Voc ser convidado a
refaz-la em uma notao multiplicativa.
Teorema: Seja (G, +) um grupo e suponha a, b e c elementos de G tais que:
a + b = a + c Ento: b = c
Demonstrao: a + b = a + c DICAS DE ESTUDO
Escrever uma tarefa difcil.

( a) + (a + b) = ( a) + (a + c)
Escrever ,em matemtica, 21
(( a) + a) + b = ((a)) + a) + c talvez seja mais difcil
0+b=0+c ainda. Contudo, este um
b=c passo fundamental para sua
aprendizagem matemtica.
Escreva suas demonstraes
Atividade 4: Enuncie e prove o teorema acima na notao multiplicativa. com perodos curtos e fazendo
uso, sempre que possvel,
Um modo elementar de produo de Grupos observando o prprio grupo da simbologia matemtica
atravs da idia de operao induzida. Assim ,por exemplo, se (G, ) um apropriada. Mostre sua
grupo e H G tal que (H, ) tambm grupo, ento dizemos que H sub- construo literria a seus
tutores ou colegas com melhor
grupo de G com relao operao dada. Por exemplo, (Z, +) subgrupo de conhecimento que voc.
(Q, +) o qual por sua vez subgrupo de (IR, +).
O teorema a seguir garante condies mnimas para que um subconjunto H

de G, em que (G, ) um grupo, seja um subgrupo de G.
Teorema: Seja (G, ) um grupo e seja H um subgrupo de G tal que
(i) H
(ii) a, b H a.b1 H
Prova: Se H ,ento existe x H. Da, por (ii) x x1 H, logo 1 H. Isto

, o elemento neutro de G est em H. Como 1 a = a, a G, claro que
1 a = a, a H. Isto , H possui elemento neutro (o mesmo de G).
Da, se b H como 1 H segue que 1 b1 tambm est em H (por (ii)).

Assim, b1 H para cada b H e (H, ) possui a propriedade do inverso.
Assim,
a, b H a, b1 H a (b1)1 H
Logo, a b H e o produto uma operao induzida em H. Por fim, como

que
(a b) c = a (b c) a, b, c G
Livro_M11_graf.indd 21 24/1/2008 15:51:31

Segue-se que:
(a b) c = a (b c) a, b, c G
C.Q.D.
Atividades 5: Enuncie e elabore uma prova para o teorema acima usando a

notao aditiva para grupo.
22 4. Exerccios de fixao
1) Dado o conjunto X = {a, b, c} ,construa o conjunto das partes de X. Em
seguida, faa a tabela operatria para a operao definida em P (X)
por:
x y = (x y) ( x y )
Assuma que associativa e mostre que (P(X), ) um grupo indicando o

elemento neutro e o inverso de cada elemento.
2) Seja G = {e, a, b, c} e considere as operaes em G dadas pelas tabelas

abaixo.
e a b c + e a b c
e e a b c e e a b c
a a e c b a a e c b
b b c e a b b c e a
c c b a e c c b a e
Assuma a associatividade das operaes e mostre que cada uma delas deter-
mina uma estrutura de Grupo em G.
3) Considere IR munido da operao x * y = x + y 2
Mostre que (IR, *) um grupo Abeliano.
4) Mostre que em um conjunto com apenas dois elementos podemos defi-

nir uma tabela de grupo.
5) Mostre que o conjunto das funes afins,
f: IRIR, em que f (x) = a x + b com a IR* e b IR
um grupo no abeliano no que se refere composio de aplicaes.
Livro_M11_graf.indd 22 24/1/2008 15:51:31

Resumo
1) Um grupo um conjunto G munido de uma operao * tal que:
A operao associativa:
(a * b) * c = a * (b * c) a, b, c G
Existe elemento neutro para * em G:
e * x = x * e = x, x G 23
Cada elemento de G tem um inverso em G:
x G, x G / x * x = x * x = e.
2) Se a operao * comutativa o grupo se diz Abeliano.
3) Em um grupo:
O elemento neutro nico
O inverso de cada elemento nico
Vale a lei do cancelamento:
a*b=a*cb=c
a*b=c*ba=c
4) Se H G e (G, *) um grupo e se (H, *) tambm um grupo ento H

Subgrupo de G.
Auto-Avaliao
Seja:
a b
M = a, b, c, d IR ; ad bc 0
c d
Defina em M
a b a ' b' a '+bc ' ab '+bd '
=
c d c' d ' ca '+ dc ' cb '+ d '
1) Calcule:
2 3 1 2

5 1 4 1
Livro_M11_graf.indd 23 24/1/2008 15:51:31

2) Mostre que (M, ) um grupo.
3) Decida: tal Grupo Abeliano?
Bibliografia
Domingues, H. H; Lezzi, G lgebra Moderna. 2 Ed. So Paulo: Atual,
1992
24
Monteiro, L. H. J.; Elementos de lgebra, 2 Ed. Rio de Janeiro: Livros
Tcnicos e Cientficos, 1978
Livro_M11_graf.indd 24 24/1/2008 15:51:31

Mdulo 12
Livro_M12_graf].indd 17 23/1/2008 17:49:49

Livro_M12_graf].indd 18 23/1/2008 17:49:49
Anis e Corpos
Meta:
Apresentar a noo de Anel e estudar a noo de corpo como caso espe-
cial.
19
Objetivos:
1) Definir o conceito de Anel;
2) Demonstrar propriedades elementares sobre anis;
3) Estudar os Anis especiais chamados corpos.
1. Introduo
No mdulo anterior, voc estudou um exemplo muito importante de estru-
tura algbrica, chamada Grupo. Tal estrutura era monooperacional, isto , era
dada uma nica operao em um conjunto. Neste mdulo, voc ter contato
com estruturas bioperacionais, caso muito comum de estruturas numricas
usuais.
Como sempre bom lembrar, voc o principal autor de sua aprendizagem.

Leia criticamente este material, faa todas as atividades propostas e anote
suas dvidas. muito importante, tambm, estudar com um grupo de amigos:
isto permite tornar as tarefas menos estressantes e oferece a oportunidade
da troca de idias, fato relevante para a cognio humana.
ATENO!
2. A Noo do Anel Iremos usar as notaes aditiva

e multiplicativa. No significa
que trabalharemos apenas com
Suponha um conjunto A e nele definidas duas operaes + e : a adio e multiplicao usuais.
+ : A2 A e : A2 A
Livro_M12_graf].indd 19 23/1/2008 17:49:49

Diremos que (A, +, ) um Anel se:
1) (A, +) for um grupo abeliano
2) (a b) c = a (b c), a, b, c A, isto , se a multiplicao for asso-

ciativa.
3) a (b + c) = a b + a c
e (a + b) c = a c + b c.
Ou seja, a multiplicao distribui a adio.

20
Caso a multiplicao tambm seja comutativa
(a b = b a, a, b A) ,diz-se que o Anel Comutativo. Se ele tambm tiver

elemento neutro, ento dito Anel com Unidade.
Estude os exemplos abaixo:

IMPORTANTE! 1) (Z, +, ), (IR, +, ) e (IR, +, ) so exemplos de Anis Comutativos e com
Um Anel sempre uma Unidade. No caso, com Z Q ,podemos dizer que Z um subanel de
estrutura bioperacional. Q. Tambm podemos dizer que Z e Q so subanis de IR.
Caso no haja dvida sobre
que operaes esto sendo 2) Considere A = {a + b 2 / a Z e b Z} IR.
tratadas, podemos dizer que A
um anel em vez de (A, +, ) Tomemos para A as operaes induzidas de IR, isto , se u = a + b 2 e v =
um Anel. No caso, se B A
tal que (B, +, ) tambm um c + d 2 so elementos de A definamos.
Anel, dizemos que B subanel
de A. i) u + v = (a + c) + (b + d) 2
ii) u v = (ac + 2bd) + (ad + bc) 2
claro que u + v A e u.v A. Por exemplo, se u = 2 + 3 2 e

v = 5 + 2 2 ento u + v = 7 + 5 2 e u v = 22 + 24 2 .
Provaremos a seguir que (A, +, ) um Anel Comutativo com Unidade. Para

isto, devemos verificar 8 propriedades: 4 para a adio e 4 para a multipli-
cao. Podemos economizar esta tarefa j que A parte fechada para as
operaes de (IR, +, ). Assim, provaremos apenas que:
(1) (A, +) subgrupo de (IR, +)

(2) O elemento neutro da multiplicao em IR pertence A.
No caso, precisamos provar apenas que:
(a) A ;
(b) x, y A x y A
(c) 1 A
Livro_M12_graf].indd 20 23/1/2008 17:49:49

Ora, 0 = 0 + 0 2 A logo A mostrando (a).
Se x = a + b 2 e y = c + d 2 tambm de A, ento
x y = (a c) + (b d) 2 tambm elemento de A (lembre-se:a diferena
ATENO!
de inteiros inteiro), o que prova (b). Por fim, 1 = 1 + 0 2 logo 1 A,
finalizando a prova. Lembre-se do Argumento
lgico: se p uma propriedade
3) Seja A = {2z / z Z} o conjunto dos inteiros pares. Como a soma e o vlida x A e B A, ento p
produto de inteiros pares um inteiro par, como 0 um inteiro par e como tambm vlida x B.
o simtrico de um inteiro par tambm par, voc pode verificar que A um

21
subanel de Z. Note: 1A, portanto o subanel de um anel com unidade no
precisa ter unidade.
4) Seja A = {a, b, c, d}. Podemos munir A de uma estrutura de Anel, defi-

nindo as operaes + e pelas tabelas abaixo:
+ a b c d a b c d
a a b c d a a a a a
b b c d a b a b c d
c c d a b c a c a c
d d a b c d a d c b
No iremos provar com detalhes que (A, +, ) um Anel, pois teramos muitas
contas a fazer. Entretanto, voc pode observar que a o elemento neutro
aditivo (veja a repetio da 1 linha e da 1 coluna na tabela de +. Elas dizem
que: a + x = x + a = x).
Voc tambm pode ver que ambas as tabelas so simtricas em relao

diagonal principal, comprovando que tanto + como so comutativas.
Ademais, b e d so simtricos um do outro, pois b + d = d + b = a, enquanto

c + c = a, logo c seu prprio simtrico. Por outro lado, exemplificando a
associatividade temos:
(b + c) + d = d + d = c
b + (c + d) = b + b = c
(b c) d = b c = c
b (c d) = b c = c
Tambm:
b (c + d) = b b = b e
bc+bd=c+d=b
Livro_M12_graf].indd 21 23/1/2008 17:49:49

O que exemplifica a distributividade. Voc seria capaz de dizer se existe ele-
mento unidade no Anel A?
Atividade 1: Considere o Anel (A, +, ) do exemplo 4 acima. Verifique se a

equao
b x + d = c tem soluo.
22
3. Propriedades Elementares de um Anel
Se (A, +, ) um Anel pelo fato de (A, +) ser um Grupo Abeliano, decorrem da
algumas propriedades abaixo lembradas.
IMPORTANTE!
1) O elemento neutro de + nico (h um nico 0 no Anel).
a o simtrico de a,, ou seja,
o elemento que somado a a 2) O simtrico de cada elemento nico, em particular:
resulta o zero do Anel.
( a) = a e ( a + b) = ( a) + ( b).
3) a + x = a + y x = y e x + a = y + a x = y. (Lei do Cancelamento).
4) Se a e b so elementos de A, ento fica definida a diferena a b por: a

b = a + ( b). Veja a b a nica soluo da equao
b + x = a.
Levando em considerao a estrutura multiplicativa do Anel, ainda podemos

observar as propriedades:
5) a (b c) = a b a c
De fato:
ATENO!
a b = a [ c + (b c)] = a c + a (b c)
Sendo (A, +) um Grupo
Abeliano ,ento
a+x=y+a x+y, x, y, a A. Isto , a (b c) soluo (nica) da equao.
Ou seja, a lei do cancelamento
no tem lado. ac+x=ab
Portanto a (b c) = a b a c
Atividade 2: Mostre que: (a b) c = a c b c
6) a 0 = a (0 0) = a 0 a 0 = 0, a A
0 a = (0 0) a = 0 a 0 a = 0, a A
Livro_M12_graf].indd 22 23/1/2008 17:49:49

7) ( a) b = (a b) = a ( b), a, b A
De fato,
( a) b = (0 a) b = 0 b a b = 0 a b = a b DICAS DE ESTUDO!
Tambm (a) (b) = [a (b)] = [ a b] = a b
Atividade 3: Prove que a ( b) = (a b), a, b A
Caso voc esteja confuso

23
quanto notao usada; veja:
4. Corpos o Anel A no precisa estar
includo entre os conjuntos
Diz-se que um Anel Comutativo com unidade 1 0 um corpo, se todo ele- numricos usuais nem a adio
ser aquela que voc usa no
mento no nulo do anel for inversvel para a multiplicao. Isto quer dizer que dia-a-dia!
(A, +, ) um corpo se.
(1) (A, +) um Grupo Abeliano

(2) Definindo-se A* = A {0} ,ento (A*, ) tambm um Grupo Abeliano.
(3) O produto distribui a adio.
Os anis (Q, +, ) e (IR, +, ) so exemplos de corpos. Podemos dizer que Q IMPORTANTE!

um subcorpo de IR com relao s operaes usuais.
Se a e b so elementos no
nulos de um Anel tal que ab,
Para um corpo (A, +, ) qualquer, voc deve conviver com as notaes.
= 0 ento se diz que a e b so
divisores prprios de zero.
0 neutro aditivo. Ele nico. Se voc se recorda daa da
multiplicao de matrizes veja
1 neutro multiplicativo. que:
A exigncia 0 1 na definio acima para garantir que ,no conjunto A, haja

pelo menos dois elementos.
Portanto, e
x significa o simtrico de x, ou seja, o nico elemento que somado a x
resulta igual a 0.
so
x indica o inverso de x, isto , o nico elemento que multiplicado por
1
x resulta igual a 1. divisores prprios de zero (no

anel das matrizes quadradas 2
O fato mais relevante, do ponto de vista da Matemtica, para um corpo A x 2 sobre os Reais). Um Anel
qualquer, de que, nele, se x e y so elementos quaisquer e y 0, ento Comutativo, com unidade e
sem divisores prprios de zero,
est definida a diviso de x por y, isto , o quociente x y 1. Tal elemento chamado Anel de Integridade.
o nico elemento em A com a propriedade de, quando multiplicado por y,
reproduzir x, isto :
(x y 1) y = x (y 1 y) = x 1 = x
Livro_M12_graf].indd 23 23/1/2008 17:49:49

x
Podemos denotar x y 1 por x y ou por , mas veja: no temos aqui uma
y
frao no sentido comum.
Como quebra de idias, preconcebidas, considere a seguinte estrutura ope-

racional no conjunto A = {a, b, c}
+ a b c a b c
a a b c a a a a
b b c a b a b c
24
c c a b c a c b
Pode-se mostrar que (A, +, ) um corpo em que:
O elemento 0 a ,pois (0 = a)
O elemento 1 b, pois (1 = b)
O simtrico de b c ,pois ( b = c)
O inverso de b b ,pois (b 1 = b)
O inverso de c c ,pois (c 1 = c)
c b
Ademais: =c e =b
b c
Atividade 4: Considere: A = {a, b, c, d, e} com as operaes dadas pelas
CURIOSIDADE! tabelas.
Um corpo com dois elementos.
+ a b c d e
Seja A = {0,1} com as
operaes. a a b c d e
b b c d e a
+ 0 1 c c d e a b
0 0 1 d d e a b c
1 1 0 e e a b c d
0 1 Assuma que (A, +, ) um Anel e responda as questes abaixo.

0 0 1
a) Calcule d (b + c)
1 0 0
Pode-se verificar que (A, +, ) b) Determine b (simtrico de b)

um corpo.
c) Determine b 1 (inverso de b)
d) A comutativo?
c
e) Determine
b
f) A um corpo?
Livro_M12_graf].indd 24 23/1/2008 17:49:49

Seja A = {a + b 2 tais que a Q e b Q}. Considere em A as operaes
definidas abaixo.
Adio:
(a + b 2 ) + (c + d 2 ) = (a + c) + (b + d) 2
Multiplicao:
25
(a + b 2 ) (c + d 2 ) = (ac + 2bd) + (ad + bc) 2.
Alm disso, considere a igualdade:
a+b 2 =c+d 2 a=ceb=d
Assuma que (A, +, ) um Anel
1) Calcule (3 + 5 2 ) + (1 + 3 2 )
2) Calcule (7 + 3 2 ) + (1 + 3 2 )
3) Quem o 0 do Anel? E o 1?
4) Mostre que se x, y e A so tais que x y = 0 ou ento x = 0 ou y = 0
5) Decida: (3 + 3 2 ) 1 A?
Resumo
1) (A, +, ) um Anel se:
i) (A, +) um grupo abeliano

ii) associativa
iii) distribue +
Alm disso, se for comutativa ,diz-se que o Anel Comutativo.Se tambm

tiver elemento neutro ,diz-se que o Anel tem unidade.
2) Elementos a e b de um anel, tais que a . b = 0 sem que a ou b sejam o so

chamados divisores prprios de zero. Um Anel Comutativo, com Unidade e
sem divisores prprios de zero, chamado Anel de Integridade.
3) (A, +, ) um corpo se for um Anel Comutativo, com Unidade, onde cada

elemento no nulo possui inverso.
Livro_M12_graf].indd 25 23/1/2008 17:49:49

Auto-Avaliao
Faa um resumo de todas as propriedades operacionais dos sistemas (IN, +,

), (Z, +, ) e (Q, +, )
Preencha a tabela abaixo, para isso:
IN Z Q
+ + +
Associativa Sim Sim Sim Sim Sim Sim
26 Comutativa
Neutro
Simtrico/Inverso
Distributiva
Bibliografia
1) Garrison, K. C: Aprendizaje de las Matrias Escolares Bsicas, In:
Skinner, C Psicologia da la educacion, Mxico: Uteha, 1946.
2) Holland, J. G. E Skinner, B. F. Analise do comportamento. So Paulo,

Herder, 1969.
Livro_M12_graf].indd 26 23/1/2008 17:49:50

Mdulo 13
Livro_M13_graf.indd 19 23/1/2008 17:51:54

Livro_M13_graf.indd 20 23/1/2008 17:51:54
21
Meta
Usar a tcnica do estudo dirigido para que o aluno construa, passo a
passo, um importante exemplo de Anel.
Objetivos
Exercitar o processo de auto-instruo com a construo de uma estru-
tura matemtica;
Rever conceitos importantes da Teoria dos Anis.
1. Introduo
Ao longo dos ltimos 12 mdulos, voc revisou alguns conceitos, j vistos na
escola bsica, e travou conhecimentos com outros tantos ainda no vistos.
Esta disciplina tem um objetivo um pouco pretensioso mas necessrio: o de
servir de introduo ao formato de como a Matemtica se organiza interna-
mente e como sua linguagem estruturada.
Neste mdulo, voc ser conclamado, mais uma vez, a ser autor de sua
aprendizagem, a partir de uma tcnica muito em moda nos anos 60 do sculo
passado: o estudo dirigido.
Nesta tcnica, os conceitos e resultados so construdos passo a passo, de

modo que sua participao seja, aos poucos e cada vez mais, ampliada, em
uma seqncia lgica de organizao do conhecimento.
Livro_M13_graf.indd 21 23/1/2008 17:51:54

2. Objetivo do Estudo
Voc ir construir um exemplo importante de Anel. O universo em que ele
se insere o conjunto de todas as listas ordenadas de 4 nmeros racionais
ou todas as seqncias de 4 nmeros racionais. Isto , iremos trabalhar no
conjunto.
A = {(a,b,c,d) / a, b, c, d Q}
Os elementos de A podem ser chamados qudruplos de nmeros racionais.

22 Em cada um deles, est suposta uma ordenao dada pela igualdade:
(a,b,c,d) = (x, y, z, t) a = x, b = y, c = z e d = t.
Em A, iremos definir duas operaes denotadas por e e aqui chamadas

adio bola e multiplicao bola, como abaixo indicado:
Adio Bola:
(a, b, c, d) (x, y, z, t) = (a + x, b + y, c + z, d + t)
Multiplicao Bola:
(a, b, c, d) (x, y, z, t) = (ax + bz, ay + bt, cx + dz, cy + dt).
a, b, c, d, x, y, z, t Q
3. O Estudo Propriamente Dito

Siga a ordem indicada na numerao das tarefas abaixo. Confira as defini-
es dadas para as operaes. Caso tenha dvida, consulte um colega ou
um tutor do curso. Veja tambm as dicas de estudo na coluna ao lado.
Atividade 1
Calcule:
Ateno
a) (2, -1, 3, 5) (1, 3, -1, 4) =
A soma de nmeros racionais
tambm um nmero racional 2 1 4 1 1
b) , ,2,1 , ,3, =
3 4 3 2 5
Livro_M13_graf.indd 22 23/1/2008 17:51:54

Atividade 2
Qual o raciocnio usado para concluir que esteja bem definida?
Voc ir provar agora que (A, ) um grupo abeliano, isto :

Dicas de Estudo
1) associativa
2) possui elemento neutro em A
3) Cada elemento de A tem um simtrico em A 23

Continue com a seqncia
4) comutativa. de igualdades at chegar ao
segundo membro da igualdade
A associatividade exige que voc considere 3 elementos genricos de A, por ao lado
exemplo, u = (a, b, c, d), v = (e, f, g, h) e w = (i, j, l, m) em que a, b, c, d, (u (v w))

e, f, g, h, i, j, l e m, so, todos, nmeros racionais.
Tome conscincia do que
voc est usando em cada
propriedade.
Atividade 3
Mostre que: (u v) w = u (v w)
Veja:
(u v) w = (a + e, b + f, c + g, d + h) (i, j, l, m) =
Atividade 4
Calcule x, y, z e t na igualdade abaixo:
(2x + y, y +x, z, 2t + 1) = (4,1,5, 1)
Voc tem que ter:
2x + y = 4
y+x=1
z=5
2t + 1 = 1
Livro_M13_graf.indd 23 23/1/2008 17:51:54

Indique abaixo os valores encontrados
x= y= z= t=
Ateno Agora voc deve encontrar o elemento neutro de A relativamente operao

. Caso voc desconfie de algum, basta test-lo. Se no tem um candidato
No esquea! De fato, voc a elemento neutro ,voc deve supor que ele existe, aplicar a definio e ,em
est operando em Q.
seguida, encontr-lo.
razovel que propriedades
das operaes em Q sejam
passadas para as operaes
em A.
24
Atividade 5
Encontre o elemento neutro de em A.
Se voc j sabe qual o elemento neutro de adio, coloque-o aqui:_____

_____________________________
Se voc no sabe, encontre-o no espao abaixo:
Dicas de Estudo
Agora ,voc ir encontrar o simtrico com relao operao de cada ele-

mento de A. Suponha u = (x, y, z, t) A e tente encontrar o simtrico de u em
Se x y = x, x A, ento y A com respeito . Aqui, voc tambm tem dois caminhos: ou voc j tem
o elemento neutro de em um suspeito e a basta tent-lo, ou voc vai supor que existe para, tal qual
A, pois num grupo o elemento um detetive que desconfia de algum e comea a investig-lo; descobrir o
neutro nico.
simtrico do elemento dado.
Atividade 6
Encontre o simtrico de cada elemento de A, com respeito .
Seja x = (a, b, c, d) A. Se voc j tem idia de qual o simtrico de x em A

indique aqui:____________________
Livro_M13_graf.indd 24 23/1/2008 17:51:54

Se voc no sabe qual o simtrico, use o espao abaixo para encontr-lo.
Atividade 7
Mostre que comutativa em A
IMPORTANTE
Seja u = (a, b, c, d) e v = (e, f, g, h,) elementos de A:
LEMBRE - SE: x o simtrico
Calcule: u v = de x em A se x + x = x + x =
e onde e o elemento neutro 25
vu= relativo em A.
Diga por que u v = v u:
Voc acaba de concluir que (A, +) um grupo abeliano. Descanse um pouco Ateno
para retornar s tarefas! Se u = (2,3,0,4) e v = (1,2,-1,3)
ento

u v = (2+1, 3+2, 0 + (-1),
Agora voc vai trabalhar com a multiplicao bola, cuja definio no to 4+3) =
natural quanto adio bola.
=(3,5,-1,7)
Exercite o uso desta definio na atividade abaixo: v u = (1+2, 2+3, (-1) + 0,
3+4) =
= (3,5,-1,7)
Atividade 8 Portanto u v = v u, mas isto
no prova que comutativa
Calcule: em A.
a) (2,3,4,1) (1,2, 1,0) =
b) (1,2.3,4) (4,3,2,1) =
Livro_M13_graf.indd 25 23/1/2008 17:51:54

1
c) ,5,1,0 (3, 1,0,3) =
3
d) (4,3,2,1) (1,2,3,4) =
e) (2,0,0,1) (0,5,0,0) =
A primeira propriedade a provar para a multiplicao a associatividade.

Antes de fazer isto, faa os clculos abaixo.
26 Atividade 9
Calcule:
a) [(2,1,3,1) (1,2,3,1)] (0,2,3,2)
b) (2,1,3,1) [(1,2,3,1) (0,2,3,2)]
Voc deve observar que os resultados na atividade 9 foram iguais. Entretanto,

isto no uma prova da associabilidade de .
Para isto, voc deve eleger elementos genricos u, v, wA e mostrar que (u

v) w = (u v) w.
Siga o modelo abaixo para fazer isto.
IMPORTANTE
Se fosse comutativa, a prova
da distribuidade direita j seria
Atividade 10
suficiente,pois:
Mostre que associativa em A.
u (v w) = (u v) (u w) =
1 Passo: Elegendo elementos genricos de A:
= (v u) (w u) = (v w) u
Como, por exemplo:

u = (a,b,c,d)
(1,2,3,4) (4,3,2,1) = (8,5,20,13) v = (e, f, , )
(4,3,2,1) (1,2,3,4) = (13,20,5,8) w=( )

Portanto, no vamos poder usar 2 Passo: Calculando (u v)
o fato acima!
uv=
3 Passo: Calculando (u v) w
(u v) w
Livro_M13_graf.indd 26 23/1/2008 17:51:54

4 Passo: Calculando v w
vw=
5 Passo: Calculando u (v w)
u (v w) =
Agora, o fato mais importante voc dizer.
6 Passo:
27
Por que (u v) w = u (v w), u, v, wA?
Voc agora vai ter que provar que distribui . Em T.8 ,voc deve ter obser-
vado que no comutativa, portanto deve ser provado a distributividade
direita e esquerda.
Antes disso, calcule uns exemplos:
Atividade 11
Calcule:
a) (1,2,1,3) [(2,1,0,3) (3,2,1,1)] =
b) [(1,2,1,3) (2,1,0,3)] [(1,2,1,3) (3,2,1,1)] =
c) [(2, 1, 0, 3) (1, 2, 1, 3)] [(3,2,1,1) (1,2,1,3)] =
d) [(2,1,0,3) (3,2,1,1)] (1,2,1,3)=
Agora:
Atividade 12
Prove a distributividade direita:
1 Passo: Elegendo elementos genricos de A:
u=
v=
w=
Livro_M13_graf.indd 27 23/1/2008 17:51:54

2 Passo: Calculando v w
vw=
3 Passo: Calculando u (v w)
u (v w) =
4 Passo: Calculando u v
uv=
28
5 Passo: Calculando u w
uw=
6 Passo: Calculando (u v) (u w)
7 Passo: Confirmando a distributividade direita, isto , que o resultado do

3 passo o mesmo do 4 passo.
Leia abaixo a demonstrao de que distributiva esquerda. Observe os

argumentos usados para voc comparar com aqueles que voc utilizou.
Atividade 13
Leia criticamente a demonstrao dada abaixo:
Demonstrao
Sejam u = (a,b,c,d), v = (e, f, g, h) e w = (i, j, l, m) elementos genricos de A.
Isto significa que a, b, c, d, e, f, g, h, i, j, l e m so nmeros racionais quais-

quer.
Tem-se que:
(u v) w = (a+e, b+f, c +g, d+h) (i, j, l, m)
= ((a+e)i + (b+f)l, (a+e)j + (b+f)m, (c+g)i + (d+h)l, (c+g)j + (d+h)m))=
=((ai+ei)+(bl+fl), (aj+ej)+(bm+fm), (ci+gi)+(dl+hl), (cj+gj)+(dm+hm))=
=(ai+bl)+(ei+fl), (aj+bm)+(ej+fm), (ci+dl)+(gi+hl), (cj+dm)+(gj+hm))=
Livro_M13_graf.indd 28 23/1/2008 17:51:54

= (ai+bl, aj+bm, ci+dl, cj+dm) (ei+fl, ej+fm, gi+hl, gj+hm) =
= (a, b, c, d) (i, j, l, m) (e, f, g, h) (i, j, l, m) =
=(u w) (v w)
Voc deve notar que as passagens dadas em cada igualdade foram basica-
mente de dois tipos:
1 tipo: Uso da definio de ou .
2 Tipo: Uso das propriedades do corpo: (Q, +, )
Contudo, no verdade que toda propriedade desse corpo seja passada

para o Anel (A, +, ), como voc pode verificar a partir da no- comutatividade
deste Anel.
Bibliografia
GARRISON, K. C: Aprendizaje de ls Matrias Escolares Bsicas, In:
Skinner, C Psicologia da la educacion, Mxico: Uteha, 1946.
HOLLAND, J. G. E Skinner, B. F. Anlise do comportamento. So Paulo,

Herder, 1969.
Livro_M13_graf.indd 29 23/1/2008 17:51:54

Livro_M13_graf.indd 30 23/1/2008 17:51:54
Mdulo 14
Livro_M14_graf.indd 21 23/1/2008 17:54:34

Livro_M14_graf.indd 22 23/1/2008 17:54:34
Sentenas Compostas
23
Meta
Aplicar os conceitos e resultados at agora obtidos na construo de Z
a partir de IN.
Objetivos
Perceber a importncia da Noo de Equivalncia;
Praticar a passagem ao quociente;
Compreender a necessidade da demonstrao em Matemtica.
1. Introduo
Foram muitas as noes at agora trabalhadas nesta disciplina. Alm da dis-
cusso sobre a forma da organizao do discurso na Matemtica, voc tomou
contato com duas noes essenciais Matemtica: as noes de equivaln-
cia em um conjunto e a de aplicao entre dois conjuntos.
Iremos agora, fazendo uso destas noes, (juntamente com a de operao

que, como j vimos, uma aplicao), construirmos o Anel (Z,+, ), a partir
da estrutura dada em (IN,+, ). Tal construo uma parte importante na
formao do professor de Matemtica, pois ele deixar a postura ingnua de
ter os inteiros como elementos dados, para t-los como resultados de uma
construo que traz tona toda sua estrutura interna.
Livro_M14_graf.indd 23 23/1/2008 17:54:34

2. Descrio Sumria da Construo
Voc deve lembrar que ,em IN, a adio e a multiplicao esto definidas e
satisfazem as seguintes propriedades:
Dicas de Estudo
P1: Associatividade da Adio:
(a+b) + c = a + (b+c) a, b, c IN
24
P2: Comutatividade da Adio:
As Idias trabalhadas neste
mdulo so bastante abstratas
a+b=b+a a, b IN
e correm o risco de, em um
primeiro momento, no serem
percebidas. Em termos gerais, P3: Existncia de Elemento Neutro para a Adio:
voc vai usar o conhecimento
que tem de IN para obter a+0=0+a=a a IN
o conhecimento sobre Z.
Utilizando-se de uma metfora P4: Lei do Cancelamento Aditivo:
compreensvel, como se
voc tentasse analisar o que a + b = a + c b = c, a, b, c IN
ocorre em seu estado a partir
do que ocorre em sua cidade
(mas isto s uma metfora). P5: Associatividade da Multiplicao
Um conselho til : olhe para
cada igualdade escrita no (a b) c = a (b c ), a, b, c IN
texto. Procure entender por
que ela ocorre e discuta com P6: Comutatividade da Multiplicao:
seus colegas suas dvidas e
descobertas. ab=ba a, b IN
P7: Existncia de Elemento Neutro para a Multiplicao:
a 1 = 1 a = a a IN
P8: Distributividade da Multiplicao em relao Adio:
a (b + c) = a b + a c , a, b, c IN
Assumindo o sistema (IN, +, ) com as propriedades acima, iremos definir uma

relao de equivalncia no conjunto A = IN x IN. Em seguida, consideraremos
no quociente de A, pela equivalncia dada, duas operaes (aqui denotadas
e ). Mostraremos com sua participao que a estrutura ,assim constru-
da, a de um Anel de Integridade e ainda, que ela contm uma cpia de
(IN, + , ) num sentido a ser definido.
Livro_M14_graf.indd 24 23/1/2008 17:54:34

3. Definio da Equivalncia e Descrio do Quociente.
Seja A = IN x IN. Definiremos em A a seguinte relao:
(x, y) R (z, t) x + t = y + z
Ateno
Por exemplo: (3,4) R (1,2), pois 3 + 2 = 4 + 1
O que est definindo a
seqncia de igualdades
12=23=34=45=
Atividade 1 ....? 25
Com certeza, voc observa que

Assinale V (verdadeira) ou F (Falsa) as afirmativas abaixo acerca da relao
todas so iguais a 1. Assim,
R acima: 1 uma relao entre dois
nmeros naturais (entre pares
( ) (5,2) R (6,3) de nmeros naturais).
( ) (1,3) R (4,8)
( ) (0,0) R (2,2)
( ) (0,0) R (x, y) se, e somente se, x e y so nmeros naturais iguais.
Vamos mostrar que R uma Equivalncia em IN x IN. De fato:
1 Passo: R Reflexiva, isto (x, y) R (x, y)
(x, y) IN x IN.
Ora x + y = y + x x, y IN
Logo, a afirmativa Verdadeira.
2 Passo: R simtrica: (x, y) R (z, t) (z, t) R (x, y)
Atividade 2
Complete as lacunas abaixo para que voc mostre a simetria de R.
Sejam x, y, z, t IN. Ento:
(x, y) R (z, t) x + t = y + z
t + x = z + ____ z + y = t + x
(z, t) R _____
Livro_M14_graf.indd 25 23/1/2008 17:54:34

Procure se convencer das razes (propriedades) em que se baseiam as
implicaes feitas na sua demonstrao.
3 Passo: R transitiva, isto , dados x, y, z, t, u, v IN tais que,
Hiptese: (x, y) R (z, t) e (z, t) R (u, v)

Dicas de Estudo Ento:
Tese: (x, y) R (u, v)
26 Por hiptese teremos:
(1) x+t=y+z
LEMBRE: veja em que
propriedade ou definio cada (2) z + v = t + u
igualdade est baseada.
Observe a seqncia da igualdade:
(x + v) + t = x + (v + t) = x + (t + v) =(x + t) + v =
= (y + z) + v = y + (z + v) = y + (t + u) = y + ( u + t)=
= (y + u) + t
Assim, (x + v) + t = (y + u) + t
x + v = y + u, ou seja, (x, y) R (u, v).
Vamos agora descrever o conjunto Quociente A . Como voc j sabe, ele

R
formado pelas classes de equivalncia (mdulo R).
Vamos descrever algumas classes:
(3,1) = {(x, y) IN x IN / (x, y) R (3, 1)} =

={(x, y) IN x IN / x + 1 = y + 3}=
={(2, 0 ); (3, 1); (4, 2); (5, 3);...}
(0,2) = {(x, y ) IN x IN /(x, y ) R (0, 2)}=
={(x, y) IN x IN / x + 2 = y}=
={(0, 2); (1, 3); (2, 4);(3, 5),...}
Como voc pode notar, cada classe uma seqncia infinita de pares orde-
nados de nmeros naturais de modo que, em cada par, a diferena entre a
abscissa e a ordenada mantida constante.
Livro_M14_graf.indd 26 23/1/2008 17:54:34

Atividade 3
Encontre 5 pares ordenados da classe de equivalncia (7,3)
Como podemos representar geometricamente tais classes de equivalncia?
Como (IN x IN) (IR x IR) = IR 2 cada classe acima pode ser representada
por pontos no Plano Cartesiano.
Assim, por exemplo, a classe (3,1) seria representada como abaixo:

27
Isto , (3,1) pode ser representada por pontos de coordenadas naturais

sobre a reta de equao y = x 2
Atividade 4
Muna-se de papel quadriculado e represente as classes abaixo indicadas no
Plano Cartesiano:
a) (0,0)
b) (1,2)
c) (3,0)
d) (4,4)
Como 4 passo de nossa construo ,iremos definir os objetos que sero

considerados como elementos de Z. Tais objetos sero as classes de equi-
valncia acima estudadas, isto :
4 Passo: Considere Z como sendo o conjunto- Quociente A , ou seja:

R
Z = { (x, y ) / (x, y) IN x IN .
Livro_M14_graf.indd 27 23/1/2008 17:54:34

4. A Estrutura Aditiva
Devemos agora definir uma adio no conjunto Z e ,em seguida, mostrar que
isto propicia uma estrutura de grupo abeliano para Z.
Curiosidade Se ( x, y ) e ( z , t ) so elementos de Z definiremos
Como fica representado IN IN
no Plano Cartesiano? (x, y ) (z, t ) = ( x + z, y + t )
Temos aqui um problema: cada classe de equivalncia um conjunto infinito
28 de pares ordenados de IN x IN. Quando representamos uma classe, fazemos
isto a partir de um elemento deste conjunto. Assim, precisamos mostrar que
a representao escolhida para as classes no afeta a definio dada. Por
exemplo, usando a definio acima, temos que:
(3,4) (7,2) = (10 ,6)

Mas, (3,4) por exemplo, igual a (0,1) ,enquanto (7,2 ) igual a (5,0 )
A representao de IN x IN ,portanto precisamos confirmar se
no plano cartesiano seria feita
como uma tbua de pirulitos,
(0,1) (5,0 ) = (5,1)
limitada ao sul e a oeste pelos
eixos coordenados e ilimitada
nas outras direes! a mesma classe que (10 ,6 ). Voc pode verificar isto mostrando que :
(5,1) R (10 ,6)

Portanto, devemos provar que a definio acima no depende dos represen-
tantes escolhidos para as classes, ou seja:
5 Passo: est bem definida, isto :
Hiptese: ( x, y ) = (a, b)
( z , t ) = (c, d )
Tese: ( x, y ) ( z , t ) = (a, b) (c, d )
Ou seja; ( x + z , y + t ) = (a + c, b + d )
Lembrando a definio da equivalncia e o fato de que duas classes so

iguais se, e somente se, seus representantes esto relacionados, podemos
refazer a hiptese e a tese acima pondo:
Hiptese: x + b = y + a (1)
z + d = t + c (2)
Tese: (x + z) + (b + d ) = (y + t) + (a + c)
Livro_M14_graf.indd 28 23/1/2008 17:54:34

Demonstrao
Adicionando-se membro a membro as igualdades (1) e (2) vem:
(x + b) + (z + d) = (y + a) + (t + c)
x + (b + (z + d)) = y + (a + (t + c)) (A) Ateno

x + ((b + z) + d)) = y + ((a + t) + c) (B) Lembre se!
x + (( z + b) + d) = y + ((t + a) + c ) (C) Duas classes de equivalncia

mdulo R, em um conjunto 29
A, ou so iguais ou so
x + (z + (b + d)).= y.+(t +(a + c)) (D) disjuntas.
(x + z) + (b + d) = (y + t) +(a + c ) (E)
Atividade 5
Represente no plano Cartesiano as classes:
Ateno
(3,4) , (5,3) e (8,8)
Veja as justificativas de cada
passagem ao lado.
(Esta atividade tem um objetivo. Veja o que voc pode inferir a partir dela).
(A) associatividade da
Provaremos agora que (Z, ) grupo abeliano. adio em IN
Passo 6: associativa em Z (B) associatividade da

adio em IN
Sejam u = (a, b) , v = (c, d ) e w = (e, f ) elementos de Z. Tem-se:
(C) comutatividade da
adio em IN
(u v) w = (a + c, b + d ) (e, f )
(D) associatividade da
= ( (a + c )+ e , (b + d ) + f ) ) = ( a + (c + e), b + (d + f ) = adio em IN
(a, b ) (c + e, d + f ) = u (v w)
(E) associatividade da
adio em IN
Passo 7: comutativa em Z
Atividade 6
Mostre que de fato u v = v u
u, v Z (use a notao acima, se preferir )
Livro_M14_graf.indd 29 23/1/2008 17:54:34

Passo 8: Existe elemento neutro para em Z.
Basta tomar a classe (0,0) para se ter:
Ateno ( x, y ) (0,0) = ( x, y ) = (0,0) ( x, y ) x, y Z
(0,0) ={(x,y)IN x IN/ x+0 = Veja (0,0) a diagonal da Tbua de Pirulitos. Reveja a atividade 4. Ser
0+y} que voc pode intuir qual o simtrico de um elemento (x, y) Z ? Pense um
={(x,y) IN x IN / x = y}
pouco sobre esta pergunta resolvendo a prxima atividade.
30
Portanto,
(0,0) = (1,1) = (2,2) = Atividade 7

Calcule ( x, y ) Z tal que ;
( x, y ) (5,8) = (0,0)
Ateno
Passo 9: Cada elemento de Z tem um simtrico em Z.
Lembre-se:
O simtrico de um elemento Dado u = ( x, y ) Z, o simtrico de u o elemento v = ( y, x) Z.

em um grupo (G,*) um
elemento do grupo que De fato
,operado com ele, reproduz
o elemento neutro do u v = ( x + y, y + x) = (0,0)
grupo. No caso de (Z,), o
simtrico de um elemento Portanto, (Z, ) um grupo Abeliano. Estude a continuao da construo
reproduz a idia geomtrica
de simetria axial (simetria do Anel dos Inteiros no prximo mdulo.
em relao a um eixo)
Resumo
Neste mdulo, voc iniciou a construo do Anel dos Inteiros, tratando espe-
cificamente do Grupo Abeliano (Z,+). No caso, partindo do conjunto A=NxN,
foi definida uma equivalncia R em A por (x, y)R(z, t) se, e somente se, x+ t =
y+z. No conjunto das classes de equivalncias A/R, foi definida uma adio,
denotada didaticamente por , para no confundir com a adio no conjunto
dos nmeros naturais, mostrando-se que tal conjunto fica munido de uma
v o simtrico de u
estrutura de grupo abeliano. Tal grupo foi denotado por (Z,+).
Auto-Avaliao
Voc deve ter notado a abstrao dada no desenvolvimento do presente
Livro_M14_graf.indd 30 23/1/2008 17:54:35

mdulo. Uma boa maneira de nos convencermos de que uma afirmativa geral
correta exemplificando-a, entretanto o exemplo no a prova da afirma-
tiva, e sim, um argumento didtico para obtermos compreenso. Por isso,
convidamos voc a auxiliar sua aprendizagem sobre os conceitos trabalha-
dos nesse mdulo, resolvendo as questes propostas abaixo:
1. Escolha elementos especficos u,v e w no conjunto das classes de

equivalncia que denominamos Z no texto.Descreva-os como conjuntos e
represente-os no plano cartesiano.
2. Verifique que, de fato, a adio definida associativa, isto , mostre 31

que:
u + (v + w) = (u + v) + w.
3. Verifique que ela comutativa calculando u+v, v+u ,u+w, w+u,v+w e

w+v.
4. Indique o simtrico de cada elemento escolhido por voc.
Bibliografia

Nobel, 1972.

S.A, 1980.
Livro_M14_graf.indd 31 23/1/2008 17:54:35

Livro_M14_graf.indd 32 23/1/2008 17:54:35
Mdulo 15
Livro_M15_graf.indd 17 23/1/2008 17:57:20

Livro_M15_graf.indd 18 23/1/2008 17:57:20
Construo dos Anis dos Inteiros
19
Meta
Aplicar os conceitos e resultados at agora obtidos na construo de Z
a partir de IN.
Objetivos:
Perceber a importncia da Noo de Equivalncia;
Praticar a passagem ao quociente;
Compreender a necessidade da demonstrao em Matemtica.
1. Introduo
Voc est inserido no que poderamos denominar formalismo matemtico. A
construo at agora realizada do grupo abeliano (Z, ) tem sua nfase vol-
tada na obteno de propriedades para o que estava sendo chamado de Z, a
partir de propriedades de uma estrutura previamente conhecida (N, + , . ).
possvel que voc esteja tendo um choque cognitivo, mas acredite: a cons-
truo realizada no mdulo anterior e seu prosseguimento neste deveras
importante para sua formao, permitindo que voc veja com outros olhos o
conhecimento matemtico.
Continue sendo crtico na leitura do texto, faa todas as tarefas propostas

(procurando dar uma redao para as mesmas), junte-se a amigos para dis-
cutir os conceitos e resultados obtidos e anote suas dvidas, no deixe que
elas se acumulem.
Livro_M15_graf.indd 19 23/1/2008 17:57:20

2. A Estrutura Multiplicativa
Veja, voc comeou trabalhando no conjunto A = IN x IN, definindo a
relao de equivalncia.
IMPORTANTE (x, y) R (z, t) x + t = y + z
Da, voc fez uma passagem ao quociente A observando que os elemen-

R
Uma construo de (IN, +, . ) tos desta partio de IN x IN eram retas pontilhadas no plano cartesiano.
possvel, por exemplo, a partir
20 da axiomtica de Peano. A Definindo a adio como:
preocupao com a construo
dos sistemas numricos faz
parte de um grande movimento
(x, y ) (z, t ) = (x + z, y + t )
de matemticos do sculo XIX,
causado, dentre outras coisas, Voc concluiu que tal operao dotava o quociente A de uma estrutura de
R
pela tentativa de organizao Grupo Abeliano. Denotamos tal grupo por (Z, ).
do clculo. Tal movimento
chamado Aritmetizao da O prximo passo definir uma multiplicao em Z. Faamos isto:
Anlise.
Passo 10: Se a, b, c, d IN , ento definimos
(a, b ) (c, d ) = (ac + bd, ad + bc)

Por exemplo:
(2,3) (5,4) = (2 ,23 )

(2,3) (7,1) = (17 ,23 )
Atividade 1:
Use a definio acima e a definio de para calcular:
a) (2,3) (5,1)
b) (5,1) (2,3)
c) (5,1) [ (2,3) (3,2)]
d) [ (5,1) (2,3)] [ (5,1) (3,2 )]
Devemos provar que est bem definida, isto , que no depende dos
representantes. Para isso, consideremos:
Livro_M15_graf.indd 20 23/1/2008 17:57:20

Hiptese: (a, b ) = (x, y )
(c, d ) = (z, t )
Deveremos provar que:
Tese: (a, b ) (c, d ) = (x, y ) (z, t )
Isto : (ac + bd , ad + bc ) = (xz + yt , xt + yz )

Traduzindo para o universo dos nmeros naturais, nossa hiptese que:
21
a + y = b + x (1)
c + t = d + z (2)
Notamos que tais igualdades equivalem a:
b + x = a + y (3)
d + z = c + t (4)
Queremos provar que:
ac + bd + xt + yz = ad + bc + xz + yt
Como voc observa, o grau de complexidade operacional bem maior que no

caso de . Portanto, redobre a ateno para acompanhar a demonstrao a
seguir (Ela parece como que cada do cu. Entretanto, voc pode, olhando
para a tese ,observar que o traado dado ao caminho a demonstrao liga
a hiptese tese).
Multipliquemos (1) por c, (2) por x e em seguida (3) por d e (4) por y.
Obtemos:
c(a + y) = c(b + x)
x(c + t) = x(d + z)
d(b + x) = d (a + y)
y(d + z) = y (c + t)
Portanto, pela distributividade em IN:
ca + cy = cb + cx
Livro_M15_graf.indd 21 23/1/2008 17:57:20

xc + xt = xd + xz
db + dx = da + dy
yd + yz = yc + yt
Somando-se membro a membro tais igualdades, vem:
ca + cy + xc + xt + db + dx + yd + yz = cb + cx + xd + xz + da + dy + yc + yt
Pelas propriedades comutativas da adio e da multiplicao, associativa da

22 multiplicao e lei do cancelamento (todas em IN) ,segue-se que
ac + bd + xt + yz = ad +bc + yt + xz
CQD.
Mostraremos agora que comutativa, associativa, distribui e tem ele-

mento neutro o que pode, em conjunto com os resultados do mdulo anterior,
ser resumido dizendo-se: (Z, , ) um Anel Comutativo com Unidade.
Sejam u = (a, b ), v = (c, d ) e w = (e, f ) elementos quaisquer de Z.
Passo 11: Comutatividade de
Devemos provar que u v = v u
Ora:
uv=
vu=
Como ca + db = ac + bd e cb + da =ad + bc
(Note : tais operaes so em IN). Segue-se que :
uv=vu
Passo 12: Associatividade de
Livro_M15_graf.indd 22 23/1/2008 17:57:20

Atividade 2
Mostre que (u v) w = u (v w).
Calcule:
(u v) w =
u (v w ) =
Justifique porque so iguais. 23
Passo 13: Distributividade de em relao :
J que comutativa, basta verificar a distributividade direita. Tem-se:
u (v w) = (a, b ) [(c + e, d + f )] =
= (a (c + e) + b (d + f), a (d + f) +b (c+ e)) =
= (ac + ae + bd + bf, ad + af + bc + be)
Por outro lado:
Comparando os dois clculos, usando a comutatividade da adio de nme-

ros naturais, conclumos a igualdade desejada.
Atividade 3
Qual o elemento neutro relativo ?
Deveramos agora mostrar que, no Anel acima construdo, no existem divi-

sores prprios de zero, isto : u v = 0 u=0 ou v=0
Em outras palavras, usando a notao acima para u e v , tem-se :
Livro_M15_graf.indd 23 23/1/2008 17:57:20

Ou ainda, usando a definio da equivalncia, que
ac + bd = ad + bc (*)
Claro que se a = 0 e b = 0 a igualdade valer. Claro tambm que se c = d

CUIDADO = 0 ela tambm valer. O ponto que queremos concluir algumas destas
condies, a partir da igualdade(*). Voc ter oportunidade de provar isto na
Quando falamos em Z, estamos sua auto-avaliao final.
nos referindo a IN IN .
R
24
3. Existncia de Uma Cpia de IN em Z
Mostramos at o presente (do mdulo anterior at agora) que (Z, , ), da
maneira como foi construdo, a partir de IN x IN, um Anel Comutativo, com
Unidade, e quando voc concluir a auto-avaliao final, tambm, sem diviso-
res prprios de zero.
Tais fatos do a esta estrutura o status conhecido para aquele conjunto

chamado de conjunto de nmeros inteiros. H uma lacuna, contudo, se tal
conjunto , de fato, os inteiros numa forma, digamos, sofisticada, ele deve
conter uma cpia de IN (uma forma tambm sofisticada de vermos os nme-
ros naturais).
IMPORTANTE
Faremos isto agora. Para tanto, seguiremos o seguinte projeto:
Claro que f est bem definida,
em que pese o formato do 1) Escolheremos um conjunto IN Z (com uma boa intuio possvel
contra domnio, que f
sobrejetora e que se f (x) =
fazer uma escolha) que seja parecida com IN.
f (y),ento (x, 0) = (y, 0) x
= y. Portanto, f uma bijeo
de IN em IN. Por outro lado:
2) Definiremos uma aplicao
f : IN IN
Tal que:
(a) f bijetora
(b) f (x + y) = f (x) + f (y)
(c) f (x . y )= f (x) f (y) x, y IN
3) Sendo f bijetora isto quer dizer que IN e IN tm a mesma cardinalidade.

As condies (b) e (c) dizem que as operaes de IN podem ser transpor-
tadas por f s operaes de IN induzidas de Z. Assim (IN, +, .) e ( IN , ,
) so estruturalmente iguais, no s quanto quantidade de elementos e
Livro_M15_graf.indd 24 23/1/2008 17:57:20

quanto s operaes que tm. Numa linguagem figurada, IN uma cpia
de IN.
Vamos Defesa do Projeto!
1) Consideremos
Na representao cartesiana de Z, IN significa o conjunto das retas pontilha-

das da bissetriz do primeiro quadrante para baixo. 25
2) Consideremos a funo:
f : IN IN definida por
f (x) = x IN
Claro que f est bem definida, em que pese o formato do contra domnio,
que f sobrejetora e que se f (x) = f (y) ,ento = x = y.
Portanto, f uma bijeo de IN em IN . Por outro lado:
b) f (x + y) = (x + y,0 ) =
= f (x) f (y)
c)f (x . y) = (x y,0 ) =
= f (x) f (y) x, y IN
Devido s condies acima descritas, diz-se que IN e IN so isomorfos. Na

prtica, isto significa que os elementos so diferentes na forma, mas atuam
como se fossem iguais!
Resumo
1. Sendo R a relao entre IN x IN definida por :
(x, y) R (z, t) x + t = y + z
Ento, R uma equivalncia em IN x IN.
Livro_M15_graf.indd 25 23/1/2008 17:57:20

2. Em definimos um produto pondo:
Ateno
(0,0) ={(x,y)IN x IN/ x+0 = 3. Tal produto, associado adio vista no mdulo anterior ,torna
0+y}
( , ,) uma estrutura algbrica denominada Anel de
={(x,y) IN x IN / x = y}
Integridade.
26
Portanto,
(0,0) = (1,1) = (2,2) =

4. A estrutura pode ser considerada como o Anel dos
Inteiros.
Ateno
5. Considerando IN e definindo ={ / x IN},
Lembre-se:
dizemos que IN e so isomorfos.
O simtrico de um elemento
em um grupo (G,*) um
elemento do grupo que
,operado com ele, reproduz
o elemento neutro do Auto-Avaliao
grupo. No caso de (Z,), o
simtrico de um elemento Uma boa tcnica para estudo a que chamamos tcnica do espelho. Ela
reproduz a idia geomtrica
consiste em voc e um colega tentar resolver separadamente os mesmos
de simetria axial (simetria
em relao a um eixo) exerccios. Em seguida ,cada um corrige a soluo dada pelo outro. feita a
discusso das questes em que no h concordncia e ,em seguida, busca-
se ajuda de um tutor ou professor para dirimir as dvidas. Aplique a tcnica
do espelho para as questes abaixo.
1. Mostre atravs de Tabela Lgica que (p q) r equivalente a (p

r) (q r). Qual a conseqncia desse fato para as operaes de unio e
interseco de conjuntos?
2. Suponha que p uma sentena verdadeira, q uma sentena falsa e r

outra sentena verdadeira. Qual o valor lgico da sentena (p q) r? E
v o simtrico de u da sentena p (q r)?
3. No diagrama abaixo, representa o conjunto dos pernambucanos, A o

conjunto dos pernambucanos que estudam Matemtica, B o conjunto dos
pernambucanos que falam ingls, e C o conjunto dos alunos pernambucanos
da UAB.
Livro_M15_graf.indd 26 23/1/2008 17:57:21

a) Pinte de amarelo o conjunto dos pernambucanos que estudam na UAB
e falam ingls.
b) Pinte de azul o conjunto dos alunos que estudam Matemtica pela

UAB.
c) Voc sabe que a composio do azul com o amarelo reproduz o verde.

De acordo com essa informao, descreva que pernambucanos ficariam
demarcados de verde.
4. Se um conjunto A tem 15 elementos e um conjunto B tem 8 elemen-

tos, qual o nmero mximo de elementos que A B possuem? E o nmero
mnimo de elementos?
Bibliografia

Nobel, 1972.

S.A, 1980.
Livro_M15_graf.indd 27 23/1/2008 17:57:21

Livro_M15_graf.indd 28 23/1/2008 17:57:21

Livro - Elementos de Lógica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Livro - Elementos de Lógica

Cargado por

Copyright:

Formatos disponibles

Licenciatura em Matemtica

Jos Arimatia Rocha

Instituto Federal de Educao,

Coordenao de Aperfeioamento de Pessoal de Nvel Superior - CAPES

Este Caderno foi elaborado em parceria entre o Instituto Federal de Educao,

Equipe de Elaborao Diagramao

livro_matematica_M01.indd 33 3/12/2007 16:52:45

2) Definir o valor lgico de uma sentena e relacion-lo com o Princpio do

3) Compreender e fazer uso de alguns smbolos de uso freqente em 35

4) Entender a noo de Conjunto em Matemtica como conceito unificador

(a) 3 um nmero mpar.

livro_matematica_M01.indd 35 3/12/2007 16:52:45

De um modo geral, uma proposio ou sentena transmite pensamentos as

1) As sentenas interrogativas tipo Que dia hoje?

(h) um nmero racional

(i) 2 maior que 1.

Tal tipo de sentena chamaremos de Sentena Atmica ou Simples.

Atividade 1: Pesquise o significado dos termos Sujeito e Predicado e para

3. Valor Lgico De Uma Proposio

livro_matematica_M01.indd 36 3/12/2007 16:52:45

e: V(e) = ___ In: Drummond. Antologia Potica.Rio de

= significa igual a A escrita V(d) = f significa que

significa maior ou igual que

livro_matematica_M01.indd 37 3/12/2007 16:52:45

O DIA O DIA EM QUE UM

Em uma disputa famosa entre o

Segundo Hogben (1950) Como

O exemplo acima mostra que os

livro_matematica_M01.indd 38 3/12/2007 16:52:45

No caso, P uma propriedade que caracteriza os elementos de X enquanto x

Ademais freqente o uso de smbolos especiais para designar certos con-

N Conjunto dos Nmeros Naturais, isto

Z Conjunto dos Nmeros Inteiros, isto

Z = {..., -3, -2, -1, 0, 1, 2, 3, ...}

Q Conjunto dos Nmeros Racionais, portanto

Treine tais consideraes nas atividades abaixo.

Atividade 3: Assinale V (verdadeiro) ou F(falso) de acordo com as afirmati-

livro_matematica_M01.indd 39 3/12/2007 16:52:45

( ) Recife { x | x cidade de Pernambuco}

Observao: Uma vez admitida a representao {x | x satisfaz a proprie-

* Rena-se com um grupo de

* Consulte seus tutores a distncia

* Use os momentos de tutoria

* Faa um diagrama dos objetivos

Atividade 5: Para cada sentena indicada no quadro acima, informe qual

livro_matematica_M01.indd 40 3/12/2007 16:52:45

2. Se p uma sentena ento V(p) o modo como se indica seu valor

3. Compreender o uso dos smbolos especiais em matemtica parte impor-

4. A idia de conjunto bsica em Matemtica e amplia a idia que temos 41

1. Traduza para a linguagem corrente as seguintes sentenas matemticas:

2. Indique qual o valor lgico das sentenas acima.

3. Traduza para forma simblica matemtica as seguintes sentenas:

a. Todo o nmero natural um nmero racional.

livro_matematica_M01.indd 41 3/12/2007 16:52:45

c. Se x um inteiro par ento x2 um inteiro par.

d. x um inteiro impar se, e somente se x2 tambm um inteiro impar.

4. Indique o valor lgico de cada uma das sentenas da questo 3.

5. Escreva explicitamente os elementos dos seguintes conjuntos:

livro_matematica_M01.indd 42 3/12/2007 16:52:45

ANDRADE, Carlos Drummond de. Antologia Potica. 12 ed. Rio de Janeiro:

BOYER, Carl B. Histria da Matemtica. So Paulo: Edgar Blcher, 1974.

CASTRUCI, Benedito. Elementos da Teoria dos Conjuntos. So Paulo:

HALMOS, P. R. Teoria Ingnua dos conjuntos.So Paulo: Polgono, 1977.

HOGBEN, Lancelot. Maravilhas da Matemtica: influncia e funo da mate- 43