'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

$

´ SUMARIO • Teoria dos Conjuntos • Rela¸˜es e Fun¸˜es co co • Fundamentos de L´gica o • T´cnicas Elementares de Prova e CONJUNTOS

& '

1

% $

& '

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

A NOCAO DE CONJUNTO ¸˜ • O que tˆm em comum as seguintes entidades? e um grupo de pessoas um rebanho de animais um buquˆ de flores e uma d´zia de ovos u • Conjunto Cole¸˜o n˜o ordenada de objetos (denominados elementos ou ca a membros do conjunto). ca • Nota¸˜o x ∈ A: x pertence a A x ∈ A: x n˜o pertence a A a
&

COMO DEFINIR UM CONJUNTO • Listar seus elementos entre chaves. Exemplos: A = {1, 3, 5, 7, 9}; V = {a, e, i, o, u}; F = {laranja, banana, abacaxi}. • Utilizar a forma A = {x : P (x)}.

Exemplo: A = {x : x ´ um inteiro positivo, e ´ ımpar e menor que 10}. • Fazer uma defini¸˜o recursiva. ca Exemplo: (a) 1 ∈ A, (b) se x ∈ A e x + 2 < 10, ent˜o x + 2 ∈ A. a

5

%

&

8

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

OBSERVACOES ¸˜ • Conjuntos podem ser definidos por meio de opera¸˜es sobre outros co conjuntos previamente definidos. Exemplo: A = {1, 9} ∪ B.

ALGUNS CONJUNTOS IMPORTANTES • ∅: ∅ = {}, o conjunto vazio (observe que φ = {φ}). • Z: n´meros inteiros: {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}. u • R: n´meros reais. u u • N: n´meros naturais: {0, 1, 2, 3, . . .}.

e ıvel co • Nem sempre ´ poss´ utilizar todos os tipos de defini¸˜es. Exemplo: {x : x ´ um n´mero real entre 0 e 1} e u n˜o pode ser definido recursivamente. a • P (x) n˜o pode ser “qualquer” propriedade. a Exemplo (paradoxo de Russel): S = {x : x ∈ x}; S ∈ S?

u • Q: n´meros racionais: {x/y : x ∈ Z e y ∈ Z e y = 0}.

& '

9

% $

& '

10

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

OPERACOES SOBRE CONJUNTOS ¸˜ • Uni˜o: a A ∪ B = {x | x ∈ A ou x ∈ B}. Diagrama de Venn:
A B

OPERACOES SOBRE CONJUNTOS ¸˜ • Intersecc˜o: a A ∩ B = {x | x ∈ A e x ∈ B}. Diagrama de Venn:
A B

A∪B

A∩B

&

11

%

&

12

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

OPERACOES SOBRE CONJUNTOS ¸˜ • Diferen¸a: c A − B = {x | x ∈ A e x ∈ B}. Diagrama de Venn:
A B

ALGUMAS PROPRIEDADES DAS OPERACOES ¸˜ • Idempotˆncia: A ∪ A = A ∩ A = A. e

• Associatividade: (A ∪ B) ∪ C = A ∪ (B ∪ C); (A ∩ B) ∩ C = A ∩ (B ∩ C). ca • Absor¸˜o: A ∪ (A ∩ B) = A; A ∩ (A ∪ B) = A.

• Comutatividade: A ∪ B = B ∪ A; A ∩ B = B ∩ A.

A−B

• 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 ∩ C) = (A − B) ∪ (A − C).

& '

13

% $

& '

14

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

ˆ MAIS TRES OPERACOES ¸˜ • Complemento: ¯ A = U − A (U ´ o conjunto universo). e
n i=1 n i=1

RELACOES ENTRE CONJUNTOS ¸˜ • Continˆncia: e A est´ contido em B se, e somente se, todo elemento de A ´ a e elemento de B. Ou seja: A ⊆ B ⇔ ∀x (x ∈ A ⇒ x ∈ B).

