04 Metodos de Prova

M etodos de Prova
MC348
Nilton Volpato
IC/Unicamp
Nilton Volpato (IC/Unicamp) M etodos de Prova 1 / 26
M etodos de Prova
Sum ario
1 M etodos de Prova
Denic oes
Regras de Infer encia
Argumentos v alidos
Fal acias
Regras de infer encia para armac oes c/ quanticadores
2 M etodos de provar teoremas
Prova direta (construtiva)
Prova indireta (contra-positiva)
Provas vacuosas e triviais
Estrat egias de prova
Prova por contradic ao (absurdo)
Prova por casos
Provas de equival encia
Prova construtiva existencial
Prova de Unicidade
Contra-exemplos
3 Exerccios recomendados
M etodos de Prova Denic oes
Denic ao: Teorema
E uma armac ao que se pode provar verdadeira. Para isso usamos

axiomas, postulados e outros teoremas.
Denic ao: Lema
E um teorema mais simples usado para provar outro.

Denic ao: Corol ario
E uma proposic ao derivada diretamente de um teorema.

Denic ao: Conjectura
E uma armac ao cujo valor verdade e deconhecido.

Denic ao: Teorema

Denic ao: Lema



Denic ao: Teorema

Denic ao: Lema



Denic ao: Teorema

Denic ao: Lema



M etodos de Prova Regras de Infer encia
Modus Ponens
(p (p q)) q
p
p q
q
Exemplo
Se n e maior que 3, ent ao n
2
e maior que 9.
n e maior que 3.
Conclus ao: n
2
e maior que 9.
Modus Ponens
(p (p q)) q
p
p q
q
Exemplo
2
e maior que 9.
n e maior que 3.
Conclus ao: n
2
e maior que 9.
Modus Ponens
(p (p q)) q
p
p q
q
Exemplo
2
e maior que 9.
n e maior que 3.
Conclus ao: n
2
e maior que 9.
Modus Ponens
(p (p q)) q
p
p q
q
Exemplo
2
e maior que 9.
n e maior que 3.
Conclus ao: n
2
e maior que 9.
Regra de Infer encia Nome
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
Silogismo hipot etico
p q
p
q
Silogismo disjuntivo
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
p
p q
Adic ao
p q
p
Simplicac ao
p
q
p q
Conjunc ao
p
p q
q
Modus ponens
q
p q
p
Modus tollens
p q
q r
p r
p q
p
q
p q
p r
q r
M etodos de Prova Argumentos v alidos
Argumentos v alidos
Um argumento e v alido quando as hip oteses s ao verdadeiras.
Nesse caso a conclus ao tamb em e verdadeira.
(p
1
, p
2
, . . . , p
n
) q
Exemplo
Se

2 >
3
2
, ent ao (
2)
2
> (
3
2
)
2
.
Sabemos que

2 >
3
2
.
E falso.
Portanto: (
2)
2
= 2 > (
3
2
)
2
=
9
4
.
Argumentos v alidos
(p
1
, p
2
, . . . , p
n
) q
Exemplo
Se

2 >
3
2
, ent ao (
2)
2
> (
3
2
)
2
.
Sabemos que

2 >
3
2
.
E falso.
Portanto: (
2)
2
= 2 > (
3
2
)
2
=
9
4
.
Argumentos v alidos
(p
1
, p
2
, . . . , p
n
) q
Exemplo
Se

2 >
3
2
, ent ao (
2)
2
> (
3
2
)
2
.
Sabemos que

2 >
3
2
.
E falso.
Portanto: (
2)
2
= 2 > (
3
2
)
2
=
9
4
.
Argumentos v alidos
(p
1
, p
2
, . . . , p
n
) q
Exemplo
Se

2 >
3
2
, ent ao (
2)
2
> (
3
2
)
2
.
Sabemos que

2 >
3
2
.
E falso.
Portanto: (
2)
2
= 2 > (
3
2
)
2
=
9
4
.
Argumentos v alidos
(p
1
, p
2
, . . . , p
n
) q
Exemplo
Se

2 >
3
2
, ent ao (
2)
2
> (
3
2
)
2
.
Sabemos que

2 >
3
2
.

