Aula 4

Sentena Aberta
A: 3+5 11 B: x+5 11 B uma sentena aberta ou funo proposicional
Qual a validade de A e B?

Conjunto Verdade

1) Dada uma sentena aberta x+5 11, x R, determine seu conjunto verdade.

2) Qual o conjunto universo e o conjunto verdade da sentena: O PLANETA X O MAIOR PLANETA DO SISTEMA SOLAR.

Quantificadores: UNIVERSAL E EXISTENCIAL

UNIVERSAL: "para todo" Ex: Todo inteiro racional. x, x Z x R

EXISTENCIAL: existe, algum, para ao menos um

Ex: x, x N Podemos ler: Existe um x tal que x N Algum nmero natural Existe pelo menos um nmero natural.

Exerccio:

Escreva na forma simblica as seguintes proposies:

a) Para todo x, se x real, ento x Q b) Existe x tal que c) Para todo x, existe um y tal que x<y d) Existe um x e existe um y tal que irracional

Predicado P(x)
Descreve a propriedade de uma varivel.

Ex:
Para todo x, existe um y tal que x<y ( x)( y)(x<y) ou ( x)( y)Q(x,y)

Obs.:

Ateno para a ordem dos quantificadores!

Para todo x, existe um y tal que x<y ( x)( y)(x<y) (valor-verdade: V) ( y) ( x)(x<y)
(valor-verdade: F)

Pense no domnio dos inteiros!

VALIDADE

wffs proposicionais
(B A) (A B)
Smbolos proposicionais e conectivos lgicos

wffs predicativas
( x) [L(x) O(x)]
Predicados e variveis

Verificar se a wff vlida ou invlida!

Exerccio:

3.

4.

Argumentos
Um argumento um conjunto de enunciados, mas no um conjunto qualquer de enunciados. Num argumento os enunciados tm que ter uma certa relao entre si (hipteses/ tese, premissa/concluso) Normalmente argumentos so utilizados para provar algum enunciado ou para convencer algum da verdade ou da falsidade de um enunciado.

No um argumento!

Todos os metais se dilatam com o calor. Todas os meses h pelo menos quatro domingos. Logo, este ser um ano de boas colheitas.

 um argumento!

Todos os homens so mortais Scrates homem Logo, Scrates mortal.

Todos os x so y z x Logo, z y.

Aula 5 LGEBRA DOS CONJUNTOS

15

Noes introdutrias

CONJUNTO:
Coleo de objetos! Objeto elemento

Elemento propriedade
Ex: A={a,e,i,o,u} P: A={x/x vogal} CONJUNTO UNIVERSO: U

CONJUNTO VAZIO( ): B={x/x mpar e mltiplo de 2}

CONJUNTO UNITRIO: C={x/x um n primo par e positivo}
16

 Qual a propriedade dos conjuntos? a) b) c) d) S={1, 4, 9, 16} T={2,3,5,7,11,13,...} V={2,3,4,5,6,7} Z={maio, julho, maro, janeiro, agosto, outubro, dezembro}
17

RELAES: Elemento X Conjunto Pertinncia

Conjunto X Conjunto Incluso A=B A B A B

18

 PROPRIEDADES DA INCLUSO:
1) 2) A 3) (A 4) (A A A reflexiva B e B A) A=B antissimtrica B e B C) A C transitiva

19

 CONJUNTO DAS PARTES DE UM CONJUNTO

(A) --- todos os subconjuntos de A (A)=
Z={a,b,c} (Z)=?

Ex.:

20

OPERAES ENTRE CONJUNTOS

1) REUNIO:

AUB={x/x A ou x B}
Propriedades:
1. 2. 3. 4. AUA=A AU =A AUB=BUA (AUB)UC=AU(BUC)

N de Elementos do Conjunto Unio

21

OPERAES ENTRE CONJUNTOS

2) INTERSECO: A B={x/x A e x B}
Propriedades:
1. 2. 3. 4. A A=A A =A A B=B A (A B) C=A

(B

C)
Demonstre (1)!!!

Distributiva (U )
1. 2. A (BUC)=(A B)U(A C) A U (B C)=(A UB) (A U C)
22

OPERAES ENTRE CONJUNTOS

3) DIFERENA
A-B={x/x A e x B}

4) COMPLEMENTAR
BCA

B = A-B

Ex.:

A={a,b,c,d,e} B={c,d,e} Determine

C C
B e

A
23

 Exerccio: 1) Simplifique a expresso:

a) b) c)

24