a • Uni˜o generalizada:

Ai = A1 ∪ A2 ∪ . . . ∪ An Ai = A1 ∩ A2 ∩ . . . ∩ An

ca • Interse¸˜o generalizada:

• Igualdade:

• Subconjunto pr´prio: o

A = B ⇔ A ⊆ B e B ⊆ A. A⊂B⇔A⊆B eA=B

&

15

%

&

16

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

ˆ ALGUMAS PROPRIEDADES DA CONTINENCIA • Reflexividade: A ⊆ A.

CONJUNTOS DISJUNTOS • A e B s˜o disjuntos se, e somente se, A ∩ B = ∅. a

• A ⊆ B e A ⊆ C ⇒ B ⊆ C.

• A ⊂ B ⇒ A = B e B ⊆ A.

• Transitividade: A ⊆ B e B ⊆ C ⇒ A ⊆ C.

& '

17

% $

& '

18

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

PARTICAO ¸˜ Uma parti¸˜o de um conjunto A ´ um conjunto ca e tal que: {X1, X2, . . . , Xn}

ˆ CONJUNTO POTENCIA • P(A) = {X : X ⊆ A}.

• Exemplo: P({a, b}) = {φ, {a}, {b}, {a, b}}.

• Quantos elementos tem o conjunto potˆncia? e

• n Xi = A. i=1

• Xi ∩ Xj = φ, para 1 ≤ i = j ≤ n; e

• Xi = φ, para 1 ≤ i ≤ n;

&

19

%

&

20

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

$

PRODUTO CARTESIANO • Par ordenado: (x, y). • Produto cartesiano de A e B: Propriedade fundamental: (a, b) = (c, d) ⇔ a = c e b = d. A × B = {(x, y) : x ∈ A e y ∈ B} • Exemplos: {a, b} × {1, 2} = {(a, 1), (a, 2), (b, 1), (b, 2)}. {a, b} × {a, b} = {(a, a), (a, b), (b, a), (b, b)}. RELACOES E FUNCOES ¸˜ ¸˜

• Nota¸˜o: A2 denota A × A = {(x, y) : x, y ∈ A} ca

& '

21

% $

& '

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

´ RELACOES BINARIAS ¸˜ Uma rela¸˜o bin´ria sobre A e B ´ um subconjunto de A × B. ca a e • Exemplo: Rela¸˜o < sobre N: ca • Nota¸˜es alternativas para (x, y) ∈ R: xRy e R(x, y). co <= {(0, 1), (0, 2), . . . , (1, 2), (1, 3), . . .}

´ PROPRIEDADES DE RELACOES BINARIAS ¸˜ Seja R uma rela¸˜o bin´ria sobre A. Ent˜o: ca a a • R ´ reflexiva ⇔ xRx para todo x ∈ A. e • R ´ sim´trica ⇔ xRy ⇒ yRx para todo x, y ∈ A. e e – Exemplos: = sobre N, e irm˜os sobre Pessoas. a • R ´ transitiva ⇔ xRy e yRz ⇒ xRz para todo x, y, z ∈ A. e – Exemplos: <, ≤ e = sobre N. – Exemplos: ≤ e = sobre N.

&

23

%

&

24

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

ˆ RELACOES DE EQUIVALENCIA ¸˜ Rela¸˜o de equivalˆncia: aquela que ´ reflexiva, sim´trica e transitiva. ca e e e • Exemplo: R = {(x, y) : x, y ∈ N e x + y ´ par} e Seja R uma rela¸˜o de equivalˆncia sobre A, e a ∈ A. A classe de ca e equivalˆncia de a ´: e e Ea = {b : b ∈ A e aRb}. • Exemplo: para a rela¸˜o ca tem-se: R = {(x, y) : x, y ∈ N e x + y ´ par} e En =
          

