Responsvel pelo Contedo:

Prof. Ms. Adriana D. Freitas

Prof. Dr. Jussara Maria Marins

 Conjuntos
Consideraes Iniciais
Teoria dos Conjuntos
Operaes entre Conjuntos
Propriedades das Operaes entre Conjuntos
Intervalos Reais
Importncia da Teoria dos Conjuntos

A Teoria de Conjuntos e uma disciplina fundamental em toda a Matemtica,

Lgica e em Cincia da Computao. Mas no ficamos restritos a esses
campos. Podemos dizer, sem sombra de dvidas, que em todas as reas do
conhecimento humano aplicamos os conceitos de Teoria dos Conjuntos.
Junto com as noes mais intuitivas e sedimentadas j conhecidas, voc vai
adquirir uma nova linguagem simblica para descrever os mais diversos
fatos, tanto matemticos como de outros do dia a dia. A seguir, voc
aprender a expressar-se de forma mais objetiva, pois a linguagem
matemtica muito rica, apesar de ser to sinttica. Lidar e operar com
conjuntos a grande atrao dessa unidade.

Ateno
Para um bom aproveitamento do curso, leia o material terico atentamente antes de realizar
as atividades. importante tambm respeitar os prazos estabelecidos no cronograma.

3 Teoria dos Conjuntos

Conjuntos

Esta unidade tratara de alguns conceitos basicos de Teoria dos Conjuntos que podem
ser usados futuramente para Linguagens de Programacao assim como Linguagens Formais,
Compiladores e de Teoria de Computacao.

Consideraco
es Iniciais

A Teoria de Conjuntos teve sua formalizacao inicial com a publicacao em 1874 de um traba claro
lho de Georg Cantor (russo) que tratava sobre a comparacao de colecoes infinitas. E
que se falava e usava a nocao de conjuntos ha mais tempo. Quando bem mais tarde, pela
simplicidade das nocoes basicas iniciais, passou-se a ensinar estes conceitos na escola primaria
esta Teoria passou a ser associada com a Matematica Moderna, termo que atualmente esta
em desuso.
Vamos iniciar com os conceitos basicos da Teoria dos Conjuntos por ser uma maneira mais
clara de fazermos as primeiras colocacoes e ao mesmo tempo que introduzimos a notacao
basica que permeara todo o trabalho, embora ela nao seja exaurida neste captulo.
A notacao de Teoria dos Conjuntos assim como em Logica ou Computacao possui nuances
(variacoes), apesar da relativa estabilidade das duas primeiras areas e por isso faremos esta
compilac
ao, no sentido comum da palavra. A formalidade que sera usada esta diretamente
ligada ao conte
udo e adequada `as finalidades do presente trabalho.

Teoria dos Conjuntos

Conjuntos e elementos sao conceitos basicos e embora sejam descritos de diversas maneiras
informais e possuem certos limites para evitarmos certos paradoxos como o de Russell 1 .
Um conjunto, assim como os demais conceitos de Logica e Matematica sao abstracoes, e
o conjunto e uma delas para expressar uma delimitacao de objetos ou elementos. Um
conjunto pode ser uma colecao de objetos, se nao andarmos em crculos para dizer o que e
uma colecao.
Os conceitos b
asicos ou nocoes primitivas sao descritos, explicados, exemplificados enfim, entendidos mas n
ao s
ao definidos formalmente, pois do contrario cairamos em crculos
viciosos.
Os conjuntos podem ter como elementos quaisquer objetos inclusive outros conjuntos. A
notacao basica para indicar um conjunto e um par de chaves {, } indicadas, respectivamente,
para iniciar e terminar a delimitacao dos seus elementos. Temos o conjunto das tres primeiras
letras do alfabeto latino: {a, b, c} ou ainda {A, B, C}, mas certamente o conjunto das letras
{, , } nao e o conjunto da letras latinas.
O conjunto dos dgitos do sistema de numeracao hexadecimal e
1

Considere-se o conjunto M como sendo o conjunto de todos os conjuntos que nao se contem a si proprios
como membros. Formalmente temos um paradoxo: A e elemento de M se e so se A nao e elemento de A.

Cruzeiro do Sul Educacional

Campus Virtual

Unidade: Conjuntos
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E, F} ou {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, a, b, c, d, e, f }, o conjunto
da base decimal e {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, da base octal e {0, 1, 2, 3, 4, 5, 6, 7}, da base binaria
e {0, 1} e finalmente da base unaria e {0}.
O conjunto dos campi da Unicsul e {Sao Miguel, Analia Franco, Liberdade, Pinheiros}.

Rela
c
ao de Pertin
encia e a relacao basica entre um elemento e um conjunto. E
indicada por uma variacao da quinta letra do alfabeto grego: ou (epsilon). A negacao
desta relacao e indicada por <, e normalmente a barra sobre um smbolo indicara a negacao
deste smbolo.
Como a matematica utiliza relacoes abstratas, sempre trataremos com representacoes ou
smbolos. Por exemplo, a letra a e um smbolo para a primeira letra do alfabeto latino, o
smbolo da primeira letra letra do alfabeto grego de nome alfa e . Na realidade estamos
tratando de smbolos graficos para letras. Temos smbolos sonoros. Na escala musical, representada pelo pentagrama temos que na clave de sol o smbolo na segunda linha, de baixo
para cima, representa a nota sol. Uma palavra pode representar um objeto. A palavra gata
pode ser associada a Nala, o mamfero da ordem dos felneos que e a gata de minha filha.
Existe uma frase que diz sobre a diferenca entre representacao e a coisa representada. A
palavra cao nao morde.
Com conjuntos sempre estamos lidando com representacoes que com o tempo ficarao mais
gravadas na nossa memoria.
Exemplo 3.1. Conjuntos
O conjunto das tres u
ltimas letras min
usculas do alfabeto latino e dado por v,x,z. O
conjunto dos n
umeros de um CEP e 0,1,2,4 quando o CEP e 04121-040. Para deixar clara a
ideia de conjunto usamos as chaves e o nome do conjunto e indicado por uma letra mai
uscula,
em geral, latina. Deste modo a representacao dos conjuntos citados e:
A = {v, x, z}, B = {0, 1, 2, 4}
q
Os nomes, tanto dos elementos, como dos conjuntos sao arbitrarios, como quaisquer nomes, Alguns deles sao muito usados e tornam-se especiais, como os smbolos de Transito, de
propaganda, etc.
Exemplo 3.2. Os conjuntos numericos mais usados em Matematica sao:
N, Z, Q, R, C
q
O conjunto dos n
umeros naturais ou inteiros positivos e o zero e o conjunto basico.
Outros sao formados a partir dele.
N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . .}
Neste conjunto esta intrinsicamente firmada a nocao de ordem, isto e, 0 e menor que
qualquer n
umero natural, 1 < 2, 2 < 3, 4 < 5, . . . , 45 < 67, etc.
Cruzeiro do Sul Educacional

Campus Virtual

3 Teoria dos Conjuntos

Quando acrescentamos os n
umeros negativos temos o conjuntos dos inteiros:
Z = {. . . , 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, . . .}
Outros subconjuntos relacionados:
(x Z )[x < 0]
(x Z+ )[x > 0]
A relacao de ordem e intuitivamente a mesma dos naturais, um n
umero x e menor que
outro y se o primeiro vem antes do segundo. Como dizer formalmente que x vem antes de
y?
Podemos fazer isso, usando a definicao de adicao, 2 com a seguinte formula:
(x Z)[x < y (k Z+ )|y = x + k]
Para formar o conceito de fracao ou parte de algo inteiro, temos o conceito de n
umero
racional, que vem de razao ou divisao. Os povos ingleses tem muita familiaridade com o uso
de fracoes, pois suas medidas ainda usam o sistema historico a partir das medidas dos reis,
como a polegada. Nos ainda usamos raras vezes para dizer a bitola de parafusos, com o de
3/4, isto e 3/4 de polegada. O conjunto de todas as fracoes pode ser descrito sinteticamente
como:
{a
}
Q=
|a Z, b Z, b , 0
b
Todos os conjuntos acima sao infinitos, enumeraveis e equivalentes, isto e possuem o
mesmo n
umero de elementos.Veremos
mais detalhes depois.

Existem n
umeros como 2, 5, , e etc. que nao sao racionais, isto e, nao podemos
coloca-los numa forma fracionaria. Eles possuem infinitos dgitos e nao formam perodos.
Os seguintes n
umeros possuem infinitos dgitos, mas podem ser postos numa forma
fracion
aria ou racional pois formam perodos de repeti
c
ao.
4
1
1
0.3333333 . . . = , 0.44444444 . . . = ; 0.142857142857 . . . =
3
9
7
34135 34 34101
0.34135135135 . . . =
=
99900
99900
Porem os n
umeros irracionais n
ao podem ser postos na forma fracion
aria.
O conjuntos de todos os n
umeros racionais e irracionais formam o conjunto dos n
umeros
reais:
R.
O conjunto dos complexos surgem quando precisamos expressar n
umeros que correspondem `as razes quadradas de n
umeros negativos.
2

que sera vista mais tarde.

Cruzeiro do Sul Educacional

Campus Virtual

Unidade: Conjuntos

C = {a + bi |a R, b R i =

1}

Existem varios modos de indicar conjuntos, o primeiro e explicando quem sao os seus
elementos, pela citacao de cada um dos seus elementos e o segundo e pela citacao de uma
propriedade comum a todos seus elementos. Podemos ter tambem o modo pela representacao
por Diagramas.
Exemplo 3.3. Conjuntos: extensao e compreensao.
Consideremos que A e o conjunto dos n
umeros naturais pares entre 2 e 12, inclusive; B e
o conjunto dos n
umeros naturais entre 4 e 13. Assim:
A = {2, 4, 6, 8, 10, 12};

B = {4, 5, 6, 7, 8, 9, 10, 11, 12, 13},

onde os conjuntos estao indicados por extensao e a seguir eles sao representados por compreensao.
A = {x N|2 x 12 e x e par}
B = {x N|4 x 13}
q
A relacao basica (portanto nao tem definicao) que expressa a ligacao entre elemento e
conjunto e a pertin
encia.
Exemplo 3.4. Exemplos de Conjuntos e Pertinencia.
A = {x N|2 x 12 e x e par};

B = {4, 5, 6, 7, 8, 9, 10, 11, 12, 13}, C = {2, 4, 6, 8, 10, 12} e

D = {4, {5, 6}, 3, {5}, 5}

2 A,

5 < A,

4 B,

2<B

Observe que o conjunto D possui n

umeros e conjuntos. Podemos ter conjuntos de conjuntos.
O conjunto D possui 4 elementos, sendo que dois deles sao n
umeros e outros conjuntos; seus
elementos sao os n
umeros 4 e 3 e os conjuntos {5, 6} e {5}.
4 D,

{5, 6} D,

{4} < D, , 5 D e {5} D

6 < D.

Observemos que A = C, A , B e A , D.
q
A condicao x e par e dita um predicado dado pelo verbo ser e o predicativo par ou
uma sentenca que associa uma propriedade: par ao elemento x. As relacoes numericas da
aritmetica costumam ser usadas para indicar muitos dos predicados. As nocoes basicas ou
conceitos primitivos que ja usamos foi conjunto, elemento e relacao de pertinencia.
Cruzeiro do Sul Educacional

Campus Virtual

3 Teoria dos Conjuntos

Muitos dos conceitos que voce estudara aqui ja foram visto no ensino medio, porem
agora faremos, quando possvel e adequado uma formalizacao maior com o objetivo de lhe
proporcionar uma maturidade cientfica que sera necessaria ao longo do curso.
Os axiomas fazem parte desta formalizacao! Um axioma, postulado ou dogma (sao
sinonimos) e uma afirmac
ao verdadeira que nao pode ser provada, pois ela e evidente ou
aceita como tal e serve de base para provar as demais afirmacoes como os teoremas que
devem ser provados. Do contrario tambem cairamos em crculos viciosos.
A questao da evidencia em Matematica, Fsica ou outra ciencia pode ser considerada por
alguns, como de natureza diferente da Religiao, ou Psicologia, por exemplo. Mas isto e um
assunto controverso.

3.1

Axiomas de Teoria de Conjuntos

Sao as afirmacoes relativas a conjuntos que sao consideradas para que possamos provar outras
afirmacoes que constituem a Teoria dos Conjuntos. Todas elas parecem obvias, o que e o
caracter principal de um axioma. Eles nao precisam ser provados, ao passo que os teoremas
e propriedades precisam ser provados na Matematica e nao apenas exemplificados.
Axioma 1: Extens
ao ou Igualdade
Dois conjuntos sao iguais se e somente se tem os mesmos elementos.

Embora seja intuitiva a nocao de igualdade requer os mesmos cuidados que temos ao
construirmos conjuntos, para evitar ambiguidades ou paradoxos, como os de Russel. Alguns
livros colocam isto como uma definicao mas e um axioma.
Exemplo 3.5. Conjuntos Iguais ou Diferentes
Considere os conjuntos:
A = {4, 6, 8}, B = {1, 3, 5}, C = {x N|1 x 5 e x e mpar} ou C = {5, 1, 3}
A , C,

A , B,

B=C

