Você está na página 1de 40

Andr Luiz da Costa Carvalho

O que um conjunto?
Definio difcil (ver mais adiante)
Um conjunto qualquer coleo, dentro de um todo de
objetos definidos e distinguveis, chamados elementos,
de nossa intuio ou pensamento.
Exemplos
(a) O conjunto de todas as cadeiras na sala de aula.
(b) O conjunto de todos os estudantes desta universidade.
(c) O conjunto das letras a, b, c e d.
(d) O conjunto das regras de uso do laboratrio de informtica.
(e) O conjunto de todos os nmeros racionais cujo quadrado 2.
(f ) O conjunto de todos os nmeros naturais.
(g) O conjunto de todos os nmeros reais entre 0 e 1.
Um conjunto que contm apenas um nmero finito de elementos
chamado um conjunto finito;
Um conjunto infinito um conjunto que no finito. Exemplos
de (a) a (e) acima so todos de conjuntos finitos, e Exemplos (f ) e
(g) so de conjuntos infinitos.
Conjuntos so frequentemente designados fechando-
se entre chaves os smbolos que representam seus
elementos, quando for possvel faz-lo.
Assim, o conjunto no Exemplo (c) {a, b, c, d} e o
conjunto no Exemplo (f ) pode ser denotado por {1, 2, 3,
... }.
O conjunto do Exemplo (e) no tem elementos; um tal
conjunto chamado o conjunto vazio, sendo denotado
pelo smbolo . C
Conjuntos
Usaremos letras maisculas para denotar conjuntos, e
letras minsculas para denotar elementos. Se a um
elemento de um conjunto A, escrevemos (leia-se:
a um elemento de A ou a pertence a A),
enquanto que a significa que a no elemento de
A.
Definio: Dois conjuntos A e B so iguais ou
idnticos quando contm os mesmos elementos. Isto ,
A = B significa
A ae
A ae
)] ( ) )[( ( B x A x A x e e e
Quantificadores
Em qualquer discusso geral, temos em mente um
universo particular ou domnio do discurso, isto , uma
coleo de objetos cujas propriedades esto sob
considerao.
Por exemplo, na afirmao Todos os humanos so
mortais", o universo a coleo de todos os humanos.
Com este entendimento do universo, a afirmao pode
ser expressada alternativamente como:
Para todo x no universo, x mortal
Quantificadores
Quantificador Universal Simboliza que o que dito
sobre um elemento qualquer verdadeiro todos os
possveis elementos.
Ex:
Todos os homens so mortais.
Todos os nmeros naturais maiores que cinco.
Todos os alunos de matemtica discreta.
)) ( )( ( x p x
Quantificadores
Agora considere a afirmao Alguns homens so
mortais". Aqui o universo (ou domnio de discurso)
ainda o mesmo da afirmao prvia.
Com este universo em mente, podemos refazer a
afirmao Alguns homens so mortais"
sucessivamente como:
Existe pelo menos um indivduo que mortal.
Existe pelo menos um x tal que x mortal.
Existe pelo menos um x tal que p(x).
Quantificadores
A frase Existe ao menos um x tal que" chamada um
quantificador existencial e simbolizada por ( ).
Usando este novo smbolo podemos agora reescrever a
afirmao Alguns homens so mortais" como:
x -
)) ( )( ( x p x -
Quantificadores
De um modo geral, suponhamos que temos um
domnio de discurso U e uma afirmao geral, p(x),
chamada um predicado proposicional, cuja varivel" x
varia em U. Ento afirma que para todo x,
em U, a proposio p(x) verdadeira, e
significa que existe pelo menos um x, em U, tal que
p(x) verdadeira.
)) ( )( ( x p x -
)) ( )( ( x p x
Quantificadores
Na lgica e na matemtica, a negao da proposio
p(x) verdadeira para todo x (em U), ,
considerada o mesmo que a assero existe pelo
menos um x (em U) para o qual p(x) falsa",
Analogamente, considerada o mesmo
que no h nenhum x (em U) tal que p(x)
verdadeira";
Em outras palavras, p(x) falsa para todo x (em U)",
ou . Sumarizamos tudo isto no seguinte
axioma:
)] ( )( [( x p x
)) ( )( ( x p x -
))] ( )( [( x p x -
)) ( )( ( x p x
Quantificadores
Axioma: Seja p(x) um predicado proposicional, isto ,
uma proposio sobre um objeto no especificado de
um dado universo. Ento:
)) ( )( ( )] ( )( [(
)) ( )( ( )] ( )( [(
x p x x p x
x p x x p x
-
-
Quantificadores
Para entender melhor as proposies quantificadas,
inspecionemos o caso em que o universo de discurso
consiste de um numero finito de indivduos
denotados por a1, a2, a3, ... an. Ento, como afirma que
p(x) verdadeira para todos, a1, a2, a3, ... , an, a
proposio verdadeira se e somente se a
conjuno de p(a1),p(a2),p(a3)...,p(an) for verdadeira.
)) ( )( ( x p x
Quantificadores
Logo:





Assim, a negao de quantificadores pode ser
considerada a aplicao da Lei de Morgan.
) ( )... 3 ( ) 2 ( ) 1 ( )) ( )( (
) ( )... 3 ( ) 2 ( ) 1 ( )) ( )( (
an p a p a p a p x p x
an p a p a p a p x p x
v v v -
. . .
Exemplo
Quais das seguintes proposies equivalente
negao da proposio Todas as cobras s~ao
venenosas"?
(a) Todas as cobras so no venenosas.
(b) Algumas cobras so venenosas.
(c) Algumas cobras no so venenosas.
Exerccios
Traduza a proposio da lgebra elementar A equao
x^2 -3x + 2 = 0 tem solues em linguagem lgica,
usando um quantificador.
Encontre a proposio equivalente negao de cada
uma das seguintes proposies,
(a) Todas as cobras so rpteis.
(b) Alguns cavalos so mansos.
(c) Alguns matemticos no so sociveis.
(d) Todas as estudantes so ou inteligentes ou atraentes.
(e) No h beb que no seja fofo
Conjuntos
A ordem em que aparecem os elementos num conjunto
no tem importncia.
O conjunto {a, b, c} o mesmo que {b, c, a}, etc.
Alm disso, como os elementos de um conjuntos so
distintos, {a, a, b}, por exemplo, no uma notao
apropriada de um conjunto, e deveria ser substituda
por {a, b}.
Se a um elemento de um conjunto, a e {a} so
considerados diferentes, isto , a {a}. Pois {a} denota
o conjunto consistindo do elemento a somente,
enquanto que a apenas o elemento do conjunto {a}.
Definio Sejam A e B conjuntos. Se todo elemento de
A elemento de B, ento A chamado um subconjunto
de B, em smbolos: ou . Se A
subconjunto de B, ento B chamado um
superconjunto de A.
Escrevendo logicamente:
B Ac A B
)] ( ) )[( ( B x A x x B A e e c
Obviamente, todo conjunto um subconjunto (e um
superconjunto) de si mesmo.
Quando , dizemos que A um
subconjunto prprio de B, ou que B um
superconjunto prprio de A.
A um subconjunto prprio de B quando todo elemento
de A um elemento de B, mas existe um elemento de B
que no elemento de A.
Se A no subconjunto de B, escrevemos
) ( ) ( B A B A = . c
B A.
Teorema: O conjunto vazio um subconjunto de
qualquer conjunto.

Vamos verificar se isto verdade?
Teorema: Se e ento B Ac C Bc C Ac
Exerccios
Quais os subconjuntos do conjunto {a,b,c,d} ?
Quem subconjunto de quem?
A = {2,4,6}
B = {todos os nros reais que resolvem x^2-8x+12=0}
C = {2,4,6,8...}
D = {6}

Especificando Conjuntos
Um modo de construir um novo conjunto, a partir de um
conjunto dado, especificar aqueles elementos, do
conjunto dado, que satisfazem uma propriedade particular.
Por exemplo, seja A o conjunto de todos os estudantes desta
universidade. A proposio x amazonense verdadeira para
alguns elementos x de A e falsa para outros. Empregaremos a
notao:
{ x A | x amazonense}
para especificar o conjunto de todas os estudantes amazonenses
desta universidade. Similarmente,
{ x A | x no amazonense}
Especifica os estudantes no amazonenses.
Especificando Conjuntos
Como regra, a todo conjunto A e a toda proposio
p(x) sobre x A, existe um conjunto {x A | p(x)},
cujos elementos so precisamente aqueles elementos x
A para os quais a afirmao p(x) verdadeira.
Exemplos:
{x R|x=x+1}, o conjunto vazio.
{x R|2x^2-5x-3=0} o conjunto {-1,2/3}.
{x N|x>5} o conjunto {6,7,8,9...}.
Mais exemplos
R = {x|x um nmero Real}
Q = {x|x um nmero Racional}
Z = {x|x um nmero Inteiro}
N = {x|x um nmero Natural}
R+ = {x R|x > 0}



R R N R Q Z N c c c c c
+
,
Conjuntos de conjuntos
possvel que elementos de um conjunto possam ser
tambm conjuntos.
Por exemplo, o conjunto de todos os subconjuntos de
um conjunto dado A tem conjuntos como seus
elementos.
Este conjunto chamado conjunto das partes de A, e
denotado ou .
Conjunto das partes ou conjunto potncia.
) ( A
A
2
Exemplos
A = {a,b,c}, = { ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c} }


A = {carlos,ana}, = { , {carlos},{ana},{carlos,ana}}
) ( A
) ( A
C
C
Se A consiste de n elementos, ento seu conjunto
potncia contm exatamente 2^n elementos
Exerccios
Quais os elementos dos seguintes conjuntos?
A = {x N| x<5}
B = {x Z| x^2 <=25}
Escreva os conjuntos na notao de construo de
conjuntos:
A = {1,2,3}
B = {1,3,5,7,9...}
Quais os elementos do conjunto potncia de {xZ| x>-2
e x<3}?
Operaes com Conjuntos
Na aritmtica, podemos somar, multiplicar, ou subtrair
dois nmeros quaisquer.
Na teoria dos conjuntos, h trs operaes: unio,
interseo, e complementao, respectivamente
anlogas s operaes adio, multiplicao, e
subtrao de nmeros.
Unio
A unio de dois conjuntos quaisquer A e B, denotada
por A U B, o conjunto dos elementos x tais que x
pertence a pelo menos um dos dois conjuntos A e B.
Ou seja, se e somente se . B A x e B x A x e v e
Interseo
A interseo de dois conjuntos quaisquer A e B,
denotada por , o conjunto dos elementos x tais
que x pertence a ambos os conjuntos A e B.
Em smbolos,
Se , dizemos que A e B so conjuntos
disjuntos.
B A
} | { ), ( ) ( | { B x A x ou B x A x x B A e e e . e =
C = B A
Exemplo
A {1,2,3,4}, B = {3,4,5}

Unio?


Interseo?

Complemento
Existe, na teoria dos conjuntos, uma operao
conhecida como complementao, que similar
operao de subtrao na aritmtica.
Se A e B so conjuntos, o complemento relativo de B
em A o conjunto A - B, definido por:



Nesta definio, no assumido que
A Bc
} | { B x A x B A e e =
Exemplo
Sejam A={a,b,c,d} e B={c,d}

A - B


) ( B A A
Conjunto Universo
Por questes matemticas, interessante possuir o
conceito um conjunto que seja maior que todos os
outros conjuntos
Conjunto U: Conjunto terico que contm todos os
outros conjuntos.
Qualquer conjunto subconjunto de U.
Complemento de um conjunto A: U A.
Notao: A ou

A
Propriedades
'
' '
'
'
'
'
)' ' (
B A B A
A B B A
U A A
A A
U
U
A A
=
c c
=
C =
C =
= C
=
Teorema de Morgan
' ' )' (
' ' )' (
B A B A
B A B A