ˆ RELACOES DE EQUIVALENCIA ¸˜ Proposi¸˜o: Seja uma rela¸˜o de equivalˆncia R sobre um conjunto ca ca e n˜o vazio A. Ent˜o {Ea : a ∈ A} ´ uma parti¸˜o de A. a a e ca Prova: basta mostrar que: • a∈A Ea = A; e • Ea ∩ Eb = φ se Ea = Eb. • Ea = φ para todo a ∈ A;

{0, 2, 4, 6, . . .} se n ´ par e {1, 3, 5, 7, . . .} se n ´ ´ e ımpar
25
% $ & '

& '

26

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

FUNCOES ¸˜ Uma fun¸˜o f , de A para B, ´ uma rela¸˜o sobre A e B tal que: ca e ca • para cada a ∈ A existe exatamente um b tal que (a, b) ∈ f . • Exemplos: – pai de Pessoas para Pessoas. – + de R × R para R. Nota¸˜o e terminologia: ca

FUNCOES ¸˜

• Se b = f (a), ent˜o b ´ a imagem de a. a e • Seja f : A → B. Ent˜o: a ınio de f : A; – dom´ – contra-dom´ ınio de f : B; – imagem de f : {b : existe a tal que f (a) = b}.

• b = f (a) significa (a, b) ∈ f .

• f : A → B significa que f ´ uma fun¸˜o de A para B. e ca

&

27

%

&

28

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

$

FUNCOES ¸˜ Trˆs tipos de fun¸˜es: e co • f ´ injetiva (“one-to-one”) se e f (a1) = b e f (a2) = b ⇒ a1 = a2. • f ´ sobrejetiva (“onto”) se e a imagem de f ´ o contra-dom´ e ınio de f . • f ´ bijetiva (correspondˆncia um-para-um) se e e ´ injetiva e sobrejetiva. e ´ FUNDAMENTOS DE LOGICA

& '

29

% $

& '

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

O CONCEITO DE PROPOSICAO ¸˜ • Proposi¸˜o: afirma¸˜o que ´ verdadeira ou falsa. ca ca e • Exemplos: Belo Horizonte ´ a capital de Minas Gerais. (verdadeira) e Campinas ´ a capital de S˜o Paulo. (falsa) e a 2 + 2 = 4. (verdadeira) 1 + 1 = 1. (falsa)

PROPOSICAO SIMPLES E COMPOSTA ¸˜ • Proposi¸˜o simples: representada por meio de vari´vel ca a proposicional (p, q, r, s, . . .). • Proposi¸˜o composta: combina¸˜o de proposi¸˜es por meio de ca ca co conectivos l´gicos. o o • Conectivos l´gicos: Nega¸˜o: ¬ ca Conjun¸˜o: ∧ ca Disjun¸˜o: ∨ ca Implica¸˜o: ⇒ ca Bicondicional: ⇔

&

31

%

&

32

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

EXEMPLOS DE PROPOSICAO SIMPLES E COMPOSTAS ¸˜ • Proposi¸˜es simples: co p: vocˆ fez mais de 80 km/h. e q: vocˆ foi multado. e • Proposi¸˜es compostas: co ¬p: vocˆ n˜o fez mais de 80 km/h. e a p ∧ ¬q: vocˆ fez mais de 80 km/h, mas n˜o foi multado. e a ¬p ∨ q: vocˆ n˜o fez mais de 80 km/h ou foi multado. e a ¬p ⇒ ¬q: se vocˆ n˜o fez mais de 80 km/h, e a ent˜o n˜o foi multado. a a • Nega¸˜o: ca α ¬α V F F V

TABELAS DA VERDADE:

& '

33

% $

& '

34

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

TABELAS DA VERDADE: • Conjun¸˜o: ca α V V F F β α∧β V V F F V F F F • Disjun¸˜o: ca α V V F F

TABELAS DA VERDADE:

β α∨β V V F V V V F F

&

35

%

&

36

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

