Escolar Documentos
Profissional Documentos
Cultura Documentos
MIEEC - 2011/2012
vcp (vpera@fe.up.pt)
DEEC - FEUP
Porto, Setembro/2011
Parte I (Revisões)
• Lógica
• Conjuntos
• ÁLgebra
• Geometria
• Sucessões Numéricas
• Funções
2
Lógica
• Operações
• Relações
• Álgebra proposicional
• Quantificadores
3
Operações Lógicas
• Negação (¬)
• Conjunção (∧)
¬(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:
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 ∧ ...)
7
Quantificador Universal ( ∀ )
1
• A proposição ”qualquer que seja x, P (x)”
escreve-se ∀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)
9
Quantificação Múltipla
• Exemplo: ∀n ∈ N ∃M ∈ N : M > n
10
Conjuntos
• Definições e Nomenclatura
• Diagrama de Venn
• Conjuntos Particulares
• Relações
• Operações
• 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 {∅}
Nota: X = {a} =
6 a
14
Relações entre
Elementos e Conjuntos ( ∈ ; ∈
/ )
• A proposição ”a pertence a X ” escreve-se a ∈ 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 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 ) ⇔ ∃x ∈ X : x ∈
/Y
17
Relações entre Conjuntos ( ⊃ ; ⊇ )
• X contém Y se e só se ∀x ∈ Y : x ∈ X
e escreve-se X ⊃ 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}
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}
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