q
Num conjunto, nao importa a ordem ou a maneira que aparecem os seus elementos.
Axioma 2: Especificac
ao
A todo conjunto A e a toda condicao S (x) corresponde um conjunto B cujos elementos
sao exatamente aqueles elementos x de A para os quais S (x) vale.

Este axioma permite criar conjuntos de outros conjuntos ou subconjuntos. Logo, podemos
escrever:
B = {x A|S (x)}
Exemplo 3.6. Especificacao de Conjuntos
Considere os seguintes conjuntos:
Cruzeiro do Sul Educacional

Campus Virtual

Unidade: Conjuntos

1. O conjunto dos n
umeros primos entre 6 e 20.
{x N|6 < x < 20 x e primo} = {11, 13, 17, 19}
2. O conjunto dos n
umeros perfeitos menores que 500.
{x N|x < 500 x e perfeito} = {6, 28, 496}
3. O conjunto das razes da equacao x2 8x + 15 = 0.
{x R|x2 8x + 15 = 0} = {3, 5}

q
Outra consideracao que fazemos e a respeito do conjunto vazio. Intuitivamente, como
um conjunto e uma abstracao de coisas (abstratas ou nao), podemos ter conjuntos com um,
dois ou mais elementos. Quando o conjunto nao tem elementos ele e dito vazio. Mas como
especificar este conjunto? Uma maneira e dizer{x A|x , x}, ou qualquer outra especificacao
que resulte numa impossibilidade. Vamos indica-lo por .
= {x A|x , x}
Uma aplicacao da relacao de inclusao e que o conjunto vazio e subconjunto de qualquer
conjunto.
(X)[ X]
Para provar este fato, fazemos uso da Prova por Absurdo, que no caso de se provar
alguma `a respeito do conjunto vazio recebe o nome de prova por vacuidade. No caso, supomos
que 1 X. Logo todos elementos x tal que x e que x < X. Ora como nao tem elementos,
isto e um absurdo. Isto termina a prova, que e usualmente indicada nos livros de matematica
como q.e.d.3
Resta saber se:
(1) Ha conjuntos suficientes para garantir que todo conjunto e elemento de algum conjunto?
(2) Dados dois conjuntos quaisquer existe um terceiro a qual ambos pertencem? E se
tivermos mais conjuntos? O seguinte axioma nos da um resposta para o item 2, na primeira
parte.
Axioma 3: Axioma do Par
Para dois conjuntos quaisquer existe um conjunto ao qual ambos pertencem.

Logo podemos escrever que se a e b sao conjuntos e se A e um conjunto ao qual ambos

pertencem, entao pelo axioma da especificacao temos:
{x A|x = a ou x = b}
3

quod erat demonstrandum, em latim

Cruzeiro do Sul Educacional

Campus Virtual

3 Teoria dos Conjuntos

Pelo axioma da extensao, so pode haver um conjunto com esta propriedade e da a notacao
usual para este conjunto e
{a, b}
Se a e um conjunto, podemos formar um par com ele mesmo e da temos um par n
ao
ordenado {a, a} que e indicado por so por { {a} } que e obviamente unitario. Um conjunto
com um elemento que e um outro conjunto. Analogamente temos , {}. Agora podemos
considerar a existencia de muitos conjuntos diferentes, assim formados por exemplo:
, {}, {{}}, {{{}}}, {{{{}}}} . . .
Tambem podemos formar os pares deles quaisquer.
Defini
c
ao 3.1. Cardinalidade de Conjuntos
O n
umero de elementos de um conjunto A e a sua cardinalidade e e indicado por #A ou
n(A) ou ainda |A|.

Exemplo 3.7. Cardinalidade ou n

umero de elementos de um conjunto
Considere os seguintes conjuntos do exemplo anterior:
1. O conjunto dos n
umeros primos entre 6 e 20.
#{11, 13, 17, 19} = 4
2. O conjunto dos n
umeros perfeitos menores que 500.
#{6, 28, 496} = 3
3. O conjunto das razes da equacao x2 8x + 15 = 0.
#{3, 5} = 2
4. # = 0 #{} = 1,

#{, {}} = 2

5. #N = #Z = #Q =
q
Se o conjunto tem um so elemento ele e chamado de unit
ario, se tem dois elementos e
bin
ario, etc.
Se um conjunto e a referencia para a formacao dos demais ele e o conjunto Universo.
Axioma 4: Reuni
ao
Para toda colecao de conjuntos,digamos C existe um conjunto U que contem todos os
elementos que pertencem a, pelo menos um conjunto da dada colecao.
Cruzeiro do Sul Educacional

Campus Virtual

Unidade: Conjuntos

Este axioma nao possui uma interpretacao simples e e preciso construir esta uniao, digamos, passo `a passo.
{x U|(X C) e x X}
Existe um subconjunto no Universo e existe uma colecao C de x que forma o subconjunto
ou conjunto X.
U = {x|(X C) e x X}
Para deixar mais claro o fato de que temos uma reuniao de elementos em algum conjunto,
temos:

{X|X C)} ou

XC

Para indicar que um conjunto A tambem e uma reuniao temos:

{X|X {A}} =not A

Usaremos =not para indicar que o lado esquerdo e igual por nota
c
ao ao lado direito. Para
fazer a reuniao ou simplesmente uniao de um par de conjuntos A e B temos:

{X|X {A, B}} =not A B

Finalmente, podemos definir Uniao de conjuntos, uma vez que existe tal reuniao.
Defini
c
ao 3.2. A Uniao de dois conjuntos A e B e dada por:
de f

A B = {x|x A ou x B}

Usando a logica e seu operador de disjuncao no lugar do ou, para descrever a uniao
temos4
de f
A B = {x|x A x B}
Exemplo 3.8. Uniao de Conjuntos
Considere os conjuntos:
A = {10, 11, 13, 17, 19, 20} B = {11, 12, 13, 15, 17, 18, 19, 20, 21, 23} C = {1, 2, 3, 4}
4

A conjunc
ao ou em portugues tem duas formas: (1) ou simples, que subentende o sentido do e.(2) ou
exclusivo: ou ...ou, no sentido de ou isto ou aquilo excluindo o sentido de e. Se digo que desejo uma blusa
azul ou rosa, pode ser ou azul e n
ao rosa, azul e nao rosa, ou azul e rosa. Em geral na linguagem coloquial
nao fazemos diferenca entre eles.

Cruzeiro do Sul Educacional

Campus Virtual

3 Teoria dos Conjuntos

1. A B = {10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 23}
2. A C = {1, 2, 3, 4, 10, 11, 13, 17, 19, 20}
3. B C = {1, 2, 3, 4, 11, 12, 13, 15, 17, 18, 19, 20, 21, 23}
4. A = A
q
Axioma 5: Conjunto das Partes ou Pot
encia
Para cada conjunto existe uma colecao de conjuntos que contem entre seus elementos
todos os subconjuntos do conjunto dado.

