Professional Documents
Culture Documents
6 de Outubro de 2013
Matemtica Discreta
1 / 21
Roteiro
Introduo
Demonstrao direta
Matemtica Discreta
2 / 21
Teorema
Matemtica Discreta
3 / 21
Matemtica Discreta
4 / 21
Roteiro
Introduo
Demonstrao direta
Matemtica Discreta
5 / 21
Prova direta
Na demonstrao de que p q:
hiptese p suposta verdadeira
no deve ser demonstrada
Matemtica Discreta
6 / 21
Prova direta
Matemtica Discreta
7 / 21
Afirmao:
a soma de dois nmeros pares um nmero par.
Para aplicar a prova direta, devemos reescrever na forma de p q:
se n e m so dois nmeros pares quaisquer, ento n+m um
nmero par
Matemtica Discreta
8 / 21
Matemtica Discreta
9 / 21
Roteiro
Introduo
Demonstrao direta
Matemtica Discreta
10 / 21
Matemtica Discreta
11 / 21
Matemtica Discreta
12 / 21
Matemtica Discreta
13 / 21
Roteiro
Introduo
Demonstrao direta
Matemtica Discreta
14 / 21
Para provar p q:
supor que a hiptese p verdadeira
supor que a negao da tese q verdadeira
concluir uma contradio (em geral, q ou q)
Matemtica Discreta
15 / 21
Roteiro
Introduo
Demonstrao direta
Matemtica Discreta
16 / 21
P(n0 ) vlida;
Matemtica Discreta
17 / 21
Matemtica Discreta
18 / 21
Matemtica Discreta
19 / 21
Regra de inferncia
(P(n0 ) k (P(k ) P(k + 1)) n P(n)
Matemtica Discreta
20 / 21
Matemtica Discreta
21 / 21