lgebra dos conjuntos para analisar afirmaes ou conjunto de afirmaes

25

DIAGRAMA DE VENN
Ajudam a reforar a noo intuitiva sobre conjuntos

U
A
B

26

Verifique pelo diagrama de Venn que: 1. A (BUC)=(A B)U(A C) 2. A U (B C)=(A UB) (A U C)

27

CONJUNTOS NUMRICOS

Nmeros Naturais
N 0, 1, 2, 3, 4, 5, ...

Nmeros Inteiros
Z ... , - 4, - 3, - 2, - 1, 0, 1, 2, 3, 4, ...

28

Nmeros Racionais
O conjunto dos nmeros racionais (simbolizado pela letra Q) formado por todos os nmeros que podem ser escritos na forma de frao.

Exemplos:

7 1 10 10 1

2,5

25 10 23 1000
29

0,023

Nmeros Irracionais
O conjunto dos nmeros irracionais (simbolizado pela letra I) formado pelas dzimas no peridicas. As principais so as razes no exatas:

2 1,4142135623... 3 1,7320508075... 5 2,2360679774...

cuja aproximao 3,1415926535...

Outro nmero irracional famoso o nmero

30

Nmeros Reais
O conjunto dos nmeros reais (simbolizado pela letra R) dado pela unio entre o conjunto dos racionais e o conjunto dos irracionais.

31

Intervalos Numricos
Intervalos Numricos so subconjuntos do conjunto dos nmeros reais ( ).

-4 -3

-2 -1

A distncia entre dois pontos quaisquer sobre a reta real representa um intervalo numrico!

32

Representaes dos Intervalos Numricos

Considere a reta dos nmeros Reais:

-4

-3 -2 -1 -1

0 x

1 2}

a) Por descrio: { x b) Por notao: [ -1, 2]

c) Na reta real: -1
Observao:

No final da reta usa-se ponto fechado ou aberto, de acordo com o tipo de intervalo. Usa-se colchetes ou parnteses respectivamente para fechado ou aberto.
33

Tipos de Intervalos Numricos

Intervalo fechado:

-4

-3

-2 -1

REPRESENTE:

Por descrio:
Por notao: Na reta real:
34

Intervalo aberto:

-4

-3 -2

-1

o 1

REPRESENTE:

Por descrio:
Por notao: Na reta real:
35

Intervalo Semi Aberto :

-4

-3 -2 -1

REPRESENTE:

Por descrio: Por notao: Na reta real:

36

Intervalo que tende ao infinito:

-4

-3 -2 -1

REPRESENTE:

Por descrio:
Por notao: Na reta real:
37

Operaes com intervalos na reta real:

1) Unio de Intervalos: ]a, b[

]c, d[ = ]a, d[
]c, d[ = ]c, b[

2) Interseco de Intervalos: ]a, b[

3) Diferena de Intervalos: ]a, b] ]c, d[ = ]a, c]

Exemplo: Seja A=[4, 9] e B= [6, 12] determine a unio, interseco e a diferena na reta real.
38

Exerccio:

1) Dados os intervalos: A = [-6, 0], B = [-2, 4] e C = [-3, 2] D = ] 0, 3]

Calcule e represente por descrio , notao e na reta real.

a)A B = d) B C =

b) A e) C

C= A=

c) B C = d) B D =

39

Aula 6
(sbado)

Exerccio

1) Numa pesquisa de mercado, verificou-se que 2000 pessoas usam o produto X ou Y. O produto Y usado por 800 pessoas, e 320 pessoas usam os dois produtos ao mesmo tempo. Quantas pessoas usam o produto X?
2) 3)

41

42

 PAR ORDENADO

PRODUTO CARTESIANO

Nmero de elementos: N(AxB)=n(A).n(B)

43

1) Determine :

2) Represente graficamente AxB e BXA

44

PROPRIEDADES DO PRODUTO CARTESIANO

45

Exemplo 1:

Exemplo 2:

46

 Exerccio:

2)

47

Qual a diferena entre equao e funo?

Definies: Domnio da funo o conjunto de todos os valores dados para a varivel independente.

Imagem da funo o conjunto de todos os valores correspondentes da varivel dependente.

Definio de funo: Sejam A e B dois conjuntos no vazios e f uma relao de A em B . Essa relao f uma funo de A em B quando a cada elemento x do conjunto A est associado um e apenas um elemento y do conjunto B .

Exemplo:

Exemplo:

Exemplo:
3)

Domnio, contradomnio e imagem

Exemplo 1:

Exemplo 2:

Exerccio: