Вы находитесь на странице: 1из 25

Teoria dos Conjuntos - parte I Lgica de Predicados 2011/2

Profa: Daniela Scherer dos Santos


daniela.santos37@ulbra.edu.br LgicadePredicados Profa.DanielaSchererdosSantos
1

Roteiro
Teoria dos Conjuntos: Conceitos bsicos.

LgicadePredicados

Profa.DanielaSchererdosSantos

Conjuntos
de fundamental importncia para vrias reas da computao, exemplos: Banco de Dados Linguagens Formais

LgicadePredicados

Profa.DanielaSchererdosSantos

Conjuntos
Um conjunto qualquer coleo de zero ou mais objetos distintos, chamados elementos do conjunto, os quais no possuem qualquer ordem associada. Exemplos: (a) O conjunto de todas as cadeiras na sala de aula de lgica; (b) O conjunto de todos os estudantes desta universidade. (c) O conjunto das regras de uso do laboratrio de informtica.
LgicadePredicados Profa.DanielaSchererdosSantos
4

Notao dos Conjuntos


Representando um conjunto por: Extenso: P = {a,e,i,o,u} P o conjunto das vogais do nosso alfabeto A = {1, 3, 5, 7, 997, 999} A o conjunto de nmeros naturais mpares menores que 1000 I = {1, 3, 5, 7, } I o conjunto de todos os nmeros naturais mpares

LgicadePredicados

Profa.DanielaSchererdosSantos

Notao dos Conjuntos


Representando um conjunto por: Diagramas de Venn-Euller:

A ConjuntoAdosnmeros primosmenoresque15.

7 11 2 3 5 13

LgicadePredicados

Profa.DanielaSchererdosSantos

Notao dos Conjuntos


Representando um conjunto por: Diagramas de Venn-Euller:

A ConjuntoAdosnmeros primosmenoresque15.

7 11 2 3 5 13 4

10

Elementosexterioresao crculonofazempartedo conjunto. LgicadePredicados Profa.DanielaSchererdosSantos

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?

LgicadePredicados

Profa.DanielaSchererdosSantos

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
1 2

LgicadePredicados

Profa.DanielaSchererdosSantos

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
1 2

x xx x x x x xx x

LgicadePredicados

Profa.DanielaSchererdosSantos

10

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
1 2

# # x xx # ### x x ### #x x # # # xxx # #

LgicadePredicados

Profa.DanielaSchererdosSantos

11

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
@@ 2 # # x xx @ @ # ### x x # # # # x x @@@ # # # xxx @ @ @ # # 1

LgicadePredicados

Profa.DanielaSchererdosSantos

12

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
@@ 2 # # x xx @ @ # ### x x # # # # x x @@@ # # # xxx @ @ @ # # 1

LgicadePredicados

Profa.DanielaSchererdosSantos

13

Diagramas de Venn-Euller
Exemplo: Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos erraram as duas questes?
@@ 2 # # x xx @ @ # ### x x # # # # x x @@@ # # # xxx @ @ @ # # & 1

& && &

LgicadePredicados

Profa.DanielaSchererdosSantos

14

Conjunto Universo
o conjunto de todos os objetos considerados num determinado estudo. representado pela letra U. Exemplos: Nos estudos da populao humana, o conjunto universo constitudo de todos os habitantes da terra; Em Astronomia o conjunto universo constitudo pelos corpos estrelares tais como planetas, satlites, estrelas, galxias, etc.
LgicadePredicados Profa.DanielaSchererdosSantos
15

Relao de Pertinncia
Se um objeto x membro de um conjunto B, isto , se x est em B como um de seus elementos, dizemos que x pertence a B. Notao:
xB

Se um objeto x no membro de um conjunto B, isto , se x no pertence a B indicamos pela notao:


xB

LgicadePredicados

Profa.DanielaSchererdosSantos

16

Relao de Pertinncia
Consideremos o conjunto: B = {0, 2, 4, 6, 8} O algarismo 2 pertence ao conjunto B: O algarismo 7 no pertence ao conjunto B:
7B 2B

LgicadePredicados

Profa.DanielaSchererdosSantos

17

Cardinalidade de um Conjunto
Se um conjunto A tem exatamente 7 elementos distintos, dizemos isso usando uma das seguintes notaes:
n(A)=7ou#A=7

LgicadePredicados

Profa.DanielaSchererdosSantos

18

Caractersticas dos Conjuntos


A ordem em que os elementos so listados em um conjunto irrelevante: {3, 2, 1} = {1, 2, 3}. A repetio dos elementos em um conjunto irrelevante: {1, 1, 1, 3, 2, 2} = {1, 2, 3}.

LgicadePredicados

Profa.DanielaSchererdosSantos

19

Conjuntos Finitos e Infinitos


Um conjunto finito se contm um nmero especfico de elementos diferentes. Caso contrrio, o conjunto infinito. Exemplos: Seja S o conjunto dos dias da semana. Como S tem 7 elementos, S finito:
S = {segunda, tera, quarta, quinta, sexta, sbado, domingo}

O conjunto N = {0, 1, 2, 3, 4,...} dos nmeros naturais infinito.


LgicadePredicados Profa.DanielaSchererdosSantos
20

Conjunto Unitrio
Um conjunto dito conjunto unitrio quando tem um nico elemento. Exemplos: A = {5} P = {Paula}

LgicadePredicados

Profa.DanielaSchererdosSantos

21

Conjunto Vazio
Um conjunto dito conjunto vazio (ou nulo) quando no possui elementos. Tal conjunto representado por ou {}. Todo conjunto que tem pelo menos um elemento chamado conjunto no vazio.

LgicadePredicados

Profa.DanielaSchererdosSantos

22

Conjuntos Disjuntos
Se os conjuntos A e B no possuem algum elemento em comum, isto , se no h nenhum elemento de A em B, dizemos que A e B so conjuntos disjuntos. disjuntos Exemplos: Se A={1, 3, 5, 7} e B={2, 4, 6, 8}, ento A e B so disjuntos; Se A e B no so conjuntos disjuntos dizemos que eles se interceptam.

LgicadePredicados

Profa.DanielaSchererdosSantos

23

Conjuntos Numricos
Naturais: N={1, 2, 3, } Inteiros: Z={..., -3, -2, -1, 0, 1, 2, 3, } Racionais: Q={x Q, x=p/q, onde p Z e q 0 Z} Irracionais: formado pelas razes no exatas (nmeros que possuem infinitas casas decimais e em nenhuma delas obteremos um perodo de repetio) Reais: todos os nmeros racionais e irracionais

LgicadePredicados

Profa.DanielaSchererdosSantos

24

Intervalos em Reais
Dados dois nmeros reais a e b, chama-se intervalo a todo conjunto de todos nmeros reais compreendidos entre a e b , podendo inclusive incluir a e b. Tipos de intervalo: FECHADO: [a,b] = {xR, a x b} inclui os limites a e b; SEMI-ABERTO DIREITA: [a,b[ = {xR, a x < b} valores menores do que b; SEMI-ABERTO ESQUERDA:]a,b] = {xR, a < x b} valores maiores do que a; Intervalo ABERTO: ]a,b[ = {xR, a < x < b} no
inclui os limites a e b.
LgicadePredicados Profa.DanielaSchererdosSantos
25

Вам также может понравиться