Vous êtes sur la page 1sur 38

1

2) INTRODUO E CONCEITOS DE TEORIA DOS CONJUNTOS




1. INTRODUO.
2. EXPRESSES E TERMOS INDEFINIDOS.
3. AXIOMAS, DEFINIES.
4. DETERMINAES DE CONJUNTO.
5. PERTINNCIA.
6. REPRESENTAES.
7. DETERMINADOS CONJUNTOS IMPORTANTES.
8. ALFABETOS, PALAVRAS, LINGUAGENS. CONJUNTOS EM LINGUAGEM DE PROGRAMAO.

1. AS NOTAES E LINGUAGEM DA MATEMTICA
2. INTRODUO TEORIA DOS CONJUNTOS
3. DETERMINAO DE UM CONJUNTO
4. CONJUNTO FUNDAMENTAL
5. CONJUNTO UNITRIO E FAMLIA DE CONJUNTOS
6. CONJUNTO VAZIO
7. INCLUSO DE CONJUNTOS E IGUALDADE ENTRE CONJUNTOS
8. CONJUNTO DAS PARTES DE UM CONJUNTO FINITO (CONJUNTO DE POTNCIA)
9. CONJUNTOS DISJUNTOS
10. REPRESENTAES E ILUSTRAES
11. TEORIA DE CONJUNTOS E CINCIA DA COMPUTAO
12. ALFABETOS, PALAVRAS, LINGUAGENS.
REFERNCIAS PARA O TPICO
2
1 AS NOTAES E LINGUAGEM DA MATEMTICA
Essa breve discusso sobre a relevncia da notao e da linguagem da Matemtica
baseada no excelente texto de Daniel Cordeiro de Morais Filho (MORAIS FILHO, 2012).

O ensino e a aprendizagem da Matemtica so intrinsecamente relacionados com a
linguagem matemtica, que consiste da linguagem natural e da linguagem simblica. Na
linguagem matemtica a lngua materna e a linguagem simblica interagem para
comunicar as mensagens.

Apesar de universal, de generalizar e de tornar mais simples e direta a exposio e o
desenvolvimento de pensamentos e ideias, a linguagem matemtica tem caractersticas
peculiares, destacando-se entre elas a preciso e a conciso.

Como qualquer lngua natural, a linguagem matemtica tambm possui sua gramtica,
sua morfologia (estudo da formao e da estrutura das palavras) e sua sintaxe (estudo
da disposio lgica das palavras nas frases, das frases no discurso e da relao das
frases entre si), que devem ser conhecidos e entendidos para que ocorra uma
comunicao com eficincia e preciso.

Para que servem as notaes matemticas? Uma notao matemtica um conjunto de
smbolos podendo ser um nico smbolo que representa um objeto, conceito ou
idia matemtica. Esses smbolos podem ser construdos com letras de algum alfabeto,
com algarismo de um sistema de numerao, com figuras representativas, entre outras
opes.

Porm, uma notao matemtica requer ter as seguintes caractersticas:
1. Deve ser uma forma de comunicao concisa e precisa que contribui para a facilidade
e para a economia da linguagem.
2. No deve expressar ambigidades.
3
3. Na medida do possvel, deve ter uma foram esttica simples, fcil de ser manipulada,
de ser memorizada e no fazer lembrar o objeto ou conceito matemtica, toda vez
que vista.

Lembrando que, em algumas ocasies, a linguagem matemtica se reduz manipulao
de smbolos, e, portanto, deve-se ter em conta que a escolha de uma notao adequada e
eficaz um primeiro e grande passo a fim de expressar e manusear os conceitos e
operaes matemticas com eficincia. As notaes so to importantes para a
compreenso de um texto, que muitos deles trazem um ndice com as principais
notaes utilizadas naquele texto.

Observao 01: Embora atualmente o uso de notaes em textos tcnicos das mais
variadas reas seja um fato corriqueiro, este um processo que levou um longo tempo
para ser sistematizado e tornado prtico e de amplo e disseminado uso. So mais de
3.000 anos de histria para que isso ocorresse.

Exemplo 01: Um exemplo para o uso da notao matemtica e simblica a conhecida
regra de integrao do trapzio generalizada, que apresentada como:
| |
{ }
{ }
+
+
= =

=
= +
= + + + + +
= + +


k 1
k
n n
x
1 k k 1
x
k 0 k 0
0 1 2 n 1 n
n 1
0 n k
k 1
h
p (x)dx (f(x ) f(x )
2
h
f(x ) 2[f(x ) f(x ) f(x )] f(x )
2
h
f(x ) f(x ) 2 f(x )
2


Alguns cuidados com o uso das notaes devem ser tomados. As principais indicaes
so de:
a) Usar a notao mais consagrada ou usada ou aquela proveniente de fontes com boa
reputao e credibilidade.
b) Feita a opo, permanea fiel sua escolha, e no a modifique ao longo do texto que
est produzindo.
4
c) Se inventar as suas prprias notaes, lembre-se de levar em considerao que uma
notao matemtica deve atender as caractersticas citadas anteriormente.
Algumas das mais populares notaes, que sero eventualmente discutidas ao longo
deste texto so como na tabela 1.

Tabela 1: Tabela de notaes frequentemente utilizadas.
Smbolo Como se l Smbolo Como se l
Existe. Existe um. Existe pelo
menos um
Para todo. Qualquer que seja.
Para cada.
! Existe um nico. Existe um e
apenas um. Existe um s.
< << < Menor (do que).
Menor (do que) e igual a > >> > Maior (do que).
Maior (do que) e igual a Equivalente a. Cngruo a.
, Aproximadamente igual a Equivalente logicamente.
Somatrio Ento. Portanto. Logo. Donde.
Produtrio Implica. Acarreta.
Infinito. Unio. Reunio.
Est contido. Interseco.
Pertence. Nmero pi.
= : ,
def

Por definio. e Nmero de Euler.

Observao 02: Para a maioria dos smbolos existe uma justificativa histrica para seu uso
e denominao. Por exemplo, o smbolo , que designa o quantificador universal,
decorre da letra A invertida, inicial das palavras all do Ingls e allgemein do
Alemo, que significam, respectivamente todo. A constante , o nmero mais
conhecido da Matemtica, provm da primeira letra da palavra permetro em grego,
que escrita como .

5
Um alfabeto amplamente utilizado para representar objetos matemticos o alfabeto
grego, cujas letras podem assumir distintos e variados significados, dependendo da rea
em que so utilizadas. O alfabeto grego apresentado na tabela 2.

Tabela 2: O alfabeto grego.
Minscula Maiscula Escreve / l Minscula Maiscula Escreve / l
Alfa / alfa Nu / ni ou nu
Beta / beta Ksi / kii
Gama / gama Omicron / micron
Delta / dlta ou Pi / pi
Epslon / epslson Ro / ro
Zeta / dzta Sigma / sigma
ta / ta Tau / tu
Teta / tta Upsilon / imslon
Iota / ita ou Fi / fi
Kapa / kpa Khi / ki
Lambda / lmbda Psi / ps
Um / mi ou mu mega / mega

Veja tudo isso em detalhes e muito mais na referncia citada, (MORAIS FILHO, 2012).
Tambm relevante conhecer preliminarmente alguns conceitos e terminologias que
so bsicos na discusso do dia a dia da disciplina. Embora isso seja feito no
desenvolvimento das temticas da LMD, antecipa-se alguma nomenclatura destacando:

1. Uma proposio ou um teorema (ou sentena ou frase) um conjunto de palavras ou
smbolos que exprimem uma afirmao de modo completo. A partir dos fatos
elencados na proposio, se verdadeiros, possvel verificar a veracidade da concluso
da sentena.
6
2. Lema e corolrio so proposies. Lema geralmente uma proposio tcnica que
auxilia na demonstrao do teorema. Corolrio uma situao particular ou especfica
do teorema.
3. Um axioma ou postulado uma sentena ou afirmao que no pode ou no requer
ser demonstrada. considerada como consenso inicial necessrio construo ou
aceitao de uma teoria, sendo aceito como verdadeira.
4. Uma definio uma especificao no contraditria ou no ambgua que
estabelece o significado de um conceito ou de um objeto matemtico.
5. Uma conjetura uma idia, frmula ou argumento, a qual no foi provada ser verdadeira
matematicamente, e baseada em suposies ou idias com fundamento emprico,
experimental ou lgico.
6. Uma hiptese conjunto de suposies (afirmaes) assumidas serem verdadeiras. Uma
tese o resultado esperado, a demonstrao da proposio, que decorre logicamente
das hipteses e dos argumentos ai empregados. Assim, uma hiptese um conjunto de
suposies que se admite serem verdadeiras, e a tese o que se conclui como
conseqncia lgica das hipteses e dos desenvolvimentos realizados.
7. Uma demonstrao uma seqncia de argumentos vlidos cujas premissas so
verdades estabelecidas (hipteses consistentes e vlidas).
8. Um argumento uma seqncia de proposies (ou enunciados), no qual uma das
proposies a concluso e as demais so as premissas, e que servem para formar
alguma evidncia para a concluso.


2 INTRODUO
A teoria dos conjuntos, que foi considerada pelo matemtico David Hilbert como o
produto mais extraordinrio do pensamento matemtico, uma das mais belas realizaes
da atividade humana no domnio do puramente inteligvel, foi criao, sobretudo, do
matemtico russo George Cantor.

7
Sem tanta nfase como Hilbert, j que a Teoria dos Conjuntos perdeu significativa
importncia com o (felizmente) final do Movimento da Matemtica Moderna, ainda se
pode dizer que a teoria tem relevante interesse Matemtica, sobretudo como padro
de escrita e representao matemtica.

No captulo 1 de (ABE, PAPAVERO, 1992) Teoria Intuitiva dos Conjuntos apresenta-se
uma pequena histria da criao da teoria dos conjuntos, bem como sua importncia e
aplicao a alguma das Cincias. Vrias verses podem ser encontradas na WEB, e alguns
exemplos so:
http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos.
http://www.smmmfloripa.ufsc.br/soares_art.pdf.
http://www.ipv.pt/millenium/millenium34/16.pdf.
Entre outros mais.

Para iniciar uma discusso bom saber que a noo de conjunto no suscetvel de
definio a partir de noes mais simples. Ou seja, conjunto uma noo primitiva,
introduzida de modo explcito por George Cantor. Intuitivamente, sob a designao de
conjunto entende-se:
Toda coleo bem definida de objetos, no importa de que natureza, ou.
Coleo de elementos suscetveis de possurem certas propriedades e de terem entre
si, ou com elementos de outros conjuntos, certas relaes, ou.
O agrupamento em um todo de objetos, bem definidos e discernveis, de nossa
percepo ou de nosso entendimento, chamados elementos do conjunto.

Exemplo 02: Assim, seriam exemplos de conjuntos:
O conjunto dos livros de uma biblioteca.
As vogais do alfabeto: a, e, i, o e u.
Os alunos que faltam s aulas.

8
Essa abordagem de no ser suscetvel de definio o ponto de partida da abordagem
axiomtica. Um exemplo notvel e usual de uma rea da Matemtica que a utiliza a
Geometria Euclidiana, onde o ponto de partida para a construo dos fundamentos da
teoria tomar conceitos no definidos denominados conceitos primitivos. Mais
especificamente, em um desenvolvimento axiomtico de uma Teoria Matemtica
qualquer, inicia-se com:
a) Termos indefinidos.
b) Relaes indefinidas.
c) Axiomas relacionando os termos indefinidos e as relaes indefinidas.

Considerando-se os conceitos primitivos pode-se desenvolver a teoria construindo
definies, teoremas, proposies, aplicaes, etc.

Exemplo 03: Um desenvolvimento Axiomtico de Geometria Euclidiana plana tem-se:
So termos indefinidos: ponto, reta, incidente, estar entre.
Uma relao indefinida : ponto em uma reta.
Exemplos de axiomas so:
a) Qualquer que seja a reta existe pontos que pertencem reta e pontos que no
pertencem reta.
b) Dados dois pontos distintos existe uma nica reta que contm estes pontos.

Analogamente, em um desenvolvimento axiomtico (intuitivo) da Teoria dos Conjuntos
considera-se:
a) Termos indefinidos: elementos e conjunto.
b) Relao indefinida: elemento pertence a um conjunto e nesse caso a relao de
pertinncia entre elemento e conjunto dada pela expresso pertence a.
c) Dois axiomas, que podem ser especificados como definies, so (HALMOS, 1960):
A1) Axioma de Extenso: Seja X um conjunto. X completamente determinado pelo
conhecimento dos elementos que pertencem a X .
9
A2) Axioma de Especificao: Seja P(x) uma sentena qualquer e seja X um conjunto.
Existe um conjunto { } = X x;x X;p(x) verdadeiro .

Tais conceitos primitivos so relevantes ao desenvolvimento de contedos de nosso
interesse imediato, Outros mais podem ser especificados quando necessrio.

Observao 03: Existem outros axiomas, mas eles no sero discutidos, dado que a
abordagem de Teoria dos Conjuntos , no nosso caso, dita informal ou intuitiva.
a) Assim, a Teoria dos Conjuntos aqui apresentada axiomtica no sentido em que se
enuncia e se empregam alguns axiomas de modo a servirem de base para os
conceitos e proposies subseqentes.
b) Mas informal (ou intuitiva) no sentido em que a linguagem e a notao empregadas
so aqueles da linguagem natural e no sinttica. Uma abordagem mais rigorosa pode
ser vista em Introduo aos Fundamentos Axiomticos da Cincia de Dcio Krauser
(KRAUSE, 2002).

Mesmo nessa abordagem axiomtica os conceitos primitivos no suscetveis de
especificao precisa so:
1. Conjunto (ou classe ou coleo ou sistema).
2. Elemento (ou objeto ou membros).
3. A relao de pertinncia, entre elemento e conjunto, dado por pertence a.

Observao 04: As notaes tradicionais para conjunto, elemento e de pertinncia, e seus
smbolos so descritos considerando que:
a) Um conjunto denotado por uma letra latina maiscula: X, Y,..., A,B,...
b) Os elementos que constituem um conjunto so denotados por letras latinas
minsculas: x, y,...,a,b,...
c) Ao conjunto X , cujos ou elementos so
1 2
x , x ,... denotado por { } =
1 2
X x , x ,... , que se
l: X o conjunto cujos elementos so
1 2
x , x ,... .
10
d) Para indicar que o objeto x pertence ou no a coleo X escreve-se, simbolicamente,
que x X para dizer que o elemento x pertence ao conjunto X ou x pertence a
X . E para dizer que o elemento no pertence ao conjunto, cuja sentena
simbolizada por x X , escreve-se o elemento x no pertence ao conjunto X ou x
no pertence a X . a negao da sentena x X .
e) Os smbolos para os quantificadores universal (qualquer que seja ou para todo) e
existencial (existe algum ou existe pelo menos um) so empregados para
caracterizarem a relao entre os elementos e sua coleo como, por exemplo,
= X { x;p(x)} .