E falso.
Portanto: (
2)
2
= 2 > (
3
2
)
2
=
9
4
.
M etodos de Prova Fal acias
Exemplo: Fal acia
Se voc e zer todos os exerccios, ent ao voc e aprender a
matem atica discreta.
Voc e aprendeu matem atica discreta.
Portanto, voc e fez todo problema nesse livro.
Fal acia
Exemplo: Fal acia
Fal acia
Exemplo: Fal acia
Fal acia
Exemplo: Fal acia
Portanto, voc e fez todo problema nesse livro. Fal acia
M etodos de Prova Regras de infer encia para armac oes c/ quanticadores
x P(x)
P(c)
Instanciac ao universal
P(c) para um c arbitr ario
x P(x)
Generalizac ao universal
x P(x)
P(c) para algum elemento c
Instanciac ao existencial
x P(x)
Generalizac ao existencial
x P(x)
P(c)
x P(x)
x P(x)
x P(x)
x P(x)
P(c)
x P(x)
x P(x)
x P(x)
x P(x)
P(c)
x P(x)
x P(x)
x P(x)
Exemplo
P(n) e n > 3.
Q(n) e n
2
> 9.
n P(n) Q(n).
Premissa: n = 4.
Conclus ao: 4
2
> 9.
Exemplo
P(n) e n > 3.
Q(n) e n
2
> 9.
n P(n) Q(n).
Premissa: n = 4.
Conclus ao: 4
2
> 9.
Exemplo
P(n) e n > 3.
Q(n) e n
2
> 9.
n P(n) Q(n).
Premissa: n = 4.
Conclus ao: 4
2
> 9.
Exemplo
P(n) e n > 3.
Q(n) e n
2
> 9.
n P(n) Q(n).
Premissa: n = 4.
Conclus ao: 4
2
> 9.
Exemplo
P(n) e n > 3.
Q(n) e n
2
> 9.
n P(n) Q(n).
Premissa: n = 4.
Conclus ao: 4
2
> 9.
Observac ao
Se x > y, onde x e y s ao reais positivos, ent ao x
2
> y
2
A frase acima possui um quanticador implcito.

Observac ao
Se x > y, onde x e y s ao reais positivos, ent ao x
2
> y
2
A frase acima possui um quanticador implcito.

M etodos de provar teoremas
Sum ario
1 M etodos de Prova
Denic oes
Argumentos v alidos
Fal acias
Prova por casos
Prova de Unicidade
Contra-exemplos
M etodos de provar teoremas Prova direta (construtiva)
Prova direta
Prova-se p q assumindo que p e verdadeiro e usando regras de
infer encia e outros teoremas para mostrar que q tamb em e verdade.
Exemplo
D e uma prova direta para:
Se n e um inteiro mpar, ent ao n
2
e um inteiro impar.
M etodos de provar teoremas Prova direta (construtiva)
Prova direta
Prova-se p q assumindo que p e verdadeiro e usando regras de
infer encia e outros teoremas para mostrar que q tamb em e verdade.
Exemplo
D e uma prova direta para:
Se n e um inteiro mpar, ent ao n
2
e um inteiro impar.
M etodos de provar teoremas Prova indireta (contra-positiva)
Ao inv es de provar p q, provamos q p, usando qualquer
outra t ecnica.
Exemplo
Use contra-positiva para provar:
Se 3n +2 e mpar, ent ao n e impar.
M etodos de provar teoremas Prova indireta (contra-positiva)
Ao inv es de provar p q, provamos q p, usando qualquer
outra t ecnica.
Exemplo
Use contra-positiva para provar:
Se 3n +2 e mpar, ent ao n e impar.
M etodos de provar teoremas Provas vacuosas e triviais
Prova vacuosa ou trivial
Para provar p q, acontece quando p e falso, ou quando q e
verdadeiro. Nesse caso a implicac ao j a e verdadeira.
Exemplo
Seja P(n) a armac ao se n > 1, ent ao n
2
> n. Prove P(0).
Exemplo
Seja P(n) a armac ao se a e b s ao inteiros positivos com a b,
ent ao a
n
b
n
. Prove P(0).
Exemplo
2
> n. Prove P(0).
Exemplo
ent ao a
n
b
n
. Prove P(0).
Exemplo
2
> n. Prove P(0).
Exemplo
ent ao a
n
b
n
. Prove P(0).
M etodos de provar teoremas Estrat egias de prova
Exemplo
Prove que a soma de dois n umeros racionais e racional.
Exemplo
Prove que se n e inteiro e n
2
e impar, ent ao n e mpar.
M etodos de provar teoremas Estrat egias de prova
Exemplo
Prove que a soma de dois n umeros racionais e racional.
Exemplo
Prove que se n e inteiro e n
2
e impar, ent ao n e mpar.
M etodos de provar teoremas Prova por contradic ao (absurdo)
Para provar p q, assumimos p, e argumentamos at e chegar
numa contradic ao.
Conclus ao: p e falso, portanto p e verdadeiro.
Exemplo
Mostre que pelo menos quatro de quaisquer 22 dias caem no mesmo
dia da semana.
Exemplo
Prove que

2 e irracional usando uma prova por contradic ao.
Exemplo
Mostre que pelo menos quatro de quaisquer 22 dias caem no mesmo
dia da semana.
Exemplo
Prove que