Os subconjuntos, que como o nome indica sao conjuntos dentro de outros conjuntos. Com
isto temos uma nova relacao, agora nao mais entre elemento e conjunto, mas entre conjuntos, e
chamada de Relacao de Inclusao: estar contido ou, dualmente continencia: conter e ela
pode ser definida. Vamos usar notacoes da Logica, para simplificar as notacoes e explicacoes.
Enquanto a relacao binaria de pertinencia, que faz a ligacao entre elementos e conjuntos seja
primitiva, a relacao tambem binaria entre conjuntos de inclusao, embora intuitiva, e definida
do seguinte modo:
Defini
c
ao 3.3. Rela
c
ao de Inclus
ao
Um conjunto A esta contido um conjunto B quando todos os elementos de A tambem
pertencem a B.
A B de f (x)[x A x B]
dualmente:
B A de f A B
dizemos que no primeiro caso A esta contido ou e igual a B e no segundo caso, B contem ou
e igual a A.

Usaremos o smbolo de f para indicar que estamos introduzindo uma notacao simultaneamente com uma definicao. O smbolo significa entao e e estudado em Logica. Dizemos
que A B, ou seja, A esta contido em B, se A B mas A , B. Analogamente A B se A
contem B, mas e diferente de B.
O conjunto das partes do conjunto A e indicado por P(A) e
de f

P(A) = {X|X A}
Podemos salientar que a relacao de Inclusao e binaria indicando:
: P(A) P(A)
O conjunto P(A) indica o conjunto de todos os subconjuntos do conjunto A.
Cruzeiro do Sul Educacional

Campus Virtual

Unidade: Conjuntos

Exemplo 3.9. Inclusao

Consideremos os conjuntos seguintes A = {a, b, c, d, e, f }, B = {b, c, d}, C = {d, e, f, g, h} e
D = {a, b, f }. As seguintes afirmacoes sao verdadeiras:
B A, D A, C 1 A, A 1 C, D 1 C, A 1 B
Observe que agora estamos comparando conjuntos com conjuntos e nao elementos
com conjuntos.
q
Exemplo 3.10. Conjunto das Partes
Sejam os conjuntos A = {x}, B = {x, y} e C = {x, y, z}, entao:
P() = {}
P(A) = {, {x}}
P(B) = {, {x}, {y}, {x, y}}
P(C) = {, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}
q
Usamos a palavra potencia pois o n
umero de subconjuntos de um conjunto finito A com
n elementos e dado por
#P(A) = 2n , ou |P(A)| = 2n
Usualmente chamamos de Conjunto Universo o conjunto das partes de um conjunto
ou um conjunto que se toma por referencia.
Defini
c
ao 3.4. Parti
c
ao
Um conjunto de conjuntos e uma Particao de um conjunto A quando ocorre as seguintes
condicoes:
1. a uniao de todos os conjuntos gera o conjunto A;
2. a interseccao de dois conjuntos quaisquer e sempre vazia;
3. cada um dos conjuntos e diferente do vazio.

Exemplo 3.11. Particoes

Considere o conjunto A = {, ^, , }.
As seguintes famlias sao particoes de A.
1. {, ^}, {, }}
Cruzeiro do Sul Educacional

10

Campus Virtual

4 Operacoes entre Conjuntos

2. {{, {^}, {}, {}}
As seguintes famlias nao sao particoes de A.
1. {{}, {, }, {, ^}}
Neste caso nao satisfaz a segunda condicao.
2. {{}, {^, }}
Neste caso nao satisfaz a primeira condicao.
q
Ja estamos acostumados a fazer operacoes com n
umeros desde 4 ou 6 anos, mas de fato
fazemos operacoes com conjuntos muito antes, de modo natural e l
udico.

Operac
oes entre Conjuntos

Agora podemos definir as operacoes entre conjuntos e num estudo completo faz-se as demonstracoes de cada um dos teoremas que podem ser deduzidos.

4.1

Intersec
c
ao de Conjuntos

A uniao de conjuntos foi definida anteriormente e e bem intuitiva e muito comum.

Defini
c
ao 4.1. Intersec
c
ao
A interseccao entre os conjuntos A e B e o novo conjunto dado pelos elementos que
existem concomitantemente nestes dois conjuntos, isto e, que estao nos dois conjuntos, ao
mesmo tempo.
de f

A B = {x|x Ae x B}
de f

A B = {x|x A x B}

Exemplo 4.1. Sejam os conjuntos:

A = {0, 2, 6, 8, 10, 12}, B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}, C = {0, 3, 6, 9, 15, 19, 20},
D = {1, 3}
A operacao de Uniao entre eles e:
A B = {2, 6, 8, 10, 12}, A C = {0}, A D =
Observe que os elementos comuns entre A e B estao em vermelho, assim como na interseccao, enquanto que os comuns entre A e C estao em azul, ao passo que nao ha elementos
comuns entre A e D, logo a interseccao e vazia.
Cruzeiro do Sul Educacional

11

Campus Virtual

Unidade: Conjuntos

Figura 1: Possibilidades de Interseccao entre os conjuntos A e B

Figura 2: Possibilidades de Uniao entre os conjuntos A e B

B C = {3, 6, 9}, B A = {2, 6, 8, 10, 12}, B D = D

C D = {3}, D A = {}
q
A representacao de conjuntos tambem pode ser pictorica. Existem varias maneiras de
representar conjuntos, pelos diagramas de Venn, ou tambem chamados de diagramas de
Euler, por intervalos na reta ou ainda regioes do plano cartesiano. Como exemplos vemos
3 casos na figura 1.As formas A e B representam conjuntos e estao nas cores ocre e laranja,
respectivamente e a interseccao entre eles torna-se azul.
Analogamente podemos representar a Uniao entre os conjuntos, atraves do mesmo tipo
de diagrama. A figura 2 mostra em rosa a uniao dos conjuntos A e B.
Ver relacao entre tabela-verdade e diagramas em
http://www.pucsp.br/~logica/Conjuntos.htm

4.2

Diferen
ca entre Conjuntos

Na Diferenca entre conjuntos temos uma nocao mais elaborada, pois envolve duas caracterstica e ainda uma negacao.
Defini
c
ao 4.2. Diferen
ca
A diferenca entre os conjuntos A e B e o novo conjunto dado pelos elementos que existem
no conjunto A mas nao estao no conjunto B.
Cruzeiro do Sul Educacional

12

Campus Virtual

4 Operacoes entre Conjuntos

Figura 3: Possibilidades da Diferenca entre os conjuntos A e B

de f

A B = {x|x A e x < B}

Exemplo 4.2. Diferenca entre Conjuntos

