Você está na página 1de 24

Análise Matemática 1

MIEEC - 2011/2012

vcp (vpera@fe.up.pt)
DEEC - FEUP

Porto, Setembro/2011
Parte I (Revisões)
• Lógica

• Conjuntos

• Conjunto dos Números Reais

• ÁLgebra

• Geometria

• Sucessões Numéricas

• Princı́pio de Indução Matemática

• Funções

2
Lógica
• Operações

• Relações

• Álgebra proposicional

• Quantificadores

3
Operações Lógicas
• Negação (¬)

• Conjunção (∧)

• Disjunção inclusiva (∨)

• 1as Leis de De Morgan

¬(A ∧ B) ⇔ ¬A ∨ ¬B
¬(A ∨ B) ⇔ ¬A ∧ ¬B

4
Relação Implicação ( ⇒ )
• Definição Formal versus Conceito Natural
• Tabela de Verdade

A B A ⇒ B ¬B ⇒ ¬A ¬A ∨ B A ∧ ¬B
V V V V V F
V F F F F V
F V V V V F
F F V V V F

• Equivalências:

(A ⇒ B) ⇔ (¬B ⇒ ¬A) ⇔ (¬A ∨ B)

5
Relação Equivalência ( ⇔ )
• Tabela de Verdade

A B A⇔B
V V V
V F F
F V F
F F V

• Equivalências:
(A ⇔ B)
⇔ (A ⇒ B) ∧ (B ⇒ A)
⇔ (¬A ⇔ ¬B)
⇔ (A ∧ B) ∨ (¬A ∧ ¬B)

6
Álgebra proposicional
• Idempotência (A ∨ A) ⇔ A (análogo para ∧ ...)

• Associatividade ((A ∨ B) ∨ C) ⇔ (A ∨ (B ∨ C))


• Comutatividade A ∨ B ⇔ B ∨ A
• Distribut. A ∨ (B ∧ C) ⇔ (A ∨ C) ∧ (B ∨ C)
• Identidade A ∨ F ⇔ A, A ∨ V ⇔ V ,
A∧F ⇔F e A∧V ⇔A
• Complementarridade A∨¬A ⇔ V , A∧¬A ⇔ F
• Leis de De Morgan

7
Quantificador Universal ( ∀ )
1
• A proposição ”qualquer que seja x, P (x)”
escreve-se ∀x P (X)

• ∀x P (X) tem o valor lógico V se e só se,


atribuindo a x qualquer valor do domı́nio, P (x)
converte-se sempre numa proposição verdadeira

• Negação: ¬(∀P (x)) ⇔ ∃¬P (x)

1
P (x) é uma condição, ou expressão proposicional.

8
Quantificador Existencial ( ∃ )
• A proposição ”existe um x tal que P (x)”
escreve-se ∃x P (X)

• ∃x P (X) tem o valor lógico F se e só se, atribuindo


a x qualquer valor do domı́nio, P (x) converte-se
sempre numa proposição falsa

• Negação: ¬(∃P (x)) ⇔ ∀¬P (x)

9
Quantificação Múltipla
• Exemplo: ∀n ∈ N ∃M ∈ N : M > n

• Generalização para sequências com mais de dois


quantificadores

• A ordem dos quantificadores pode alterar o valor


lógico da proposição
(exemplo anterior) ∃M ∈ N ∀n ∈ N : M > n

10
Conjuntos
• Definições e Nomenclatura

• Diagrama de Venn

• Conjuntos Particulares

• Relações

• Operações

• Álgebra dos Conjuntos

• Aritmética Cardinal

