Tema 07

Categorização e Teoria dos Conjuntos

Lógica Matemática

Conjuntos
• O desenvolvimento da teoria dos
conjuntos por Georg Cantor (1932)
está entre as principais realizações da
matemática moderna e sua aplicação
na semântica formal é central

• Um conjunto é uma coleção de

elementos cuja participação é
determinada por alguma
característica que eles compartilham
com todos os outros no conjunto
 Conjuntos
• Assim:
– Os números positivos formam um conjunto que contrasta com o dos
números negativos
– As expressões bem formadas de uma linguagem natural constituem um
conjunto que contrasta com as que são informadas, e assim por diante

• A intuição também nos assegura que a afiliação definida nem

sempre é claramente definida
– Muitos conjuntos (p.ex. o conjunto de coisas bonitas), são "difusas"
(fuzzy)

Teoria dos Conjuntos

• Definição  Um conjunto é uma coleção de objetos
distintos (elementos)

• Os conjuntos são representados por letras maiúsculas (ex.:

A, S ), e seus elementos por letras minúsculas dentro de
chaves ( )
 Teoria dos Conjuntos
• Formas de representação dos conjuntos:
– Qualificação (Compreensão, Descrição)
– Enumeração (Extensão, Por extenso)
– Diagrama de Venn
• (Diagrama de Euler)

Teoria dos Conjuntos

• Representação por qualificação é usada quando os elementos
que o formam são muitos ou quando não é possível numerá-los
– Ex.: C x/x é um número primo ; D os meus MP3s de música

https://www.gcfaprendelivre.org/blog/como_os_conjuntos_sao_representados/1.do
 Teoria dos Conjuntos
• Representação por enumeração é usada quando os
elementos que os compõem são poucos e podemos enumerar
e nomear
– Ex.: V a, e, i, o, u (Conjunto das vogais); P 2, 4, 6, 8, 10, 12,…
(Conjunto dos números pares positivos)

https://www.gcfaprendelivre.org/blog/como_os_conjuntos_sao_representados/1.do

Teoria dos Conjuntos

• O Diagrama de Venn (diagrama de conjunto ou diagrama
lógico) mostra todas as relações lógicas possíveis entre
uma coleção finita de conjuntos diferentes
 Teoria dos Conjuntos
• Terminologia:
– Conjunto unitário
– Conjunto vazio
– Conjunto universo
– Conjunto finito e conjunto infinito
– Subconjunto
• Conjunto das partes (potência)

Teoria dos Conjuntos

• Conjunto unitário é o conjunto que possui um único
elemento
– Ex.: A cidade

• Conjunto vazio é o conjunto que não possui elementos,

sendo representado por ou Ø
– Ex.: A ou A Ø
 Teoria dos Conjuntos
• Conjunto universo contém todas os elementos que se deseja
considerar em uma certa situação
– Assim todos os conjuntos são subconjuntos do conjunto universo

• Representado pelo símbolo U

Teoria dos Conjuntos

• A cardinalidade (|A|) representa o número de elementos no
conjunto
– Ex.: XBURGUER pão, hambúrguer, queijo → |XBURGUER| 3
• Conjunto finito: Quando a cardinalidade pode ser
representada por um número
– Ex.: VOGAIS a, e, i, o, u → |VOGAIS| 5
• Conjunto infinito: Quando é impossível definir o número de
elementos no conjunto
– Ex.: ÍMPARES 1, 3, 5, 7, 9, ...
 Teoria dos Conjuntos
• Diz-se que A é subconjunto de B se todo elemento de A é
também elemento de B

• Exemplo:
– 2 é subconjunto de 1, 2, 3
– 1, 3 é subconjunto de 1, 3, 5

Teoria dos Conjuntos

• O conjunto das PARTES de um conjunto A (potência ou
power set), simbolizado por 𝑃 𝐴 , é o conjunto cujos
elementos são todos partes (subconjuntos) de 𝐴

• O número de subconjuntos ou partes de um conjunto A é