3 DETERMINAO DE UM CONJUNTO
Um conjunto bem determinado (ou especificado ou definido ou caracterizado) quando
se sabe quais os elementos que o constituem. Um conjunto pode ser especificado
segundo os axiomas A1 e A2, dos seguintes modos:
1. Por extenso (ou enumerao): O conjunto determinado pela designao de seus
elementos atravs da sua enumerao ou listagem, e os elementos so indicados
entre chaves: = X {...} .
2. Por especificao (ou caracterizao): O conjunto determinado por uma
caracterstica ou atributo de pertinncia tal que um elemento x pertence ao conjunto
X , se x verifica uma proposio caracterstica. Ou seja, o conjunto dos elementos x
que tem a propriedade P designado por {p(x); x tal que x tem a propriedade P} .

Exemplo 04: So exemplos de conjuntos numricos especificados por extenso ou
enumerao:
Conjunto dos nmeros naturais = {0, 1,2,...} .

*
Conjunto dos nmeros naturais no nulos = {1,2,...} .
Conjunto dos nmeros inteiros = {..., 2, 1,0, 1,2,...} .

*
Conjunto dos nmeros inteiros no nulos = { 1, 2,...}
Conjunto dos nmeros racionais
{ }
=
*
a b;a e b .
11
/ Conjunto dos nmeros irracionais = {nmeros decimais no finitos e no
peridicos}.
Conjunto dos nmeros reais = {racionais e irracionais}.

Exemplo 05: Exemplos de conjuntos que podem ser definidos pela sua propriedade
caracterstica (considerando a notao ; para tal que) so:
= {x; x um nmero natural } .
{x;x
*
um nmero natural e diferente de zero} .
= {x; x um nmero inteiro} .
=
*
{x;x um nmero inteiro e diferente de zero} .
ou, equivalentemente, com as notaes de Lgica (como veremos) e usando a
simbologia ; para designar tal que e para designar pertence a, tem-se:
= {x; x natural } .
=
*
{x; x x 0} .
=
*
{x; x x 0} .
= =
*
{x a b;a Z b Z } .

Observao 05: Note-se que um conjunto X diz-se caracterizado (ou especificado)
quando se d uma regra que permita decidir sem ambiguidade se um elemento
arbitrrio x pertence ou no ao conjunto X .

Assim, em um conjunto definido por enumerao, a ordem dos elementos indiferente,
mas cada elemento deve figurar uma nica vez. Uma definio conjuntista para um
elemento como:
{ } { }
def
x, x x .
que no deve ser confundido com a notao de par ordenado!


4 CONJUNTO FUNDAMENTAL
12
As noes elemento e conjunto tem significado relativo, pois um mesmo ente
matemtico pode ser elemento em relao a certos entes matemticos e ser conjunto em
relao a outros entes.
Por exemplo, uma reta um elemento do conjunto de todas as retas, mas tambm
um conjunto de pontos.

Cumpre-se, portanto, tornarem preciso quais so os entes matemticos considerados
com o elemento a fim de evitar paradoxos como o de Russel, que pode ser enunciado
como:

Seja Z o conjunto de todos os conjuntos que no contm a si mesmo como membro. Ento Z
contm ou no a si mesmo? Ou, em outras palavras:
Uma cidade tem um barbeiro que faz a barba de todos os homens que a si
prprio no se barbeiam. Pergunta-se quem faz a barba do barbeiro.

O paradoxo de Russel surge quando se admite que exista o conjunto de todos os
conjuntos. Para evitar o surgimento de paradoxos, que levou a uma crise na Teoria dos
Conjuntos, sendo necessria uma cuidadosa fundamentao axiomtica nesta teoria. A
abordagem axiomtica mais comum na Teoria dos Conjuntos a de Zermelo-Fraenkel
(ZFC).

Veja (CONIGLIO, 1997) para detalhes e discusses, pois uma abordagem com este
escopo no pode ser aqui realizada. De modo mais modesto admite-se apenas que no
existe o conjunto de todos os conjuntos, e se admite a existncia de um conjunto ao
qual pertencem todos os elementos com os quais se est trabalhando. Esse conjunto o
conjunto fundamental.

Definio 01: Diz-se conjunto fundamental de uma teoria ao conjunto de todos os entes
matemticos que so sempre considerados como elementos dessa teoria. Esse conjunto
chamado de conjunto fundamental da teoria (e representado geralmente por U).
13

Exemplo 06: Dado o conjunto = < < U {x; 1 x 4} , ento:
Se = U ento < < {x; x 1 x 4} o conjunto dado (que infinito).
Se = U ento < < = {x; x 1 x 4} {2,3} o conjunto dado (que finito).

Observao 06: No conjunto fundamental U, o conjunto X dos elementos x que
verificam a condio p(x) (ou satisfazem a proposio p(x) ) indicado por:
{ } = X x; x U p(x) ou = X {x U;p(x)} .


5 CONJUNTO UNITRIO E FAMLIA DE CONJUNTOS
Considerando-se que em um conjunto bem especificado a ordem dos elementos
indiferente, mas cada elemento deve figurar uma nica vez, ou seja, define-se que se
{ }
1 2
x x ento =
1 2
x x . Tal conjunto denomina-se conjunto unitrio determinado pelo
elemento
2
x . Veja em (ABE, PARAVERO, 1992), pgina 21 outro processo de introduzir o
conjunto unitrio. Assim:

Definio 02: Diz-se ser conjunto unitrio a aquele conjunto X constitudo de um nico
elemento x , e escreve-se = X {x} .

Observao 07: importante, portanto, notar que um conjunto unitrio diferente que o
elemento que o determina.
Por exemplo: 3 {3} , mas 3 {3} .

Definio 03: Um conjunto cujos elementos tambm so conjuntos diz-se ser uma
famlia (ou conjunto de conjuntos) de conjuntos ou uma coleo de conjuntos.

Exemplo 07: Exemplos de conjunto unitrio e famlia de conjunto so:
O conjunto + = =
2
{x ; x 6x 9 0} {3} um conjunto unitrio.
14
O conjunto { } {2, 3}, {2}, {5,6} uma famlia cujos elementos so os conjuntos
{2, 3}, {2}, {5,6} .


6 CONJUNTO VAZIO
Nota-se que o conjunto = X {x; x tem a propriedade P} definido pela propriedade P .
Porm s vezes ocorre que nenhum elemento de X caracterizado por tal propriedade P
e, portanto, nesse caso o conjunto = X {x; x tem a propriedade P} no possui elemento
algum. Da tem-se:

Definio 04: Diz-se ser o conjunto vazio, denotado por ou por { } , aquele conjunto
tal que qualquer que seja o elemento x , tem-se x .

Observao 08: Da definio de conjunto vazio pode-se, alternativamente, defini-lo
alternativamente como:
1. = {x; x x} .
2. = {x;p(x) p(x)} .
Essas especificaes decorrem de princpios da Lgica Matemtica, como ser discutido
na seo apropriada.

LISTA DE EXERCCIOS 01: Fazer os exerccios das pginas 29-30 de (ABE, PARAVERO, 1992).


7 INCLUSO DE CONJUNTOS E IGUALDADE ENTRE CONJUNTOS
Dados dois conjuntos X e Y, pode-se ter que todo elemento de X , tambm, elemento de
Y. Ou seja, X pode ser parte de Y. Desse modo tem-se:

Definio 05: Um conjunto X dito ser subconjunto de Y quando todo elemento de X
tambm elemento de Y . Para indicar isso se usa a relao X Y .
Simbolicamente, do ponto de vista da Lgica Matemtica, escreve-se:
15

def
X Y ( x)(x X x Y) ,
que se l X est contido em Y se qualquer x , se x pertence a X ento x pertence a
Y .

Observao 09: Neste caso, quando X Y , diz-se tambm que X parte de Y , ou que X
est includo em Y , ou X est contido em Y ou, ainda, Y contm X .