11
Definições e Nomenclatura
• Um Conjunto é uma colecção de objectos.
Cada objecto chama-se Elemento do conjunto.
• Definição de Conjunto por Enumeração:
X = {a1, a2, . . . , an} é constituı́do pelos elementos
a1, . . . , an (supondo que estes designam objectos
não repetidos
Exemplo: X = {1, 3, 5, 3} tem como elementos
os números 1, 3 e 5
• Definição de Conjunto por Compreensão:
X = {x : P (x)} é constituido pelos elementos que
tornam P (x) verdadeira

12
Diagrama de Venn
• Representação gráfica (intuitivamente interessante,
em geral) para representar conjuntos, incluindo
também o conjunto Universo, U

13
Conjuntos Particulares
• Conjunto Vazio (∅) não contém qualquer elemento

Nota: X = ∅ =
6 {∅}

• Conjunto Singular contém um único elemento

Nota: X = {a} =
6 a

14
Relações entre
Elementos e Conjuntos ( ∈ ; ∈
/ )
• A proposição ”a pertence a X ” escreve-se a ∈ X

• E a sua negação, ”a não pertence a X ”, escreve-


se a ∈/X

Nota: a ∈ X e b ∈ X e c ∈ X pode escrever-se


de maneira mais simples a, b, c ∈ X

15
Relações entre Conjuntos ( = ; 6= )
• X e Y são conjuntos idênticos se e só se ambos
têm os mesmos elementos

X = Y ⇔ ((∀x ∈ X : x ∈ Y )∧(∀x ∈ Y : x ∈ X))

• E a negação desta proposição

X 6= Y ⇔ ((∃x ∈ X : x ∈
/ Y )∨(∃x ∈ Y : x ∈
/ X))

16
Relações entre Conjuntos ( ⊂ ; ⊆ )
• X está contido em Y se e só se ∀x ∈ X : x ∈ Y
e escreve-se X ⊂ Y

• X ⊂ Y pode ler-se ”X é subconjunto de Y ”

• ¬(X ⊂ Y ) ⇔ ∃x ∈ X : x ∈
/Y

Nota: alguns autores utilizam o sı́mbolo ⊆ se inclusão


não é estrita.

17
Relações entre Conjuntos ( ⊃ ; ⊇ )
• X contém Y se e só se ∀x ∈ Y : x ∈ X
e escreve-se X ⊃ Y

• Diz-se que X é superconjunto de Y

• X⊃Y ⇔ Y ⊂X

18
Relações entre Conjuntos ( ∼ )
• O Conjunto A é Equipotente ao Conjunto B (e
viceversa) se existe uma Relação Biunı́voca entre
A e B , podendo escrever-se A ∼ B

Exemplo:
Se A = {1, 3, 7} e B = {2, 8, 9}, então A ∼ B ,
pois é possı́vel definir uma função bijectiva f : A → B

19
Operações ( ∪ ; ∩ )
• A Intersecção dos Conjuntos A e B é o Conjunto
constituı́do pelos elementos que pertencem a A e
a B,
A ∩ B = {x ∈ U : x ∈ A ∧ x ∈ B}

Nota: A e B são Conjuntos Disjuntos se A∩B = ∅

• A Reunião dos Conjuntos A e B é o Conjunto


constituı́do pelos elementos que pertencem a A ou
a B,
A ∪ B = {x ∈ U : x ∈ A ∨ x ∈ B}

20
Operações ( \ )
• A Diferença dos conjuntos A e B é o Conjunto
constituı́do pelos elementos que pertencem a A e
não pertencem a B ,
A \ B = {x ∈ A : x ∈ / B}

• A \ B pode ler-se ”Complementar de B em A”

• U \B pode ler-se ”Complementar de B ”, podendo


escrever-se B c

21
Álgebra dos Conjuntos
• Idempotência A ∪ A = A (análogo p/ ∩ ...)
• Associatividade (A ∪ B) ∪ C = A ∪ (B ∪ C)
• Comutatividade A ∪ B = B ∪ A
• Distributividade A∪(B ∩C) = (A∪C)∩(B ∪C)
• Identidade A ∪ ∅ = A, A ∪ U = U , A ∩ ∅ = ∅
e A∩U =A
• Complementaridade A ∪ Ac = U , A ∩ Ac = ∅
• Leis de De Morgan (A ∪ B)c = Ac ∩ B c
e (A ∩ B)c = Ac ∪ B c

22
Outros resultados importantes
• A⊂B ∧ B⊂C ⇒ A⊂C

• A⊂B ⇒ A∩B =A

• A⊂B ⇒ A∪B =B

• A⊂B ⇒ B c ⊂ Ac

23
Aritmética Cardinal
• Número Cardinal de um Conjunto Finito 2
A é o Número de Elementos desse conjunto,
e escreve-se #A
• Para dois quaisquer conjuntos A e B ,
#(A ∪ B) = #A + #B − #(A ∩ B)
• Se A e B são Conjuntos Disjuntos então
#(A ∪ B) = #A + #B
• Para dois quaisquer conjuntos A e B ,
#(A ∩ B) = #A − #(A \ B)
2
Se o Conjunto não é Finito mas é Numerável utiliza-se uma abordagem própria (não incluı́da no Programa)

24

Você também pode gostar