Considere os mesmos conjuntos do exemplo anterior.
A B = {0}, A C = {2, 8, 10, 12}, B D = , B A = {1, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14}
Observe que a diferenca entre conjuntos nao e comutativa, isto e, a referencia e o primeiro
conjunto, logo
A B , B A, e A B A
q
Continuando com os mesmo desenhos dos diagramas anteriores, temos que agora A B e
indicado pela cor verde, conforme esta mostrado na fig 3.

4.3

Mais um Axioma e os Pares Ordenados

O seguinte axioma e tambem chamado de axioma da Escolha, foi enunciado em por Ernst
Zermelo.
Dada uma famlia qualquer de conjuntos nao-vazios, e possvel construir um conjunto
escolhendo exatamente um elemento de cada um dos membros dessa famlia. Esta escolha
pode ser descrita como uma funcao, a funcao de escolha, a qual pode ter um criterio ja
conhecido ou razoavel, como tambem pode ser totalmente arbitraria. Se temos um conjunto
finito podemos fazer escolhas sistematicas de modo que cada escolha seja definida. Por outro
lado se o conjunto e infinito, uma maneira de fazer escolhas nao e, objetivamente falando,
alvo de escolhas facilmente descritas. A partir da, podemos definir Produto Cartesiano que
e feito entre conjuntos para diferencia-lo de outros produtos.
Primeiro vamos definir par ordenado. A nocao de ordenacao nao esta intrisicamente
associada ao conjunto dos Naturais, conjunto essencialmente ordenado.
Cruzeiro do Sul Educacional

13

Campus Virtual

Unidade: Conjuntos

Defini
c
ao 4.3. Par Ordenado
Um par ordenado e:
(a, b) =de f {{a}, {a, b}}

Observamos que esta definicao nao e arbitraria, e esta relacionada com a inclusao pois
{a} {a, b}.
Defini
c
ao 4.4. Produto Cartesiano
Dados dois conjuntos A e B, o Produto Cartesiano e formado por todos os pares ordenados
formados com um primeiro elemento de A e com o segundo elemento de B.
de f

A B = {(x, y)|x A e y B}

Axioma 6: Axioma da Escolha ou de Zermelo

O produto cartesiano de uma colecao nao vazia de conjuntos nao vazios e nao vazia.

Exemplo 4.3. Considere os seguintes conjuntos: X = {1, 2, 3} e {a, b}. O produto cartesiano
entre eles e:
X Y = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)} e Y X = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}
X = e X Y , Y X e X X = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}
q
Um desenho do exemplo anterior pode ser visto como na figura 4 usando um diagrama
comum. Tambem podemos usar os eixos do plano cartesiano, com os elementos do conjunto
A no eixo horizontal ou das abscissas e os elementos do conjunto B no eixo vertical ou das
ordenadas.

Figura 4: Produto Escalar entre os conjuntos A e B

Cruzeiro do Sul Educacional

14

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

4.4

Conjunto Complementar

A nocao seguinte e totalmente baseada no conceito intuitivo de partes complementares - as

que se completam.
Defini
c
ao 4.5. Conjunto Complementar
Dado um conjunto Universo ou referencial U o complementar de uma parte ou subconjunto
de U dado por A e indicado por A ou A e definido como
de f

A = A = U A
ou seja, todos elementos que estao no Universo mas nao estao em A.

Exemplo 4.4. Seja U = {k, y, w, ,}.

1. A = {k}, A = {y, w, ,};

B = {k, y, w}, B = {,},

A = , A = U

q
A partir daqui podemos construir os demais conceitos, definicoes e teoremas da teoria dos
conjuntos e posteriormente podemos outras teorias a partir dela, como por exemplo, a Teoria
dos Grupos, a Teoria das Probabilidades, etc.

Propriedades das Opera

co
es entre Conjuntos

Todas as propriedades da Teoria dos Conjuntos dadas a seguir podem ser provadas formalmente. Em alguns casos ja vimos exemplos, porem os exemplos, mesmo que numerosos, nao
constituem provas. Nos cursos de Matematica e em livros especficos existem estas provas.
Teorema 5.1. Propriedades das Opera
c
ao de Uni
ao de conjuntos
Sejam A, B e C conjuntos quaisquer.
1. A = A
2. Comutatividade
AB= BA
3. Idempotencia
AA= A
4. Associatividade
(A B) C = A (B C)
Cruzeiro do Sul Educacional

15

Campus Virtual

Unidade: Conjuntos
5. A B se e somente se A B = B

Teorema 5.2. Propriedades das Opera

c
ao de Intersec
c
ao de conjuntos
Sejam A, B e C conjuntos quaisquer.
1. A =
2. Comutatividade
AB= BA
3. Idempotencia
AA= A
4. Associatividade
(A B) C = A (B C)
5. A B se e somente se A B = A

Teorema 5.3. Propriedades Distributivas

Sejam A, B e C conjuntos quaisquer.
1. Distributiva da Uniao perante a Interseccao
A (B C) = (A B) (A C)
2. Distributiva da Interseccao perante a Uniao
A (B C) = (A B) (A C)

Teorema 5.4. Propriedades do Produto Cartesiano

Sejam A, B, X e Y conjuntos quaisquer.
1. (A B) X = (A X) (B X)
2. (A B) (X Y) = (A X) (B Y)
3. (A B) X = (A X) (B X)
Cruzeiro do Sul Educacional

16

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

Figura 5: Conjuntos A, B e C

Teorema 5.5. Propriedades do Complementar

Seja U um conjunto Universo e A um subconjunto de U.
1. (A ) = A
O complementar do complementar de um conjunto e o proprio conjunto.
2. = U
3. U =