E, neste caso a negao de X Y indicada por X Y e isso significa que existe
x X; x Y .Ou seja, do ponto de vista da Lgica Matemtica escreve-se:

def
X Y ( x)(x X x Y)

Exemplo 08: Exemplos de incluses entre conjuntos so
{3,4} {3, 4} .
{3, 4} {6, 4,3} (a ordem dos elementos no importante).
{3,4} {4, 3} .
.

Observao 10: Note-se no exemplo 07 que = = = X {3, 4} {4,3} Y . Ou seja, quando X Y
no se exclui a possibilidade de se ter = X Y . Mas se X Y e existe um elemento que
pertence a Y e no pertence a X diz-se que X uma parte prpria de Y . Algumas vezes
se diz que ou X est contido propriamente em Y ou que Y contm propriamente X .
Assim, se tem:

Definio 06: Seja X Y com X Y . Nesse caso diz-se que X uma parte prpria ou X
um subconjunto prprio de Y .
Simbolicamente, do ponto de vista da Lgica Matemtica, tem-se:

def
X Y X Y (x X x Y) (x Y x X)
Ou, alternativa e equivalentemente:
def
X Y Y X ( x)(x Y x X) .

16
Observao 11: Algumas vezes X um subconjunto (podendo ser igual) qualquer de Y
representado por X Y e X um subconjunto prprio de Y representado por
X Y.
A definio de parte prpria, poderia ser como aquela dada em (ABE, PARAVERO,
1992): Seja Y . Diz-se que X Y uma parte prpria de Y se X e X Y .
Note-se, ento, que o conjunto e qualquer conjunto unitrio { } = X x no possuem
partes prprias.

Exemplo 09: Exemplos para esclarecer a definio so como:
A relao de incluso {3,4} {6, 4, 3} mostra que {3, 4} um subconjunto prprio de
{6, 4, 3} .
Porm o mesmo no ocorre com {3,4} {3, 4} .

Das definies de conjunto vazio (definio 04) e de subconjunto (definio 05) e tem-se
o seguinte resultado.

Proposio 01: Sejam o conjunto vazio e um conjunto X qualquer. Ento:
a) O conjunto vazio subconjunto de qualquer conjunto X , isto , X, X .
b) O conjunto nico.
Prova:
a) Suponha por contradio que isso no verdade, isto , que X . Ento deve
existir um x tal que x X j que
def
X ( x)(x x X) (da observao 09).
Porm, da definio de conjunto vazio tem-se x, x , e ento se tem um absurdo
lgico, pois no existe elemento algum no conjunto vazio, por definio. Esse
absurdo foi gerado pelo fato de se tomar como verdadeira que X , logo essa
suposio no verdadeira, s restando que X seja qual for o conjunto X .
Uma prova alternativa, decorrente da Lgica Matemtica, poderia ser como:
17
Como a sentena ( x ) falsa ento a sentena ( x x X) verdadeira,
decorrente da tabela verdade da condicional. Ento ( )
def
X ( x) x x X
verdadeiro seja qual for o conjunto X .
Uma condicional (SE...ENTO, ) de duas proposies falsa se e somente se
p verdadeira e q falsa. A tabela-verdade para a frmula p q como:
p q p q
V V V
V F F
F V V
F F V
b) Suponha que existam dois conjuntos tais que = X e = Y . Deve-se provar que
= X Y o que mostraria a unicidade do conjunto vazio, j que X e Y so conjuntos
arbitrrios. Seja x X ento a sentena x X x Y verdadeira (V), pois x X
sempre falso (F). Analogamente, Seja x Y ento a sentena x X x Y
verdadeira (V), pois x Y falso (F). E como a conjuno de duas sentenas
verdadeiras sempre verdadeira ento
=

def
V V
x X x Y x Y x X X Y
.
Uma conjuno (E, , &) de duas proposies verdadeira se e somente se p e q so
verdadeiras. A tabela-verdade para uma frmula p q como:
p q p q
V V V
V F F
F V F
F F F

Observao 12: A concluso ( ) ( ) =
def
x X x Y x Y x X X Y advm da definio de
subconjunto
def
X Y ( x)(x X x Y) e da definio da igualdade de conjunto, onde se
define que o conjunto X igual ao conjunto Y se ambos tm os mesmo elementos, isto
18
, se cada elemento pertencente a X pertencer, tambm a Y , e se cada elemento que
pertence a Y , pertencer tambm a X . Ou seja:

Definio 07: Diz-se que o conjunto X igual a um conjunto Y , isto , = X Y se X Y e
Y X .
Simbolicamente, do ponto de vista da Lgica Matemtica, escreve-se:
( ) ( ) ( ) = (

def def
X Y (X Y) (Y X) x x X x Y x Y x X
ou, equivalentemente, do ponto de vista da Lgica Matemtica,
=
def
X Y ( x)(x X x Y)

Observao 13 (corolrio da definio): Se =
def
X Y ( x)(x X x Y) ento a sentena
X Y que denota a relao o conjunto X no igual ao conjunto Y pode ser
especificada observando que sua conseqncia lgica como x X; x Y ou y Y; y X
ou seja:
| |
def
X Y ( x)(x X x Y) ( y)(y Y y X)

Observao 14: Uma discusso sobre a igualdade entre conjuntos tambm poderia ser
realizada usando o princpio da extensionalidade, que assegura que dois conjuntos X e
Y so iguais se, e somente se, todo elemento e X pertencer a Y e todo elemento de Y
pertencer a X. Neste caso indica-se isto por X=Y. Detalhes em (ABE, PARAVERO, 1992).

LISTA DE EXERCCIOS 02: Verificar se as seguintes relaes ou sentenas so verdadeiras ou
falsas:

19
Soluo: Considere F uma designao para falso e V uma designao para verdadeiro,
ento (faa os detalhes):
1. V, pois a sentena ( ) x; x x verdadeira, da tabela verdade da
condicional.
2. F, pois a sentena ( ) x;x x falsa, j que ambas as proposies so
falsas, j que por definio x .
3. { } V, pois { } um conjunto unitrio que contem o conjunto vazio como
elemento.
4. { } V, pois o conjunto vazio est contido em qualquer conjunto.
5. { } F, pois o conjunto vazio no possui nenhum conjunto contendo outro
conjunto contido nele.
6. { } F, pois o conjunto vazio um conjunto que no possui elementos.
7. { } { } F, pois o conjunto { } tem apenas o conjunto como elemento, mas no
tem { } como elemento.
8. { } { } V, pois o conjunto { } est contido em { } .
9. { } = F, pois o conjunto no tem elemento, enquanto { } tem um elemento,
que o prprio vazio.
10. { } { }
, V, pois o conjunto um elemento do conjunto { } { }
, .
11. { } { } { }
, V, pois o conjunto { } um elemento do conjunto { } { }
, .
12. { } { }
, V, pois o conjunto vazio est contido no conjunto { } { }
, .
13. { } { } { }
, V, pois { } um subconjunto do conjunto { } { }
, .
14. { } { } { } { }
, , = V, pois todo elemento do conjunto { } { }
, e elemento do
conjunto { } { }
, e a ordem no relevante.
15. = V, pois o vazio nico.

Proposio 02: Sejam X , Y e Z conjuntos quaisquer. Ento para a relao de incluso
valem as seguintes propriedades:
a) X X, X (reflexividade).
20
b) Se X Y e Y X ento = X Y (anti-simetria).
c) Se X Y e Y Z ento X Z (transitividade).
Prova:
a) Da definio 05, de incluso,
def
X Y ( x)(x X x Y) , tem-se que, considerando
x X , por hiptese, ento
def
( x)(x X x X) X X .
b) Se (X Y) (Y X) ento pela definio de incluso e de igualdade, definio 07, tem-
se que =
def
( x)(x X x Y) ( x)(x Y x X) X Y .
c) Se (X Y) (Y Z) ento, por definio de incluso
def
X Y ( x)(x X x Y) e

