Professional Documents
Culture Documents
SUMÁRIO
CONJUNTOS
& % & %
1
NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• O que têm em comum as seguintes entidades? • Listar seus elementos entre chaves.
um grupo de pessoas Exemplos: A = {1, 3, 5, 7, 9};
um rebanho de animais V = {a, e, i, o, u};
um buquê de flores F = {laranja, banana, abacaxi}.
uma dúzia de ovos • Utilizar a forma A = {x : P (x)}.
• Conjunto Exemplo: A = {x : x é um inteiro positivo,
Coleção não ordenada de objetos (denominados elementos ou ı́mpar e menor que 10}.
membros do conjunto). • Fazer uma definição recursiva.
• Notação Exemplo: (a) 1 ∈ A,
(b) se x ∈ A e x + 2 < 10, então x + 2 ∈ A.
x ∈ A: x pertence a A
x 6∈ A: x não pertence a A
& % & %
5 8
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Conjuntos podem ser definidos por meio de operações sobre outros • ∅: ∅ = {}, o conjunto vazio (observe que φ 6= {φ}).
conjuntos previamente definidos. • N: números naturais: {0, 1, 2, 3, . . .}.
• Z: números inteiros: {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}.
Exemplo: A = {1, 9} ∪ B. • Q: números racionais: {x/y : x ∈ Z e y ∈ Z e y 6= 0}.
• Nem sempre é possı́vel utilizar todos os tipos de definições. • R: números reais.
Exemplo: {x : x é um número real entre 0 e 1}
não pode ser definido recursivamente.
• P (x) não pode ser “qualquer” propriedade.
Exemplo (paradoxo de Russel): S = {x : x 6∈ x};
S ∈ S?
& % & %
9 10
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• União: • Interseccão:
A ∪ B = {x | x ∈ A ou x ∈ B}. A ∩ B = {x | x ∈ A e x ∈ B}.
A∪B A∩B
& % & %
11 12
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Diferença: • Idempotência: A ∪ A = A ∩ A = A.
A − B = {x | x ∈ A e x 6∈ B}. • Comutatividade: A ∪ B = B ∪ A; A ∩ B = B ∩ A.
• Associatividade: (A ∪ B) ∪ C = A ∪ (B ∪ C);
Diagrama de Venn: (A ∩ B) ∩ C = A ∩ (B ∩ C).
A B • Absorção: A ∪ (A ∩ B) = A; A ∩ (A ∪ B) = A.
• Distributividade: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C);
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
• De Morgan: A − (B ∪ C) = (A − B) ∩ (A − C);
A−B A − (B ∩ C) = (A − B) ∪ (A − C).
& % & %
13 14
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Complemento: • Continência:
Ā = U − A (U é o conjunto universo). A está contido em B se, e somente se, todo elemento de A é
• União generalizada: elemento de B. Ou seja:
n
Ai = A1 ∪ A2 ∪ . . . ∪ An
[
i=1 A ⊆ B ⇔ ∀x (x ∈ A ⇒ x ∈ B).
• Interseção generalizada: • Igualdade:
n A = B ⇔ A ⊆ B e B ⊆ A.
Ai = A1 ∩ A2 ∩ . . . ∩ An
\
i=1
• Subconjunto próprio:
A ⊂ B ⇔ A ⊆ B e A 6= B
& % & %
15 16
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
17 18
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
19 20
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
PRODUTO CARTESIANO
& % & %
21
NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
Uma relação binária sobre A e B é um subconjunto de A × B. Seja R uma relação binária sobre A. Então:
• Notações alternativas para (x, y) ∈ R: xRy e R(x, y). • R é reflexiva ⇔ xRx para todo x ∈ A.
• Exemplo: Relação < sobre N: – Exemplos: ≤ e = sobre N.
<= {(0, 1), (0, 2), . . . , (1, 2), (1, 3), . . .} • R é simétrica ⇔ xRy ⇒ yRx para todo x, y ∈ A.
– Exemplos: = sobre N, e irmãos sobre Pessoas.
• R é transitiva ⇔ xRy e yRz ⇒ xRz para todo x, y, z ∈ A.
– Exemplos: <, ≤ e = sobre N.
& % & %
23 24
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
Relação de equivalência: aquela que é reflexiva, simétrica e transitiva. Proposição: Seja uma relação de equivalência R sobre um conjunto
não vazio A. Então {Ea : a ∈ A} é uma partição de A.
• Exemplo: R = {(x, y) : x, y ∈ N e x + y é par}
Seja R uma relação de equivalência sobre A, e a ∈ A. A classe de
equivalência de a é: Prova: basta mostrar que:
Ea = {b : b ∈ A e aRb}. • Ea 6= φ para todo a ∈ A;
• Exemplo: para a relação • Sa∈A Ea = A; e
R = {(x, y) : x, y ∈ N e x + y é par} • Ea ∩ Eb = φ se Ea 6= Eb.
tem-se:
{0, 2, 4, 6, . . .} se n é par
En =
{1, 3, 5, 7, . . .} se n é ı́mpar
& % & %
25 26
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
FUNÇÕES FUNÇÕES
Uma função f , de A para B, é uma relação sobre A e B tal que: Notação e terminologia:
• para cada a ∈ A existe exatamente um b tal que (a, b) ∈ f .
• f : A → B significa que f é uma função de A para B.
• Exemplos:
• b = f (a) significa (a, b) ∈ f .
– pai de Pessoas para Pessoas.
• Se b = f (a), então b é a imagem de a.
– + de R × R para R.
• Seja f : A → B. Então:
– domı́nio de f : A;
– contra-domı́nio de f : B;
– imagem de f : {b : existe a tal que f (a) = b}.
& % & %
27 28
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
FUNÇÕES
& % & %
29
NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Proposição: afirmação que é verdadeira ou falsa. • Proposição simples: representada por meio de variável
• Exemplos: proposicional (p, q, r, s, . . .).
Belo Horizonte é a capital de Minas Gerais. (verdadeira) • Proposição composta: combinação de proposições por meio de
Campinas é a capital de São Paulo. (falsa) conectivos lógicos.
2 + 2 = 4. (verdadeira) • Conectivos lógicos:
1 + 1 = 1. (falsa) Negação: ¬
Conjunção: ∧
Disjunção: ∨
Implicação: ⇒
Bicondicional: ⇔
& % & %
31 32
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
33 34
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Conjunção: • Disjunção:
α β α∧β α β α∨β
V V V V V V
V F F V F V
F V F F V V
F F F F F F
& % & %
35 36
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
• Condicional: • Bicondicional:
α β α⇒β α β α⇔β
V V V V V V
V F F V F F
F V V F V F
F F V F F V
& % & %
37 38
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
•α ⇒ β •α ⇔ β
• se α então β • α se e somente se β
• α implica β • α é necessário e suficiente para β
• se α, β • se α então β, e vice-versa
• α somente se β
• α é suficiente para β
• β se α
• β caso α
• β é necessário para α
& % & %
39 40
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
41 42
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
(p ⇒ q) ∧ (q ⇒ r) |= p ⇒ r.
p q p ⇒ q p ∧ (p ⇒ q)
=⇒ V V V V ⇐= • (p ∧ ¬p) ⇒ q é tautologia. Logo,
V F F F
F V V F p ∧ ¬p |= q.
F F V F
& % & %
43 44
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
p ⇒ q ≡ ¬p ∨ q.
p q p ∧ q ¬(p ∧ q) ¬p ¬q ¬p ∨ ¬q
V V V F F F F • [p ⇒ (q ⇒ r)] ⇔ [(p ∧ q) ⇒ r] é tautologia. Logo,
V F F V F V V
F V F V V F V p ⇒ (q ⇒ r) ≡ (p ∧ q) ⇒ r.
F F F V V V V
& % & %
45 46
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
Exemplos de fórmulas atômicas: Uma proposição simples é representada por uma fórmula atômica.
• irmãos(Abel, Caim) Exemplos:
•2+2 = 4 • irmãos(Abel, Caim) (verdadeira)
•x ≥ 0 • 2 + 2 = 4 (verdadeira)
•x = y+1 • −1 ≥ 0 (falsa)
& % & %
47 48
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
Representadas a partir de fórmulas atômicas, utilizando-se conectivos Dois conectivos lógicos adicionais:
lógicos. • Quantificador universal: ∀
Exemplos: • Quantificador existencial: ∃
• irmãos(Abel, Caim) ∧ irmãos(Caim, Abel) Exemplos de fórmulas quantificadas:
• 2 + 2 = 4 ∨ −1 ≥ 0 • ∀x x ≥ 0
• ∀x∀y (irmãos(x, y) ⇒ irmãos(y, x))
• ∃x x ≥ 0
• ∀x∃y x = y + 1
• ∃x∀y x = y + 1
& % & %
49 50
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
EXEMPLO EXEMPLO
& % & %
51 52
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
53 54
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
55 56
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
57 58
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
59 60
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
61 62
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
PROVA DE NÃO EXISTÊNCIA (prova de ¬∃x α(x)) PROVA DE EXISTÊNCIA (prova de ∃x α(x))
& % & %
63 64
NNN LLL NNN LLL
' $ ' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
& % & %
65 66
NNN LLL NNN LLL
' $
Matemática Discreta ||⇐ ⇒|| Conceitos Preliminares
INDUÇÃO MATEMÁTICA
& %
67
NNN LLL