dado por 2n ou 2^n , em que n é o número de elementos de A
 Teoria dos Conjuntos

Mas por que

|𝑃 𝑆 | 2 ...?

Teoria dos Conjuntos

• |𝑃 𝑆 | 2𝑛 é binário!
– Seja "1": "colocar membro abc Subconjunto
correspondente neste 0 000 {}
subconjunto" 1 001 {c}
2 010 {b}
– Então, "101" é substituído por 1
3 011 {b, c}
𝑎, 0 𝑏, e 1 𝑐, para obter 𝑎, 𝑐
4 100 {a}
5 101 {a, c}
6 110 {a, b}
7 111 {a, b, c}
 Teoria dos Conjuntos
• Exemplo de conjunto das partes de um conjunto:
– Dado o conjunto A 1, 2, 3 , encontrar o conjunto das partes de A

• Solução:
– Como A tem 3 elementos, P A terá 8 elementos (=23)
– O conjunto P A é 1 , 2 , 3 , 1, 2 , 1, 3 , 2, 3 , 1, 2, 3 , ∅
– ∅ representa conjunto vazio, e é sempre o único subconjunto de
qualquer conjunto

Teoria dos Conjuntos

• Relações:
– Entre conjunto e elemento:
• Pertinência
– Entre dois conjuntos:
• Contingência (Inclusão)
• Igualdade
 Teoria dos Conjuntos
• Relações de pertinência relacionam elemento com conjunto
• A indicação de que o elemento pertence ou não pertence a um
conjunto é feita pelos símbolos: ∈ (pertence) e ∉ (não
pertence)
• Exemplo:
– 2 ∈ 0, 1, 2
– 4 ∉ 0, 1, 2

Teoria dos Conjuntos

• Relações de inclusão relacionam um conjunto com outro
conjunto (ou subconjunto)
• A simbologia é ⊂ (está contido), ⊄ (não está contido), ⊃
(contém), ⊅ (não contém)
• Exemplo:
– 2, 5 ⊂ 0, 1, 2, 5
– 2, 7 ⊄ 0, 1, 2, 5
– 0, 1, 2, 5 ⊃ 2, 5
– 0, 1, 2, 5 ⊅ 2, 7
 Teoria dos Conjuntos
• Se o conjunto A está contido no conjunto B, dizemos que A é
um subconjunto de B

• A relação de pertinência relaciona um elemento a um

conjunto e a relação de inclusão refere-se sempre a dois
conjuntos
– Errado: 2 ⊂ 0, 2, 4, 6, 8 ; 2 ∈ 0, 2, 4, 6, 8
– Correto: 2 ∈ 0, 2, 4, 6, 8 ; 2 ⊂ 0, 2, 4, 6, 8 ;
2 ∈ 0, 2 , 4, 6, 8 , 2 ⊄ 0, 2 , 4, 6, 8

http://www.vestibulandoweb.com.br/matematica/teoria/conjuntos.asp

Teoria dos Conjuntos

• Dentro de um conjunto, um outro conjunto pode ser tratado
como um de seus elementos
– 1, 2 é um conjunto, porém no conjunto A 1, 3, 1, 2 , 4 ele será
considerado um elemento, ou seja, 1, 2 ∈ 𝐴
– Uma cidade é um conjunto de pessoas que representam os moradores
da cidade, porém uma cidade é um elemento do conjunto de cidades
que formam um Estado

http://www.vestibulandoweb.com.br/matematica/teoria/conjuntos.asp
 Teoria dos Conjuntos
• Relação de igualdade: Dois conjuntos A e B são iguais
quando todo elemento de A pertence a B, e todo elemento de
B pertence a A, ou seja, A é subconjunto de B e B é
subconjunto de A:
Se A ⊂ B e B ⊃ A → A B

• Ex.: A Patê, Manteiga, Geleia e B Geleia, Patê, Manteiga

História dos Números