def
Y Z ( x)(x Y x Z) , pois ambas valem por hiptese. Logo, tambm vale que:
( )( ) ( )( ) (

def
x x X x Y x x Y x Z ( x)(x X x Z) X Z

Observao 15: Utiliza-se na proposio 02 intuitivamente o conceito de relao que
uma especificao matemtica para avaliar ou comparar, entre outras caracterizaes,
objetos abstratos (matemticos) ou concretos. Essa temtica ser estudada na seo
apropriada.
Exemplos notveis de relaes so as relaes binrias de equivalncia e de relaes
de ordem, que so frequentemente empregadas para avaliar somente dois objetos
por cada operao.

Proposio 03: Sejam X , Y e Z conjuntos quaisquer. Ento para a relao de igualdade
valem as seguintes propriedades:
a) = X X (reflexividade).
b) Se = X Y , ento = Y X (simetria).
c) Se = X Y e = Y Z ento, = X Z (transitividade).
Prova:
a) Da definio de incluso (definio 05) tem-se que
def
( x)(x X x X) X X e,
analogamente, tem-se que
def
X X ( x)(x X x X) . Ento pela definio de
igualdade (definio 07), vale que =
def
( x)(x X x X) X X .
21
Ou, alternativamente, x X x X verdadeira x , logo ( x)(x X x X)
verdadeiro, pela tabela verdade da bicondicional,. Logo, = X X .
Uma bicondicional (SE E SOMENTE SE, ) de duas proposies, p q, verdadeira
se e somente se p e q so verdadeiras ou se p e q so falsas. A tabela-verdade para
uma frmula p q como:
p q p q
V V V
V F F
F V F
F F V
b) Se = X Y , ento por definio de igualdade entre conjuntos (definio 07) vale o
resultado de que ( x)(x X x Y) ( x)(x Y x X) . Como a ordem dos
elementos no importante, vlido que = (X Y) (Y X) , e ento:
=
def
( x)(x Y x X) ( x)(x X x Y) Y X
c) Por hiptese valem = X Y e = Y Z , ento pela definio de igualdade entre conjuntos
(definio 07) tem-se que ( x)(x X x Y) e ( x)(x Y x Z) . Assim, vale:
| | =
def def
( x)(x X x Y) ( x)(x Y x Z) ( x)(x X x Z) X Z


8 - CONJUNTO DAS PARTES DE UM CONJUNTO FINITO (CONJUNTO DE POTNCIA)
Dado um conjunto X finito, relevante definir o conjunto das partes de X , P(X) , como
aquele que contm todos os subconjuntos de X , incluindo o vazio e o prprio X . Um
modo de determinar P(X) pensar em todos os subconjuntos com um elemento,
depois todos os subconjuntos com dois elementos, e assim por diante.

Ou seja, a partir de um conjunto X pode-se sempre considerar em outro conjunto, cujos
elementos so os subconjuntos ou partes de X . Assim, tem-se:

22
Definio 08: Dado um conjunto X , diz-se que P(X) o conjunto cujos elementos so
todas as partes de X , se formando pela combinao simples de todos seus elementos.
Chama-se a esse conjunto de o conjunto das partes de X ou conjunto potncia de X .

Exemplo 10: Seja = X {1,2, 3} ento os elementos de P(X) , resultantes das possveis
combinaes simples realizadas com os elementos de X , so:
a) Os conjuntos: , {1}, {2}, {3}, {1,2}, {1, 3}, {2,3}, {1,2,3} de modo que:
{ } = P(X) , {1}, {2}, {3}, {1,2}, {1, 3}, {2, 3}, X

Isso significa que:
a) Se A P(X) ento A X .
b) Que P(X) , o conjunto das partes de X , nunca vazio. Tem-se pelo menos P(X) e
X P(X) .
c) Alm disso, Y X se e somente se Y P(X) .

Alm disso, mostra-se que SE o conjunto X tem n elementos ENTO o conjunto P(X)
tem
n
2 elementos. Isto , vale, ( ) =
n(X)
n P(X) 2 , onde ( ) n X (ou card(X)) designa os n
elementos do conjunto X e ( ) n P(X) designa os
n( X)
2 elementos de P(X) . Antes de
provar verificar-se a veracidade da afirmao atravs de mais um exemplo.

Exemplo 11: Se P(X) o conjunto de partes de X e se ( ) n P(X) denota o nmero de
conjuntos, elementos do conjunto P(X) , ento vale que ( ) =
n(X)
n P(X) 2 , pois:
Se X = ento P(X) = { }, de onde n(P(X)) = 2
0
=2
n( )
= 1.
Se X = {a} ento P(X) = { , {a}}, de onde n(P(X)) = 2
1
= 2.
Se X = {a, b} ento P(X) = { , {a}, {b}, {a, b}}, de onde n(P(X)) = 2
2
= 4.
Se X = {a, b, c} ento P(X) = { , {a}, {b}, {c}, {a, b}, {b, c}, {a, c}, {a, b, c}}, de onde
n(P(X)) = 2
3
= 8.


23
Assim, pode-se avaliar a quantidade de elementos de P(X) , como:

Proposio 04: Seja P(X) o conjunto das partes de X . Ento P(X) tem
n
2 elementos, se
X tem n elementos.
Prova:
um fato conhecido que a quantidade de combinaes (simples) de p elementos que
podem ser formados com os n elementos de um conjunto com 0 p n dada por:
| |
=
|

\
n
n!
p p!(n p)!

Assim, se X tem n elementos, pode-se formar:

( )
( )
( )
| |
= = =
|
=
\
n n n 1 ! n!
n
p 1 1! n 1 ! 1. n 1 !
conjuntos unitrios.

| |
= =
|
=
\
n
n! n!
p 2 2!(1) 2!
conjuntos de dois elementos.
,...,

| |
|
=
\
n
p n 1
conjuntos de n-1 elementos e,

| |
=
|
=
\
n
1
p n
conjunto com n elementos, que o conjunto X.

( )
| |
= = =
|

\
n
n! n!
1
0 0! n 0 ! 1.n!
conjunto sem elementos, j que como X essa condio
a ela equivalente.
Portanto o nmero de elementos de P(X) dado pela soma de todos os conjuntos
formados desse modo. Ou seja, como:
=
| | | | | | | | | | | |
= + + + + +
| | | | | |

\ \ \ \ \ \
=

n
p 0
n
n n n n n n
...
p 0 1 2 n 1 n
2

Esse resultado da anlise combinatria provado na proposio 05, e fornece a
quantidade de subconjuntos de um conjunto com n elementos.

24
Com essas notaes, vamos olhar o conjunto X = {a, b, c} sob formalizao matemtica
apresentada pela proposio 04.

Exemplo 12: Se X = {a, b, c}, ento P(X) = { , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}, pois
se tem:

| |
= = = =
|

\
3
3! 3! 3!
0 0!(3 0)! 1.3! 3!
1 conjunto sem elementos. (conjunto vazio).

| |
= = = =
|

\
3
3! 3! 3.2!
1 1!(3 1)! 1.2! 2!
3 conjuntos com um elemento (conjunto unitrio).

| |
= = = =
|

\
3
3! 3! 3.2.1
2 2!(3 2)! 2.1! 2.1
3 conjuntos com dois elementos.

| |
= = = =
|

\
3
3! 3! 3!
3 3!(3 3)! 3!0! 3! 1
1 conjunto com n elementos, que o conjunto X.