TABELAS DA VERDADE: • Condicional: α V V F F β α⇒β V V F F V V F V • Bicondicional: α V V F F

TABELAS DA VERDADE:

β α⇔β V V F F V F F V

& '

37

% $

& '

38

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

˜ EXPRESSOES PARA A CONDICIONAL •α ⇒ β •α ⇔ β

˜ EXPRESSOES PARA A BICONDICIONAL

• se α ent˜o β a • α implica β • se α, β • α somente se β • α ´ suficiente para β e • β se α • β caso α • β ´ necess´rio para α e a

• α se e somente se β • α ´ necess´rio e suficiente para β e a • se α ent˜o β, e vice-versa a

&

39

%

&

40

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

´ TIPOS DE FORMULAS • Tautologia: proposi¸˜o que ´ sempre verdadeira. ca e • Contradi¸˜o: proposi¸˜o que ´ sempre falsa. ca ca e e ca a e ca • Contingˆncia: proposi¸˜o que n˜o ´ tautologia nem contradi¸˜o.

EXEMPLOS contingˆncia e tautologia contradi¸˜o ca p⇔q (p ∧ (p ⇒ q)) ⇒ q p ∧ ¬(p ∨ q) V V F F V F F V F V V F

p V V F F

q V F V F

& '

41

% $

& '

42

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

ˆ ´ CONSEQUENCIA LOGICA • α ´ consequˆncia l´gica de β, β |= α, se e somente se α ´ e e o e verdadeira sempre que β ´ verdadeira. e • Exemplo: p ∧ (p ⇒ q) |= q, pois: p =⇒ V V F F q p ⇒ q p ∧ (p ⇒ q) V V V ⇐= F F F V V F F V F

ˆ ´ CONSEQUENCIA LOGICA Teorema: β |= α se, e somente se, β ⇒ α ´ tautologia. e Exemplos: e • [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r) ´ tautologia. Logo, (p ⇒ q) ∧ (q ⇒ r) |= p ⇒ r. • (p ∧ ¬p) ⇒ q ´ tautologia. Logo, e p ∧ ¬p |= q.

&

43

%

&

44

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

ˆ ´ EQUIVALENCIA LOGICA • α e β s˜o logicamente equivalentes, β ≡ α, se e somente se α |= β a e β |= α

ˆ ´ EQUIVALENCIA LOGICA Teorema: α ≡ β se, e somente se, α ⇔ β ´ tautologia. e Exemplos: e • (p ⇒ q) ⇔ (¬p ∨ q) ´ tautologia. Logo,

• Exemplo: ¬(p ∧ q) ≡ ¬p ∨ ¬q, pois: p V V F F q p ∧ q ¬(p ∧ q) V V F F F V V F V F F V

¬p F F V V

¬q ¬p ∨ ¬q F F V V F V V V

p ⇒ q ≡ ¬p ∨ q. • [p ⇒ (q ⇒ r)] ⇔ [(p ∧ q) ⇒ r] ´ tautologia. Logo, e p ⇒ (q ⇒ r) ≡ (p ∧ q) ⇒ r.

& '

45

% $

& '

46

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

PREDICADOS E QUANTIFICADORES Exemplos de f´rmulas atˆmicas: o o • irm˜os(Abel, Caim) a •2+2 = 4 •x ≥ 0 •x = y+1 • irm˜os, = e ≥ s˜o predicados. a a • Predicados denotam rela¸˜es. co

PROPOSICOES SIMPLES ¸˜ Uma proposi¸˜o simples ´ representada por uma f´rmula atˆmica. ca e o o Exemplos: a • irm˜os(Abel, Caim) (verdadeira) • 2 + 2 = 4 (verdadeira) • −1 ≥ 0 (falsa) • 0 = −1 + 1 (verdadeira)

&

47

%

&

48

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