2 e irracional usando uma prova por contradic ao.
M etodos de provar teoremas Prova por casos
Prova por casos
Usamos a tautologia:
[(p
1
p
2
. . . p
n
) q] [(p
1
q) (p
2
q) . . . (p
n
q)]
Exemplo
Prove usando casos que |xy| = |x||y|, onde x e y s ao reais.
M etodos de provar teoremas Prova por casos
Prova por casos
[(p
1
p
2
. . . p
n
) q] [(p
1
q) (p
2
q) . . . (p
n
q)]
Exemplo
Prove usando casos que |xy| = |x||y|, onde x e y s ao reais.
M etodos de provar teoremas Provas de equival encia
Prova de equival encia
Usamos a tautologia: (p q) [(p q) (q p)]
Exemplo
Prove: O n umero inteiro n e mpar se e somente se n
2
e mpar.
Prova de equival encia
Usamos a tautologia: (p q) [(p q) (q p)]
Exemplo
Prove: O n umero inteiro n e mpar se e somente se n
2
e mpar.
Prova de equival encia para v arias proposic oes
(p
1
p
2
. . . p
n
) [(p
1
p
2
) (p
2
p
3
) . . . (p
n
p
1
)]
Exemplo
Prove que s ao equivalentes:
p
1
: n e um inteiro par.
p
2
: n 1 e um inteiro mpar.
p
3
: n
2
e um inteiro par.
Prova de equival encia para v arias proposic oes
(p
1
p
2
. . . p
n
) [(p
1
p
2
) (p
2
p
3
) . . . (p
n
p
1
)]
Exemplo
Prove que s ao equivalentes:
p
1
: n e um inteiro par.
p
2
: n 1 e um inteiro mpar.
p
3
: n
2
e um inteiro par.
M etodos de provar teoremas Prova construtiva existencial
Mostre que existe um n umero inteiro positivo que pode ser escrito
como a soma de dois cubos de inteiros positivos de duas maneiras
diferentes.
Prova: 1729 = 10
3
+9
3
= 12
3
+1
3
Mostre que existe um n umero inteiro positivo que pode ser escrito
como a soma de dois cubos de inteiros positivos de duas maneiras
diferentes.
Prova: 1729 = 10
3
+9
3
= 12
3
+1
3
Prova n ao-construtiva existencial
Mostre que existem n umeros irracionais x e y tal que x
y
e racional.
M etodos de provar teoremas Prova de Unicidade
Prova de unicidade
Mesmo que mostrar: x (P(x) y (y = x P(y))
Exemplo
Mostre que cada inteiro possui apenas um unico inverso aditivo.
M etodos de provar teoremas Prova de Unicidade
Prova de unicidade
Mesmo que mostrar: x (P(x) y (y = x P(y))
Exemplo
Mostre que cada inteiro possui apenas um unico inverso aditivo.
M etodos de provar teoremas Contra-exemplos
Contra-exemplo
Usado para mostrar que um teorema com quanticador universal e
falso.
Exemplo
Mostre que todo inteiro positivo e a soma do quadrado de tr es
inteiros e falso.
M etodos de provar teoremas Contra-exemplos
Contra-exemplo
Usado para mostrar que um teorema com quanticador universal e
falso.
Exemplo
Mostre que todo inteiro positivo e a soma do quadrado de tr es
inteiros e falso.
Exerccios recomendados
Sum ario
1 M etodos de Prova
Denic oes
Argumentos v alidos
Fal acias
Prova por casos
Prova de Unicidade
Contra-exemplos
Rosen - Sec ao 1.5:
17 a 20, 26, 27, 29, 31, 32, 33, 36, 38, 39, 43, 44, 48, 49, 54, 55,
68, 69, 71.

04 Metodos de Prova

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

04 Metodos de Prova

Hochgeladen von

Copyright:

Verfügbare Formate

M etodos de Prova

E uma armac ao que se pode provar verdadeira. Para isso usamos

E um teorema mais simples usado para provar outro.

E uma proposic ao derivada diretamente de um teorema.

E uma armac ao cujo valor verdade e deconhecido.

E uma armac ao que se pode provar verdadeira. Para isso usamos

E um teorema mais simples usado para provar outro.

E uma proposic ao derivada diretamente de um teorema.

E uma armac ao cujo valor verdade e deconhecido.

E uma armac ao que se pode provar verdadeira. Para isso usamos

E um teorema mais simples usado para provar outro.

E uma proposic ao derivada diretamente de um teorema.

E uma armac ao cujo valor verdade e deconhecido.

E uma armac ao que se pode provar verdadeira. Para isso usamos

E um teorema mais simples usado para provar outro.

E uma proposic ao derivada diretamente de um teorema.

E uma armac ao cujo valor verdade e deconhecido.

A frase acima possui um quanticador implcito.

A frase acima possui um quanticador implcito.

Das könnte Ihnen auch gefallen