Assim, possvel observar que P(X) formado pelo conjunto vazio acrescentado com
as possveis combinaes dos elementos de X, com variao de 1 at n=n(X). Note
novamente que A quantidade de combinaes (simples) de k elementos que podem
ser formados com os n elementos de um conjunto com 0 k n determinada por:
| |

|
\
def
n
n!
k k!(n- k)!


Observao 16: Esse resultado,
| |

|
\
def
n
n!
k k!(n- k)!
, pode ser provado ser verdadeiro usando o
mtodo da induo finita. E isso ser feito na seo oportunamente.

Observe que para cada inteiro no negativo n , define-se recursivamente o fatorial de n,
denotado por n!, como:
25
( )

def
1, se n=0
n!
n n-1 !, se n 1


Para provar que a soma de todos os conjuntos formados do modo apresentado na
observao 16 resulta m
=
| |
=
|
\

n
n
p 0
n
2
p
conveniente provar antes um resultado auxiliar.

Lema 01: Se a e b so nmeros inteiros (reais) e n um nmero natural positivo, ento
vale o seguinte resultado.
( )

=

| |
+ =
|
\
| | | | | |
= + + +
| | |
\ \ \

n
n
n k k
k 0
n 0 n 1 1 0 n
n
a b a b
k
n n n
a b a b ... a b
0 1 n
(4)
Prova: O teorema ser provado na seo apropriada usando o mtodo da induo finita.

Proposio 05: Seja P(X) o conjunto das partes de X . Ento P(X) tem =
n
2 n(P(X))
elementos.
Prova: Basta observar que o nmero de elementos de P(X) dado pela soma de todos
os conjuntos formados desse modo. Ou seja, como:
=
| |
|
\
| | | | | | | | | |
+ + + + +
| | | | |

\ \ \ \ \

n
k 0
n
n(P(X)) =
k
n n n n n
= ...
0 1 2 n 1 n
(5)
Note-se agora que tomando a=b=1 na expresso (4) do lema 01 tem-se:
( )

=

| |
+
|
\
| | | | | |
+ + +
| | |
\ \ \
| | | | | | | |
+ + + +
| | | |

\ \ \ \

n
n
n n k k
k 0
n 0 n 1 1 0 n
n
2 = 1 1 = 1 1
k
n n n
= 1 1 1 1 ... 1 1
0 1 n
n n n n
= ...
0 1 n 1 n
(6)
de modo que, por comparao entre (5) e (6) obtm-se =
n
2 n(P(X)) .
26

Exemplo 13: Ento = P({a,b}) { , {a}, {b}, {a,b}} tem 2 elementos e = P(X {a,b}) tem
= =
n 2
2 2 4 elementos, que so seus subconjuntos.

9 CONJUNTOS DISJUNTOS
No caso em que os conjuntos X e Y quaisquer no tem elementos em comum ento se
diz que X e Y so ditos serem disjuntos. Especifica-se essa condio como:

Definio 09: Dados os conjuntos X e Y. Se no existe nenhum elemento de X em Y e se
no existe nenhum elemento de Y em X, diz-se que X e Y so conjuntos disjuntos.

Exemplo 14: Sejam os conjuntos = X {1,2, 3} , = Y {3, 4,5} e = Z {5,6,7} , ento:
a) Os conjuntos = X {1,2, 3} e = Y {3, 4,5} no so disjuntos, pois tem um elemento (o
nmero 3) em comum.
b) Os conjuntos = X {1,2, 3} e = Z {5,6, 7} so disjuntos, pois no tem nenhum elemento
em comum.


10 REPRESENTAES E ILUSTRAES
Objetivando ilustrar relaes existentes entre conjuntos e de modo a facilitar o
entendimento de algumas definies e demonstraes, podem-se representar essas
relaes atravs de uma propriedade caracterstica ou por diagramas. A forma
tradicional de representao por diagramas empregar os diagramas de Venn-Euler
(ou Venn) ou diagramas lineares. Na representao por diagrama, usual traar uma
linha fechada em torno dos elementos constituintes do conjunto.

Exemplo 15: O diagrama abaixo representa o conjunto A das vogais no conjunto
fundamental (universo) U do alfabeto.
27

Diagrama de Venn para o conjunto das vogais.

Em geral, o diagrama de Venn representa tambm o conjunto fundamental, que contm
o conjunto representado. Para isso, desenha-se em torno do diagrama um retngulo
representando o conjunto U.

Exemplo 16: Seja = X {1,2,3, 4,5,6, 7,8,9, 10,11,12} e seus subconjuntos: = C {10, 11}
= A {2, 3, 4,5,6} Ento o diagrama de Venn determinado por:







Exemplo 17: A relao de incluso
def
( x)(x X x Y) X Y pode ser ilustrada como:







28
Exemplo 18: A relao de disjuno entre os conjuntos X e Y pode ser representada
como:






Exemplo 19: A relao de parte prpria
def
X Y ( x)(x X x Y) pode ser ilustrada como:






Outro modo de representar as relaes entre conjuntos usar os chamados diagramas
lineares (ou em linha). Por exemplo, Se X e Y so conjuntos com X Y, o diagrama
linear desses dois conjuntos obtido escrevendo-se Y em nvel mais elevado que X e
unindo-se X a Y por meio de segmentos de reta. Veja detalhes em (ABE, PAPAVERO,
1994)


11 TEORIA DE CONJUNTOS E CINCIA DA COMPUTAO
Algum pode questionar os motivos de se estudar A Teoria dos Conjuntos, que parece
ser abstrata e intil Computao. Esse pensamento equivocado, no obstante o
emprego exagerado e equivocado da Teoria dos Conjuntos s mais diversas reas, que
acabaram cederam espao das idias e de procedimentos a elas inerentes para uma
linguagem e terminologia conjuntista.

29
Mesmo considerando que o emprego da Teoria dos Conjuntos foi mais acentuado aos
aspectos formais da Teoria do que o compromisso com o desenvolvimento e a
aplicao daquelas reas, ela ainda a linguagem da Matemtica ou de qualquer
Teoria que busque estudar os aspectos formais duma Cincia.

Considerando que Cincia da Computao o estudo dos algoritmos, suas aplicaes
e de sua implementao, na forma de software, para execuo em computadores
eletrnicos http://pt.wikipedia.org/wiki/Cincia_da_Computao, ento ela busca
enquanto Cincia construir formalismos para os diversos propsitos e finalidades.

Assim, o estudo da Teoria da Computao est relacionado com trs reas que tratam
dos fundamentos da Cincia da Computao (BRANDO, 2011):
Autmatos e Computabilidade, cujas temticas so tradicionalmente tratadas em
disciplinas como Mtodos Formais (MF), Linguagem Formal e Autmatos (LFA) ou
Teoria da Computao (TC).
Complexidade, cuja temtica tratada tradicionalmente na disciplina de Projeto e
Anlise de Algoritmos (PAA) ou Teoria da Computao (TC).

Na Teoria de Autmatos so discutidas mquinas abstratas que capturam as partes
essenciais de mquinas reais, de modo a estudar a computao de forma simples, sem
entrar nos detalhes de arquiteturas concretas que podem prejudicam a noo de
computao. Autmatos (so diversos os tipos) so empregados para fundamentar e
analisar:
Processamento de texto.
Compiladores.
Projeto de hardware.
Projeto de software.
Linguagens de programao.
Inteligncia Artificial.
Outras mais!
30
Na Teoria da Computabilidade estudada a capacidade de resoluo de problemas de
algoritmos, de modo que se pode indicar quais so os problemas que podem ser
resolvidos atravs de algoritmos, e quais so os problemas que no podem ser
resolvidos atravs de algoritmos. Estas indicaes so relevantes, pois certos
problemas no podem ser resolvidos por mquinas.