Todos teoremas anteriores sao demonstraveis a partir dos axiomas e das definicoes dadas
e da Logica.
Num curso de Matematica estas provas sao todas desenvolvidas, passo `a passo. Isto
constitui a Matematica uma ciencia, alias uma ciencia belssima.

5.1

Exemplos

Exemplo 5.1. Sejam dados os seguintes conjuntos e fa

ca a Uni
ao entre dois quaisquer
deles.
U = {1, 2, 4, 5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40, 45, 50, 60, 70}e U N
A = {5, 10, 20, 25, 30, 35, 40}, B = {8, 10, 12, 18, 20, 22, 30, 35}, C = {10, 18, 20, 40, 45, 50, 60}
Veja o diagrama de Venn dos conjuntos na figura 5.
(a) A B = {5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40}
Veja o diagrama de Venn dos conjuntos e da Uniao na figura 6.
Cruzeiro do Sul Educacional

17

Campus Virtual

Unidade: Conjuntos

Figura 6: Conjuntos A B em azul

Figura 7: Conjuntos B C em Amarelo

Cruzeiro do Sul Educacional

18

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

Figura 8: Conjuntos A B em Verde e B C em Laranja.

(b) B C = {8, 10, 12, 18, 20, 22, 30, 35, 40, 45, 50, 60}
Veja o diagrama de Venn dos conjuntos e da interseccao na figura 7.
(c) A C = {5, 10, 18, 20, 25, 30, 35, 40, 45, 50, 60}
(d) B A = {5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40}
entao A B = B A , como e de esperar pela Propriedade Comutativa da Uniao.
(e) C A = {5, 10, 18, 20, 25, 30, 35, 40, 45, 50, 60},
entao A C = C A , pela mesma propriedade.
(f ) A A = {5, 10, 20, 25, 30, 35, 40} = A
(g) BB = B
(h) A = A

CC = C Isto sera sempre verdade, pela propriedade da Idempotencia.

B = B

C=C
q

Exemplo 5.2. Sejam dados os mesmo conjuntos anteriores e fa

ca a Intersec
c
ao entre
eles, dois a dois.
A = {5, 10, 20, 25, 30, 35, 40}, B = {8, 10, 12, 18, 20, 22, 30, 35}, C = {10, 18, 20, 40, 45, 50, 60}
(a) A B = {10, 20, 30, 35}
Veja o diagrama de Venn dos conjuntos na figura 8.
(b) A C = {10, 20, 40}
(c) B C = {10, 18, 20}
Cruzeiro do Sul Educacional

19

Campus Virtual

Unidade: Conjuntos

Figura 9: Conjuntos A, B e C e Interseccoes

(d) B A = {30, 35, 10, 20},

entao A B = B A , como e de esperar pela Propriedade Comutativa da Interseccao.
(e) C A = {10, 20, 40},
entao A C = C A , pela mesma propriedade.
(f ) A =
(g) B =
Observe que na figura 9 estao em cores diferentes as interseccoes entre os conjuntos dois
a dois. Em branco esta a interseccao entre os tres A B C. Logo, A B esta em verde e
branco, B C esta em laranja e branco, enquanto A C esta em roxo e branco.
q
A propriedade Comutativa permite comutar, isto
e,
TROCAR
a ordem dos operandos que o resultado sera igual, o mesmo.
Propriedade Comutativa vale tanto para a Uniao como para a Interseccao.
Exemplo 5.3. Sejam dados os mesmo conjuntos anteriores e fa
ca a Uni
ao entre os tr
es.
(a) (A B) C = ({5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40}) {10, 18, 20, 40, 45, 50, 60} = =
{5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40, 45, 50, 60}
(b) Fazendo em primeiro lugar a uniao do segundo e terceiro temos:
A (B C) = {5, 10, 20, 25, 30, 35, 40} {8, 10, 12, 18, 20, 22, 30, 35, 40, 45, 50, 60} =
{8, 10, 12, 18, 20, 22, 30, 35, 40, 45, 50, 60, 5, 25}
que possui os mesmo elementos que o item anterior.
Cruzeiro do Sul Educacional

20

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

Isto e verdadeiro sempre, e nao so neste exemplo, pela propriedade Associativa da

Uni
ao. Como as operacoes sao binarias, entre dois conjuntos, devemos escolher quais serao
feitas inicialmente.
q
Exemplo 5.4. Sejam dados os mesmo conjuntos anteriores e fa
ca a Intersec
c
ao entre
os tr
es.
(a) (A B) C =
Facamos primeiro o que esta dentro dos parenteses:(A B) e depois com C.
({10, 20, 30, 35}) {10, 18, 20, 40, 45, 50, 60} = {10, 20}
(b) A (B C) = {5, 10, 20, 25, 30, 35, 40} {10, 18, 20} = {10, 20}
que possui os mesmo elementos que o item anterior.
q
Isto e verdadeiro sempre, e nao so neste exemplo, pela propriedade Associativa da
Intersec
c
ao.
A propriedade Associativa permite associar, isto
e,
JUNTAR
os operandos de modo diferente que o resultado sera igual, o mesmo.
Propriedade Associativa vale tanto para a Uniao como para a Interseccao.
Como nestas duas operacoes individualmente vale sempre a Associatividade, entao nao e
obrigatorio o uso de Parenteses.
Porem se tivermos operacoes diferentes precisamos estabelecer ou a prioridade ou os parenteses.
Exemplo 5.5. Uniao e Interseccao juntas.
Determinar o resultado de A B C = . . .
Se fizermos em primeiro lugar a uniao:
(a) (A B) C
(A B) C = {5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40} C = {10, 18, 20, 40}
ou em primeiro lugar a interseccao:
(b) A (B C) = A {10, 18, 20} = {5, 10, 18, 20, 25, 30, 35, 40}
que possuem resultados diferentes e que podem ser vistos na figura 10.
Logo, neste caso (A B) C , A (B C).
Cruzeiro do Sul Educacional

21

Campus Virtual

Unidade: Conjuntos

Figura 10: Conjuntos (A B) C , A (B C)

Figura 11: Conjuntos A B e A C

q
Exemplo 5.6. Diferenca entre conjuntos, dois a dois.
Ainda com os mesmos conjuntos anteriores facamos:
(a) A B = {5, 25, 40}
Veja o diagrama na figura 11
(b) A C = {5, 25, 30, 35}
(c) B C = {8, 12, 22, 30, 35}
(d) B A = {8, 12, 18, 22}
(e) C A = {18, 45, 50, 60}
(f ) C B = {40, 45, 50, 60}
Cruzeiro do Sul Educacional

22

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

(g) A A =
(h) A = A
Agora, com a diferenca entre conjuntos, se trocarmos a ordem dos conjuntos, teremos
resultados diferentes, A B , B A, logo a diferenca nao e comutativa.
q
Exemplo 5.7. Diferenca entre conjuntos, com tres conjuntos.
Ainda com os mesmos conjuntos anteriores facamos:
(a) (A B) C = {5, 25, 40} {10, 18, 20, 40, 45, 50, 60} = {5, 25}
(b) A (B C) = {5, 10, 20, 25, 30, 35, 40} {8, 12, 22, 30, 35} = {5, 10, 20, 25, 40}
Juntando de modo diferente pelos parenteses, temos resultados diferentes.
(c) (B C) A = {8, 12, 22, 30, 35} {5, 10, 20, 25, 30, 35, 40} = {8, 12, 22}
(d) B (C A) = {8, 10, 12, 18, 20, 22, 30, 35} {18, 45, 50, 60} = {8, 10, 12, 20, 22, 30, 35}
q
Agora, com a diferenca entre conjuntos, se associarmos os conjuntos de modo diferente,
teremos resultados diferentes.
A diferenca n
ao
e Associativa.
Faca o complementar dos conjuntos indicados:
Relembrando U = {1, 2, 4, 5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40, 45, 50, 60, 70}
Exemplo 5.8. Complementar
Faca o complementar dos conjuntos indicados.
Relembrando U = {1, 2, 4, 5, 8, 10, 12, 18, 20, 22, 25, 30, 35, 40, 45, 50, 60, 70}
A = {5, 10, 20, 25, 30, 35, 40}, B = {8, 10, 12, 18, 20, 22, 30, 35}, C = {10, 18, 20, 40, 45, 50, 60}
(a) A = U A = U {5, 10, 20, 25, 30, 35, 40} = {1, 2, 4, 8, 12, 18, 22, 45, 50, 60, 70}
Veja o diagrama na figura 12.
(b) B = U B = U {8, 10, 12, 18, 20, 22, 30, 35} = {1, 2, 4, 5, 25, 40, 45, 50, 60, 70}
(c) C = U C = U {10, 18, 20, 40, 45, 50, 60} = {1, 2, 4, 5, 8, 12, 22, 25, 30, 35, 70}
(d) U =
(e) = U
q
Cruzeiro do Sul Educacional

23

Campus Virtual

Unidade: Conjuntos

Figura 12: Conjunto Complementar de A em Amarelo.

Figura 13: Produto cartesiano: D E

Exemplo 5.9. Produto cartesiano

Sejam D = {1, 2, 4} e E = {5, 25}, ambos subconjuntos de U.
(a) D E = {(1, 5), (1, 25), (2, 5), (2, 25), (4, 5), (4, 25)}
O diagrama do Produto Cartesiana e melhor visualizado num plano, tambem chamado de cartesiano, onde o primeiro conjunto fica no eixo horizontal e o segundo no
vertical, conforme esta na figura 13
(b) E D = {(5, 1), (5, 2), (5, 4), (25, 1), (25, 2), (25, 4)}
(c) E E = {(5, 5), (5, 25), (25, 5), (25, 25), }
(d) E =
Observacao: nao existem elementos no vazio.
Cruzeiro do Sul Educacional

24

Campus Virtual

5 Propriedades das Operacoes entre Conjuntos

q
Exemplo 5.10. Propriedades Distributivas
Com os conjuntos ja dados, faca:
(a) E (A B) = {5, 25} {10, 20, 30, 35} =
{(5, 10), (5, 20), (5, 30), (5, 35), (25, 10), (25, 20), (25, 30), (25, 35)}
(b) E A = {(5, 5), (5, 10), (5, 20), (5, 25), (5, 30), (5, 35), (5, 40), (25, 5), (25, 10),
(25, 20), (25, 25), (25, 30), (25, 35), (25, 40)}
(c) E B = {(5, 8), (5, 12), (5, 18), (5, 20), (5, 22), (5, 10), (5, 30), (5, 35)
(25, 8), (25, 12), (5, 18), (25, 20), (25, 22), (25, 10), (25, 30), (25, 35)}
(d) (E A) (E B) = {(5, 10), (5, 20), (5, 30), (5, 35), (25, 10), (25, 20), (25, 30), (25, 35)}
Logo, E (A B) = (E A) (E B), ou estabelecendo a prioridade do produto
cartesiano temos:
E (A B) = E A E B.
Observe que os resultados (a) e (d) sao iguais, o que sera sempre verdade, independentemente dos exemplos, pela Propriedade distributiva do produto cartesiano para a
intersec
c
ao.
O mesmo vale para a Propriedade distributiva do produto cartesiano para
a uni
ao.
q
Resumindo, vimos algumas propriedades das operacoes com conjuntos, que forma indicadas na secao 2.2.3. Logo valem para quaisquer conjuntos A e B do conjunto Universo
(A, B U), exatamente como esta a seguir.

Uni
ao e Intersecc
ao s
ao comutativas.
(A, B U)[A B = B A, A B = B A],
ao e Intersecc
ao s
ao associativas.
Uni
(A, B, C U)[(A B) C = A (B C), (A B) C = A (B C)],
O Produto Cartesiano se Distribui para a Uni
ao e Intersec
c
ao.
(A, B, C U)[(A (B C) = (A B) (A C), A (B C) = (A B) (A C)]

ao s
ao nem comutativas nem associativas.
Diferenca e Produto Cartesiano n
Cruzeiro do Sul Educacional

25

Campus Virtual

Unidade: Conjuntos

Figura 14: Intervalo Fechado [a, b] e intervalo aberto (c, d)

Intervalos Reais

Conforme ja foi visto o conjunto dos reais R e contnuo, isto e, a reta real possui todos os
n
umeros naturais, inteiros, racionais e inclusive os irracionais.
Os subconjuntos dos reais formam intervalos, que podem ser fechados, abertos ou mistos.
Defini
c
ao 6.1. Intervalo Fechado
O intervalo fechado [a, b] com extremidades a e b e aquele que possui todos os elementos
indicado pelos colchetes: [ para iniciar e ] para
entre as extremidades e inclusive elas. E
fechar.
[a, b] = {x |R| a x b}

Defini
c
ao 6.2. Intervalo Aberto
O intervalo aberto (a, b) com extremidades a e b e aquele que possui todos os elementos
indicado pelos parenteses: ( para iniciar e )
entre as extremidades e exceto elas proprias. E
para fechar.
(a, b) = {x |R| a < x < b}

Exemplo 6.1. Intervalos Abertos e Fechados Os intervalos reais contem todos os pontos
ou n
umeros reais que estao delimitados. Nas figuras uma extremidade cheia indica uma
extremidade fechada, ao passo que a oca indica uma extremidade aberta. Na figura 14
Os intervalos podem ser mistos , isto e, possui uma extremidade aberta e outra fechada
ou vice-versa.
q
Observaco
es: As notacoes para intervalos variam entre duas formas mais comuns. A
primeira como descrevemos anteriormente e a proxima que tambem e usada.
1. Intervalo Aberto
Usamos os colchetes em vez de parenteses.
]a, b[= {x |R| a < x < b}
Cruzeiro do Sul Educacional

26

Campus Virtual

6 Intervalos Reais

2. Intervalos Mistos
[a, b[= {x |R| a x < b}
]a, b] = {x |R| a < x b}
Vejamos agora as operacoes com intervalos, como subconjuntos dos n
umeros reais R.
Exemplo 6.2. Sejam dados os seguintes intervalos reais, no Universo U = [4, 7].
A = [2, 2] = {x R| 2 x 2}

B = (0, 5) = {x R|0 < x < 5}

C = [3, 1) = {x R| 3 x < 1}
Veja um diagrama dos intervalos na figura 15

Figura 15: Intervalos A = [2, 2], B = (0, 5) C = [3, 1)

(a) A B = [2, 5)

Figura 16: A B = [2, 5)

(b) A C = [3, 2]
(c) A B C = [3, 5)
Cruzeiro do Sul Educacional

27

Campus Virtual

Unidade: Conjuntos

Figura 17: A B = (0, 2]

(d) A B = (0, 2]
Ver figura 17.
(e) A C = [2, 1)
(f ) A B C = (0, 1)
(g) A = [4, 2) (2, 7]
(h) B = [4, 0] (5, 7]
Observacao: Pelo contexto, devemos diferenciar o par ordenado do produto cartesiano do
intervalo aberto.
q

Import
ancia da Teoria dos Conjuntos

Alem da Aritmetica, que pode ser vista como uma aplicacao da Teoria dos Conjuntos ou dar
fundamentos para esta, os conceitos de conjuntos e de seus axiomas tem outras aplicacoes
em Computacao.

7.1

Aplica
c
oes em Linguagens de Programa
c
ao

Em Liguagens Formais sao estudados os elementos basicos para definirmos uma linguagem
formal ou artificial. Existem linguagens artificiais nao so na programacao. Toda linguagem
envolve as definicoes de alfabeto, cadeia ou palavra, concatenacao, fecho e gramatica. As
linguagens artificiais podem ser vistas como um conjunto gerado por uma gramatica ou por
certos tipos de Automatos Finitos.
Uma linguagem L e um conjunto de cadeias ou palavras sobre um alfabeto . As linguagens que sao chamadas de naturais sao aquelas que nos expressamos corriqueiramente
e sao em geral, adquiridas na infancia. Uma linguagem natural e um sistema complexo e
Cruzeiro do Sul Educacional

28

Campus Virtual

7 Importancia da Teoria dos Conjuntos

e estudada de diversas maneiras. As linguagens naturais sao o Portugues, o Ingles, Russo,

Japones, etc.
As Linguagens Artificiais ou Formais sao subconjuntos da linguagem natural e sao descritas finitamente atraves de formulas. Usamos linguagens formais para descrever varios fatos,
como uma m
usica na pauta musical, uma sequencia de pensamentos como na Logica, um
teorema como na Matematica.
A Linguagem dos sinais de Transito, a LIBRAS, etc. assim como as linguagens de Programacao, como C,Java, Pearl, etc. sao exemplos de linguagens artificiais.
A linguagem possui tres grandes partes: a sintaxe, a semantica e a pragmatica.
a maneira de construir cadeias, palavras ou frases de modo que sejam aceitas
Sintaxe: E
pela linguagem. Por exemplo, em Portugues a frase: Os livros azuis da prateleira sao
encadernados e aceita, mas a frase Os gatos e felinos nao e aceita formalmente pois verbo
nao esta flexionado de acordo com o sujeito. O valido e Os gatos sao felinos A frase 3 N
e aceita, ao passo que 3 > Z nao e aceita.
No caso da Logica ou da Computacao costumamos definir o que sao as frases aceitas
atraves das f
ormulas bem formadas: fbf. Em computacao a frase if (a > b) c = a; e
aceita na linguagem C, ao passo que if (a > b) then c := a; nao e aceita em C mas e em
Pascal.
a maneira de dar significado `as expressoes aceitas da linguagem. No caso
Sem
antica: E
do Portugues as frases anteriores tem significado claro, mesmo que a segunda nao esteja
correta. Ja a frase O gato e 3. nao tem significado imediato. A frase if (a = b) c=a; e
aceita na linguagem C, mas provavelmente nao possui o significado desejado, o usual e if (a
== b) c=a;
a maneira de dar utilidade `as frases. Por exemplo: a frase Esta fazendo
Pragm
atica: E
calor aqui. pode ter a funcao de pedir indiretamente que o ar condicionado seja ligado.
Nas linguagens formais tanto a sintaxe como a semantica sao descritas formalmente. Na
sintaxe descrevemos quais smbolos do alfabeto sao aceitos, quais smbolos sao aceitos para
sinais de pontuacao, quais sao os operadores que podem ser usados para formar novas frases
e as regras para formar estas novas frases ou sentencas. Na sintaxe temos, entao um jogo
formal ou um algoritmo para para combinar smbolos de modo aceitavel. Na semantica das
linguagens formais, assim como na Logica - que e expressa tambem por uma linguagem estamos interessados na veracidade ou validade das frases formadas, o que advem, e claro do
significado dos smbolos e sentencas. Nas linguagens de programacao o objetivo e ver se o
programa gerado atingira os objetivos do algoritmo e do problema supostamente resolvido
por ele. Isto sera estuda em Linguagens Formais, Compiladores e Teoria da Computacao.

7.2

Outras Aplica
co
es em Computa
c
ao

A Logica tambem possui uma linguagem simbolica especfica. Na Logica vemos se uma
sentenca ou uma sequencia delas resulta numa outra sentenca conclusiva verdadeira ou valida, atraves do uso de regras de inferencia, que basicamente tem o objetivo de decidir se a
conclusao tem de ser verdadeira caso as premissas - sentencas iniciais - o sejam.
As aplicacoes de Teoria dos Conjuntos vao servir de base como em resolucao de problemas
Cruzeiro do Sul Educacional

29

Campus Virtual

Unidade: Conjuntos

de Banco de Dados, por exemplo, calculo da funcao injetora hash para criar chaves numa
tabela de dados; em Criptografia com o uso da congruencia e da funcao que calcula o resto
da divisao e muitas outras.

7.3

Aplica
c
oes em Teoria da Computa
c
ao

De fato a Computacao nao consiste numa teoria axiomatica, tampouco a Teoria da Computacao, tal como a estudamos hoje, o e. Vamos considerar como basicas em computacao as
nocoes de Teoria dos Conjuntos e da Logica alem da nocao central de algoritmo, que nao
possui uma definicao, e sim apenas alguns conceitos mais ou menos descritivos.
A Teoria de Computacao estuda os modelos formais de varios tipos de Automatos Finitos
e em especial a Maquina de Turing ou ainda a Maquina de Post que sao tipos especiais
de estruturas matematicas que servem de modelo, e portanto, teorico tanto para a nocao
intuitiva de algoritmo como da maquina computador que temos atualmente. Esta e uma
grande diferenca entre as demais maquinas fsicas como um radio, motor mecanico ou eletrico,
carro, liquificador, televisao, etc, e a m
aquina computador pois esta possui em si uma
algoritmo que permite uma generalidade nao alcancada em outras maquinas de tambem
processar outros algoritmos.
A Computacao e uma ciencia de caracter teorico, pratico e tecnologico que ainda e muito
nova e seguidamente surgem novas areas, aplicacoes ou melhorias.

Cruzeiro do Sul Educacional

30

Campus Virtual

_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
_________________________________________________________________________________
11