• A necessidade de numeração
na humanidade
– https://edu.gcfglobal.org/pt/conceito
s-basicos-da-matematica/breve-
historia-dos-numeros/1/

Escrita cuneiforme (babilônia)

Numeração egípcia
 Teoria dos Conjuntos
• Conjuntos numéricos:
– Conjuntos dos números
– Desigualdades
– Intervalos
 Teoria dos Conjuntos
• Conjuntos dos números
– Naturais: ℕ 0, 1, 2, 3, …
– Inteiros: ℤ … , 3, 2, 1, 0, 1, 2, 3, …
– Racionais: ℚ , . ,…

– Irracionais: 𝕀 2, 3, …
– Reais: ℝ ℚ∪𝕀

Teoria dos Conjuntos

• Conjuntos dos números

https://commons.wikimedia.org/wiki/File:Set_of_real_numbers_(diagram).svg
 Teoria dos Conjuntos
• Desigualdade Estrita: Os símbolos (menor que) e (maior
que) são definidos por:
–𝑎 𝑏 se, e somente se, 𝑏 𝑎 é positivo
–𝑎 𝑏 se, e somente se, 𝑎 𝑏 é positivo

• Desigualdade Não Estrita: Os símbolos (menor ou igual) e

(maior ou igual) são definidos por:
–𝑎 𝑏 se, e somente se, 𝑎 𝑏 ou 𝑎 𝑏
–𝑎 𝑏 se, e somente se, 𝑎 𝑏 ou 𝑎 𝑏

Teoria dos Conjuntos

• Intervalo é o conjunto de todos os números reais (𝑅)
compreendidos entre p e q, podendo inclusive incluir p e q

• Os elementos p e q são os limites do intervalo

 Teoria dos Conjuntos
Tipos de Intervalos
Finito; fechado
Finito; aberto
Finito; fechado a esquerda
Finito; fechado à direita
Infinito; semi-fechado
Infinito; semi-fechado
Infinito; semi-aberto
Infinito; semi-aberto
Infinito; aberto e fechado
Vazio
Intervalo degenerado
Representação Observação
[ p, q ]  [ p, q ]  {x  R / p  x  q} Inclui os limites p e q
( p, q ) ] p, q[ {x  R / p  x  q} Exclui os limites p e q
[ p, q )  [ p, q[ {x  R / p  x  q} Inclui p e exclui q
( p, q ] ] p, q ]  {x  R / p  x  q} Exclui p e inclui q
[ p,  )  [ p,  [ {x  R / x  p} Valores maiores ou iguais a p
(, q ]  , q ]  {x  R / x  q} Valores menores ou iguais a q
( p,  ) ] p,  [ {x  R / x  p} Valores maiores do que p
(, q )  , q[ {x  R / x  q} Valores menores do que q
(,  ) ]  ,  [ R Ilimitado nas extremidades
[ q , p ]  ( p , p )  [ p, p )  ( p , p ]  Ø Conjunto vazio
[ p, p ]  { p} Elemento único

Teoria dos Conjuntos

𝐴 𝑥 ∈ R/ 1 𝑥 3 𝐶 𝑥 ∈ R/1 𝑥 3

𝐴 ∩ 𝐶?

• Como o que interessa é a

𝐴:
-1 3 interseção, o limite só
será fechado se
𝐶: pertencer a ambos os
1 3
conjuntos A e C, logo 𝐴 ∩
𝐴 ∩ 𝐶: 𝐶 1,3 , ou 1,3
1 3
 Teoria dos Conjuntos
𝐴 𝑥 ∈ R/ 1 𝑥 3 𝐶 𝑥 ∈ R/1 𝑥 3

𝐴 𝐶?
"Vai tirar ("cortar") do intervalo 𝐴 todos os elementos que pertencem ao 𝐶"

𝐴: • 1 pertence ao A? Sim,
-1 3
então sairá
𝐶: • Intervalo 1, 3 sairá
1 3
• 𝐴 𝐶 1,1
𝐴 𝐶:
-1 1