J a Teoria da Complexidade so estudados problemas computacionais que podem ser
divididos em duas classes: Problemas que so viveis ou no viveis de serem
resolvidos eficientemente. Essas classes esto relacionadas com a capacidade de se
resolver os problemas em funo do tempo e do espao, j que o crescimento do
tempo de execuo de um programa e a memria utilizada, em funo do tamanho de
sua entrada de dados.

Com efeito, uma estrutura terica um modelo formal que visa retratar as
propriedades ou comportamentos encontrados em diferentes contextos e situaes,
ento se pode especific-la atravs de um conjunto abstrato de objetos, munido de
operaes e relaes que devem ser satisfeitas. Todas essas idias devem ser
formalizadas para no depender de uma particular interpretao ou aplicao.

Sendo necessria a formalizao de uma Teoria, ento se deve empregar uma
linguagem formal para tal fim, de modo que tal o Sistema Formal deva ser composto
O objetivo destas notas de aulas no discutir quaisquer umas dessas reas da
Computao, mas s lembrar que para estudar os aspectos tericos e prticos
dessas importantes reas necessrio construir e desenvolver Modelos da
Computao. Modelos estes que decorrem de estruturas tericas abstratas que so
especificadas em termos de uma linguagem unificadora, integrando os elementos
da Teoria atravs de agrupamentos bem definidos e de relaes bem determinadas.
Deste modo natural empregar a Teoria dos Conjuntos para realizar tais
especificaes.
31
por um conjunto de smbolos e por um conjunto de regras bem determinadas com as
quais se formam determinadas sentenas que so vlidas naquela linguagem. Sobre
essa questo (MENEZES, 1997) lembra que:
A Teoria das Linguagens Formais foi originalmente desenvolvida na
dcada de 1950 com o objetivo de desenvolver teorias relacionadas com
as linguagens naturais. Entretanto, logo foi verificado que esta teoria era
importante para o estudo das linguagens artificiais e, em especial, para as
linguagens originrias na Cincia da Computao. Desde ento, o estudo
das Linguagens Formais desenvolveu-se significativamente e com
diversos enfoques, com destaque para aplicaes em anlise lxica e
sinttica de linguagens de programao, modelos de sistemas biolgicos,
desenho de hardware e relacionamentos com linguagens naturais.
Recentemente, inclui-se a nfase no tratamento de linguagens no-
lineares, como planares, espaciais e n-dimensionais.
Paulo Fernando Blauth Menezes (www.infufrgs.br)