PROPOSICOES COMPOSTAS ¸˜ Representadas a partir de f´rmulas atˆmicas, utilizando-se conectivos o o l´gicos. o Exemplos: • 2 + 2 = 4 ∨ −1 ≥ 0 • irm˜os(Abel, Caim) ∧ irm˜os(Caim, Abel) a a

OS QUANTIFICADORES Dois conectivos l´gicos adicionais: o • Quantificador universal: ∀ • Quantificador existencial: ∃

Exemplos de f´rmulas quantificadas: o • ∀x x ≥ 0 • ∃x x ≥ 0 • ∀x∀y (irm˜os(x, y) ⇒ irm˜os(y, x)) a a • ∀x∃y x = y + 1 • ∃x∀y x = y + 1

& '

49

% $

& '

50

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

EXEMPLO Sejam: e • A(x): x ´ uma arara. • M (x): x ´ multicor. e e • Q(x): x ´ pequena. • G(x): x faz ninho em ´rvores altas. a

EXEMPLO Representa¸˜o de algumas afirma¸˜es: ca co • Todas as araras s˜o multicores. a • Nenhum p´ssaro pequeno faz ninho em ´rvores altas. a a • P´ssaros que n˜o fazem ninhos em ´rvores altas n˜o s˜o multicores. a a a a a • Conclus˜o: Araras s˜o grandes. a a ∀x (A(x) ⇒ ¬Q(x)) ∀x (¬G(x) ⇒ ¬M (x)) ¬∃x (Q(x) ∧ G(x)) ∀x (A(x) ⇒ M (x))

&

51

%

&

52

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

ˆ ´ ALGUMAS EQUIVALENCIAS LOGICAS • ∀x P (x) ≡ ¬∃x ¬P (x) • ∃x P (x) ≡ ¬∀x ¬P (x) • ¬∃ xP (x) ≡ ∀x ¬P (x) • ¬∀ xP (x) ≡ ∃x ¬P (x) • ∀x (P (x) ∧ Q(x)) ≡ ∀x P (x) ∧ ∀x Q(x) • ∃x (P (x) ∨ Q(x)) ≡ ∃x P (x) ∨ ∃x Q(x)

ˆ ´ ALGUMAS CONSEQUENCIAS LOGICAS • ∀x P (x) |= P (A) • P (A) |= ∃x P (x) • ∀x P (x) ∨ ∀x Q(x) |= ∀x (P (x) ∨ Q(x)) • ∃x (P (x) ∧ Q(x)) |= ∃x P (x) ∧ ∃x Q(x) • ∃x∀y P (x, y) |= ∀y∃x P (x, y)

& '

53

% $

& '

54

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

´ TECNICAS ELEMENTARES DE PROVA Ser˜o vistas t´cnicas de prova para proposi¸˜es das formas: a e co •α ⇒ β

´ TECNICAS PARA IMPLICACAO (α ⇒ β) ¸˜ • Prova por vacuidade: – Base: contradi¸˜o ⇒ β ´ tautologia. ca e – M´todo: e Provar que α ´ falsa. e – Exemplo: ∅ ´ subconjunto de qualquer conjunto. e

• ∃x α(x) • ∀x α(x)

• ¬∃xα(x) • ¬∀x α(x) al´m de racioc´ e ınio por casos e por absurdo.

&

55

%

&

56

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

´ TECNICAS PARA IMPLICACAO (α ⇒ β) ¸˜ • Prova trivial: – Base: e α ⇒ tautologia ´ tautologia. – M´todo: e Provar que β ´ sempre verdadeira. e – Exemplo: Se x e y s˜o n´meros irracionais ent˜o xy ´ um n´mero a u a e u racional ou irracional.

´ TECNICAS PARA IMPLICACAO (α ⇒ β) ¸˜ • Prova direta: – Base: Se α |= β ent˜o α ⇒ β ´ sempre verdadeira. a e – M´todo: e a) supor que α ´ verdadeira; e b) mostrar que, neste caso, β ´ verdadeira. e – Exemplo: Se n ´ um n´mero ´ e u ımpar, ent˜o n2 ´ um n´mero ´ a e u ımpar.