Sobre a relevncia de Sistemas Formais em Cincia da Computao, (PALAZZO, 2009)
lembra que:
Sistemas formais so de grande importncia no estudo da Cincia da
Computao, uma vez que permitem representar domnios, contextos e
objetos que podem ser manipulados por mquinas e, portanto se
encontram dentro do escopo de estudo dos informatas. Linguagens
especficas e precisamente classificadas so empregadas para a sua
descrio e constituem a base mais elementar da modelagem
computacional. Esta disciplina (Linguagens Formais e Autmatos) pr-
requisito para Teoria da Computao e Compiladores e supe
conhecimento prvio de Sistemas Discretos, Teoria dos Conjuntos,
Funes e Lgica Computacional....
Prof. Luiz A M Palazzo (http://ia.ucpel.tche.br/~lpalazzo/Aulas/LFA/)

32
Exemplo 20: Sendo invivel aqui tratar da relao prtica entre a Teoria dos Conjuntos e
uma Teoria da Computao (um Modelo Terico da Cincia da Computao),
suficiente apontar que um exemplo concreto do uso da Teoria dos Conjuntos por uma
Linguagem de Programao o papel central que dos Conjuntos como tipo de dados
padro em Pascal. Nesta Linguagem um conjunto universo S, o alfabeto, precisa ser
especificado para serem definidas as variveis que representam subconjuntos de S, isto
, elementos de P(S).

Exemplo 21: O hardware tem evoludo nas ltimas dcadas de acordo do a Lei de
Moore que declara que O poder de computao de um chip duplica a cada 18 meses.
Isso significa que a capacidade de processamento de Computadores e de outros
dispositivos digitais tem crescido de modo exponencial. E tal desenvolvimento tambm
se refletiu no software, que tem avanado significativamente com novas metodologias
e linguagens de programao.

Torna-se, portanto, relevante desenvolver um conjunto de conhecimentos bsicos
sobre o que Computao, mas que sejam independentes do tipo de computador
utilizado ou da linguagem de programao, permitindo compreender se as novas
solues tecnolgicas propostas se constituem melhoramentos do existente ou se
constituem revolues.

Alm disso, outra caracterstica importante da Teoria da Computao possibilitar a
melhor compreenso dos limites da rea. H problemas que se sabem serem inviveis
de resolver por meio de um computador. E existem outros problemas que, embora
sejam resolveis teoricamente, no o so na prtica porque exigem demasiado tempo
ou memria. A teoria da computao investiga e fornece resultados sobre essas
questes.


12 ALFABETOS, PALAVRAS, LINGUAGENS.
33
Linguagem um conceito fundamental na Teoria da Computao, pois trata da forma
precisa de expressar problemas, permitindo um desenvolvimento formal adequado ao
estudo de vrias temticas inerentes Computao.

Assim, o conceito de Linguagem dos fundamentais em Cincia da Computao,
sendo definido a partir da noo de conjunto. Para a definio de linguagem
necessrio conceituar alfabeto e cadeia de caracteres, entre outros elementos.

Uma Linguagem Formal, ao contrrio de uma linguagem natural que no tm certos
compromissos, deve possuir:
Uma sintaxe bem definida, de modo que dada uma sentena, seja sempre possvel
sempre saber se ela pertence ou no a uma linguagem.
Uma semntica precisa, de modo que no contenha sentenas sem significado ou
ambguas.

Pode-se mostrar nas pertinentes disciplinas que toda Linguagem Formal deve possuir
um alfabeto associado. Um alfabeto um conjunto finito no vazio de elementos que
sero definidos como smbolos. Uma palavra sobre um alfabeto uma seqncia finita
de smbolos de tal alfabeto. O tamanho da palavra define a quantidade de smbolos da
palavra. Uma palavra vazia aquela constituda de zero smbolos.


Assim, neste contexto, as especificaes que seguem, mais a ttulo de exemplo, so
construdas usando como base a noo de Smbolo ou Caractere, que um termo
abstrato bsico, no sendo definido formalmente, assim como realizado na Teoria de
Conjuntos. Letras e dgitos so exemplos de smbolos freqentemente usados numa
O OBJETIVO DESSAS NOTAS DE AULAS EM LMD APENAS ESTABELECER A BREVE DISCUSSO ENTRE
A TEORIA DE CONJUNTOS E MODELOS DA COMPUTAO QUE UTILIZAM A TEORIA DE CONJUNTOS
COMO LINGUAGEM UNIFICADORA PARA EFETIVAR AS ESTRUTURAS DOS MODELOS.
34
Linguagem. A discusso segue, com adaptaes, as apresentadas em (MENEZES, 1997)
e (DIVERIO, MENEZES, 2000).

Definio 10: Um Alfabeto um conjunto finito de smbolos ou caracteres.
Um conjunto infinito no um alfabeto.
O conjunto vazio um alfabeto.

Definio 11: Uma Cadeia de Smbolos sobre um conjunto uma seqncia de zero ou
mais smbolos justapostos. Uma Cadeia de Smbolos Finita denominada de Palavra.
O smbolo denota a cadeia vazia ou palavra vazia ou sentena vazia.
A notao representa um conjunto de smbolos (um alfabeto)
A notao * designa o conjunto de todas as palavras possveis sobre o alfabeto.
A notao
+
designa *-{ }.

Exemplo 22: (MENEZES, 1997) Para ilustrar a noo de alfabeto e palavra observe que:
e {a, b, c} so alfabetos.
O conjunto dos nmeros naturais no um alfabeto.
O conjunto das letras {1, b, aa, ab, ba, bb, aaa, ...} no um alfabeto.
uma palavra sobre {a, b, c}.
a, e, i, o, u, ai, oi, ui e aeiou so exemplos de palavras sobre o conjunto das vogais.
1 e 001 so exemplos de palavras distintas sobre dgitos.
{a, b}* = { , a, b, aa, ab, ba, bb, aaa}.
uma palavra sobre (alfabeto).
* = { } (todas as possveis palavras).

Definio 12: Concatenao de Palavras uma operao binria, definida sobre uma
linguagem L, a qual associa a cada par de palavras uma palavra formada pela
justaposio da primeira com a segunda palavra.

35
Exemplo 23: (MENEZES, 1997) Seja o alfabeto = { a, b } e considere as palavras v=baaaa
e w=bb. Ento so concatenaes.
v w = baaaabb.
v = v = baaaa.
w
3
= w w w.
a
5
= aaaaa.

Exemplo 24: (MENEZES, 1997) Um alfabeto numa linguagem de programao como
Pascal o conjunto de todos os smbolos usados nos programas: Letras, dgitos,
caracteres especiais como >, /, etc., espao ou branco.

Definio 13: Comprimento ou Tamanho de uma Palavra w, representado por | || |w| || |, o
nmero de smbolos que compem a palavra.

Exemplo 25: (MENEZES, 1997) Considere as palavras w=abcd e . ento
| || |abcb| || | = 4.
| || || || |= 0.

Definio 14: Um Prefixo (respectivamente, Sufixo) de uma palavra qualquer
seqncia inicial (respectivamente, final) de smbolos da palavra. Uma subpalavra de
uma palavra qualquer seqncia de smbolos contgua da palavra.

Exemplo 26: (MENEZES, 1997) Considere a palavra abcb sobre o alfabeto { a, b, c }.
Ento:
Os smbolos , a, ab, abc, abcb so todos os prefixos.
Os Smbolos , b, cb, bcb, abcb so todos os sufixos.
Qualquer prefixo ou sufixo uma subpalavra.

36
Definio 15: Uma Linguagem Formal (LF), ou simplesmente, uma Linguagem, um
conjunto de palavras sobre um alfabeto . . O conjunto vazio e o conjunto formado
pela palavra vazia so Linguagens sobre .

Exemplo 27: So exemplos de linguagens formais:
Java.
C.
Pascal.
HTML.
Basic.
C#.
Outras mais.

Definio 16: Um Sistema Formal composto por um conjunto de smbolos
(caracteres) e por um conjunto de regras com as quais se formam determinadas
expresses (ou formulas ou proposies) que so vlidas na Linguagem em questo.

Definio 17: Uma Sintaxe de uma LF um sistema formal de regras que determina
como as expresses da linguagem podem ser formadas a partir de um conjunto de
caracteres bsicos. Assim, a sintaxe trata das propriedades livres da linguagem, como,
por exemplo, a verificao gramatical de um programa.

Definio 18: Uma Semntica de uma LF uma teoria baseada em regras de
relacionamento entre as expresses da linguagem e determinados objetos (seus
significados). Assim, a semntica da uma interpretao para a linguagem como, por
exemplo, o significado ou valor para o programa. Atravs da semntica define-se um
subconjunto da linguagem S composto de frmulas vlidas.

Exemplo 28: Considere a LF Pascal e o seguinte comando:
a := b (Pascal)
37
If (<expresso>) <instruo>
Comando de atribuio correto (sintaxe)
Substitua valor de a com o valor atual de b (semntica)

Definio 19: Um Argumento uma seqncia de proposies (ou enunciados), no qual
uma das proposies a concluso e as demais so as premissas, e que servem para
formar alguma evidncia para a concluso. Um Argumento Dedutivo aquele cuja
concluso deve ser verdadeira. Ou seja, em um argumento dedutivo impossvel que a
concluso seja falsa se as premissas forem verdadeiras.

Definio 20: Chama-se de Proposio todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.

Definio 21: Um Problema uma questo a ser respondida e descrito por:
1. Uma descrio geral de todos seus parmetros.
2. A especificao de quais propriedades a resposta ou soluo deve satisfazer.

Definio 22: Uma Instncia de um problema obtida ao se fixar valores particulares
de todos os parmetros do problema


REFERNCIAS PARA O TPICO
ABE, A. M., PAPAVERO, N. Teoria Intuitiva dos Conjuntos. So Paulo. Editora Makron
Books. 1991. 266 p.
ALENCAR FILHO, E. Teoria Elementar dos Conjuntos. So Paulo. Editora Nobel. 1985.
CASTRUCCI, B. Elementos de Teoria dos Conjuntos. GEEM. So Paulo. 1983. 129 p.
CONIGLIO, M. E. Teoria Axiomtica de Conjuntos: Uma Introduo. Disponvel em
<http://unicamp.academia.edu/MarceloEstebanConiglio/Papers/831111/Teoria_Axio
matica_de_Conjuntos_uma_Introducao>. 1997.
38
DIVERIO, T. A., MENEZES, P F. B, Teoria da Computao. Srie Livros Didticos. Instituto
de Informtica da UFRGS. Editora Sagra-Luzzatto. Porto Alegre. 2000. 205 p.
GERNIMO, J.R., FRANCO, V. S. Fundamentos de Matemtica: Uma introduo lgica
matemtica, teoria dos conjuntos, relaes e funes. Editora da UEM. 2010, 296
p.
GERSTING, J. Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro.
Editora LTC. 1995. 518 p.
GRAA, D. Apontamentos para Linguagens Formais e Autmatos. Curso de
Informtica. 2011/11. Disponvel em <http://w3.ualg.pt/~dgraca/Files/LFA/
Apontamentos_LFA.pdf>. 2011. 75 p.
HALMOS. P. R. Teoria Ingnua dos Conjuntos. Coleo Clssicos da Matemtica. Editora
Cincia Moderna. Rio de Janeiro. 2001. 178 p.
HEFEZ, A. Curso de lgebra. Rio de Janeiro. Coleo Matemtica Universitria. IMPA. Rio
de Janeiro. 1993. 222 p.
LIPSCHUTZ, S. Teoria dos Conjuntos. Coleo Schaum. Editora McGrawHill. So Paulo.
1972. 337 p.
LIPSCHUTZ, S., LIPSON, M. Matemtica Discreta. So Paulo. Coleo Schaum. Editora
Bookman-Artmed. Porto Alegre. 2004. 511 p.
MENEZES, P. B. Matemtica Discreta para Computao e Informtica. Srie Livros
Didticos Informtica URGRS. Editora Bookman-Artmed. Porto Alegre. 2010. 350 p.
MENEZES, P. B., TOSCANI, L. V., LPEZ. J. G. Aprendendo Matemtica Discreta com
Exerccios. Srie Livros Didticos Informtica URGRS. Editora Bookman-Artmed.
Porto Alegre. 2009. 356 p.
MENEZES, P. F. B. Linguagens Formais e Autmatos. Srie Livros Didticos. Instituto de
Informtica da UFRGS. Editora Sagra-Luzzatto. Porto Alegre. 1997. 168 p.
MORAIS FILHO, D. C. Um Convite Matemtica. Coleo Professor de Matemtica.
Editora SBM. 2012. 455p.
VIEIRA, N. J. Introduo aos Fundamentos da Computao: Linguagens e Mquinas. Rio
de Janeiro. Editora Thomson. 2006.

Vous aimerez peut-être aussi