& '

57

% $

& '

58

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

´ TECNICAS PARA IMPLICACAO (α ⇒ β) ¸˜ • Prova indireta: – Base: α ⇒ β ≡ ¬β ⇒ ¬α. – M´todo: e Provar ¬β ⇒ ¬α, utilizando um dos m´todos acima. e – Exemplo: O princ´ ıpio da casa de pombos (pigeonhole principle): se n + 1 objetos s˜o distribuidos em n caixas, ent˜o alguma a a caixa conter´ pelo menos dois objetos. a

´ TECNICA PARA A UNIVERSAL (∀x α(x)) • Prova para a universal: – Base: Se β |= α(c) e c n˜o ocorre em β, ent˜o β |= ∀x α(x). a a – M´todo: e a) Supor a existˆncia de um c arbitr´rio; e a b) provar α(c).

&

59

%

&

60

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

´ TECNICAS ELEMENTARES DE PROVA • Prova por Casos: – Base: (α1 ∨ · · · ∨ αn) ∧ (α1 ⇒ β) ∧ · · · ∧ (αn ⇒ β) |= β – M´todo para provar β dado que α1 ∨ · · · ∨ αn: e 1. provar α1 ⇒ β; 2. provar α2 ⇒ β; . . n. provar αn ⇒ β. – Exemplo: min(x, y) + max(x, y) = x + y para quaisquer x, y ∈ R.

´ TECNICAS ELEMENTARES DE PROVA • Prova por Contradi¸˜o (redu¸˜o a absurdo) de α: ca ca – Base: ca a Se β ∧ ¬α |= contradi¸˜o, ent˜o β |= α. – M´todo: e a) Supor que α ´ sempre falsa; e b) derivar uma contradi¸˜o. ca – Exemplo: √ 2 ´ irracional. e

& '

61

% $

& '

62

% $

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

˜ ˆ PROVA DE NAO EXISTENCIA (prova de ¬∃x α(x)) • ¬∃xα(x) ´ frequentemente provado por contradi¸˜o: e ca – supor que existe um c tal que α(c); – derivar uma contradi¸˜o. ca

ˆ PROVA DE EXISTENCIA (prova de ∃x α(x)) • Prova construtiva: – Base: α(c) |= ∃x α(x). – M´todo: e Provar α(c), para um elemento espec´ ıfico c. – Exemplo: Para qualquer n ∈ N existem pelo menos n naturais consecutivos n˜o primos. a

&

63

%

&

64

%

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

'

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

$

ˆ PROVA DE EXISTENCIA (prova de ∃x α(x)) • Prova n˜o construtiva: a – M´todo: e Provar ∃x α(x), sem exibir um x espec´ ıfico (por absurdo, por casos,. . . ). – Exemplo: Existem dois irracionais x e y tais que xy ´ racional. e

CONTRA-EXEMPLO (para provar ¬∀x α(x)) • Prova por contra-exemplo: – Base: ¬α(c) |= ¬∀x α(x) – M´todo: e Exibir, ou construir, um elemento c para o qual α(c) ´ falsa. e – Exemplo: Todo n´mero primo ´ ´ u e ımpar.

& '

65

% $

&

66

%

Matem´tica Discreta a

|| ⇐

⇒ ||

Conceitos Preliminares

´ INDUCAO MATEMATICA ¸˜ • Prova por Indu¸˜o Matem´tica ca a para provar ∀x α(x), quando o universo ´ N: e – Base: α(0) ∧ ∀x (α(x) ⇒ α(x + 1)) |= ∀xα(x). – M´todo: e a) Passo Base: provar α(0); b) Passo Indutivo: provar ∀x (α(x) ⇒ α(x + 1)).

&

67

%