You are on page 1of 66

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
Definic¸ ˜ oes
Regras de Infer ˆ encia
Argumentos v´ alidos
Fal ´ acias
Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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 Exerc´ıcios recomendados
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 2 / 26
M´ etodos de Prova Definic¸ ˜ oes
Definic¸ ˜ ao: Teorema
´
E uma afirmac¸ ˜ ao que se pode provar verdadeira. Para isso usamos
axiomas, postulados e outros teoremas.
Definic¸ ˜ ao: Lema
´
E um teorema mais simples usado para provar outro.
Definic¸ ˜ ao: Corol ´ ario
´
E uma proposic¸ ˜ ao derivada diretamente de um teorema.
Definic¸ ˜ ao: Conjectura
´
E uma afirmac¸ ˜ ao cujo valor verdade ´ e deconhecido.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 3 / 26
M´ etodos de Prova Definic¸ ˜ oes
Definic¸ ˜ ao: Teorema
´
E uma afirmac¸ ˜ ao que se pode provar verdadeira. Para isso usamos
axiomas, postulados e outros teoremas.
Definic¸ ˜ ao: Lema
´
E um teorema mais simples usado para provar outro.
Definic¸ ˜ ao: Corol ´ ario
´
E uma proposic¸ ˜ ao derivada diretamente de um teorema.
Definic¸ ˜ ao: Conjectura
´
E uma afirmac¸ ˜ ao cujo valor verdade ´ e deconhecido.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 3 / 26
M´ etodos de Prova Definic¸ ˜ oes
Definic¸ ˜ ao: Teorema
´
E uma afirmac¸ ˜ ao que se pode provar verdadeira. Para isso usamos
axiomas, postulados e outros teoremas.
Definic¸ ˜ ao: Lema
´
E um teorema mais simples usado para provar outro.
Definic¸ ˜ ao: Corol ´ ario
´
E uma proposic¸ ˜ ao derivada diretamente de um teorema.
Definic¸ ˜ ao: Conjectura
´
E uma afirmac¸ ˜ ao cujo valor verdade ´ e deconhecido.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 3 / 26
M´ etodos de Prova Definic¸ ˜ oes
Definic¸ ˜ ao: Teorema
´
E uma afirmac¸ ˜ ao que se pode provar verdadeira. Para isso usamos
axiomas, postulados e outros teoremas.
Definic¸ ˜ ao: Lema
´
E um teorema mais simples usado para provar outro.
Definic¸ ˜ ao: Corol ´ ario
´
E uma proposic¸ ˜ ao derivada diretamente de um teorema.
Definic¸ ˜ ao: Conjectura
´
E uma afirmac¸ ˜ ao cujo valor verdade ´ e deconhecido.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 3 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 4 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 4 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 4 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 4 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
M´ etodos de Prova Regras de Infer ˆ encia
Regra de Inferˆ encia Nome
p
∴ p ∨ q
Adic¸ ˜ ao
p ∧ q
∴ p
Simplificac¸ ˜ 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
Silogismo disjuntivo
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 5 / 26
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
.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 6 / 26
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
.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 6 / 26
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
.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 6 / 26
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
.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 6 / 26
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
.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 6 / 26
M´ etodos de Prova Fal ´ acias
Exemplo: Fal ´ acia
“Se vocˆ e fizer todos os exerc´ıcios, 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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 7 / 26
M´ etodos de Prova Fal ´ acias
Exemplo: Fal ´ acia
“Se vocˆ e fizer todos os exerc´ıcios, 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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 7 / 26
M´ etodos de Prova Fal ´ acias
Exemplo: Fal ´ acia
“Se vocˆ e fizer todos os exerc´ıcios, 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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 7 / 26
M´ etodos de Prova Fal ´ acias
Exemplo: Fal ´ acia
“Se vocˆ e fizer todos os exerc´ıcios, 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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 7 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Regra de Inferˆ encia Nome
∀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
P(c) para algum elemento c
∴ ∃x P(x)
Generalizac¸ ˜ ao existencial
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 8 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Regra de Inferˆ encia Nome
∀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
P(c) para algum elemento c
∴ ∃x P(x)
Generalizac¸ ˜ ao existencial
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 8 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Regra de Inferˆ encia Nome
∀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
P(c) para algum elemento c
∴ ∃x P(x)
Generalizac¸ ˜ ao existencial
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 8 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Regra de Inferˆ encia Nome
∀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
P(c) para algum elemento c
∴ ∃x P(x)
Generalizac¸ ˜ ao existencial
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 8 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 9 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 9 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 9 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 9 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 9 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Observac¸ ˜ ao
“Se x > y, onde x e y s˜ ao reais positivos, ent ˜ ao x
2
> y
2

A frase acima possui um quantificador impl´ıcito.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 10 / 26
M´ etodos de Prova Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
Observac¸ ˜ ao
“Se x > y, onde x e y s˜ ao reais positivos, ent ˜ ao x
2
> y
2

A frase acima possui um quantificador impl´ıcito.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 10 / 26
M´ etodos de provar teoremas
Sum´ ario
1 M´ etodos de Prova
Definic¸ ˜ oes
Regras de Infer ˆ encia
Argumentos v´ alidos
Fal ´ acias
Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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 Exerc´ıcios recomendados
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 11 / 26
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.”
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 12 / 26
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.”
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 12 / 26
M´ etodos de provar teoremas Prova indireta (contra-positiva)
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.”
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 13 / 26
M´ etodos de provar teoremas Prova indireta (contra-positiva)
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.”
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 13 / 26
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 afirmac¸ ˜ ao “se n > 1, ent ˜ ao n
2
> n”. Prove P(0).
Exemplo
Seja P(n) a afirmac¸ ˜ ao “se a e b s˜ ao inteiros positivos com a ≥ b,
ent ˜ ao a
n
≥ b
n
”. Prove P(0).
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 14 / 26
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 afirmac¸ ˜ ao “se n > 1, ent ˜ ao n
2
> n”. Prove P(0).
Exemplo
Seja P(n) a afirmac¸ ˜ ao “se a e b s˜ ao inteiros positivos com a ≥ b,
ent ˜ ao a
n
≥ b
n
”. Prove P(0).
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 14 / 26
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 afirmac¸ ˜ ao “se n > 1, ent ˜ ao n
2
> n”. Prove P(0).
Exemplo
Seja P(n) a afirmac¸ ˜ ao “se a e b s˜ ao inteiros positivos com a ≥ b,
ent ˜ ao a
n
≥ b
n
”. Prove P(0).
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 14 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 15 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 15 / 26
M´ etodos de provar teoremas Prova por contradic¸ ˜ ao (“absurdo”)
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 16 / 26
M´ etodos de provar teoremas Prova por contradic¸ ˜ ao (“absurdo”)
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 17 / 26
M´ etodos de provar teoremas Prova por contradic¸ ˜ ao (“absurdo”)
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 17 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 18 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 18 / 26
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”.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 19 / 26
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”.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 19 / 26
M´ etodos de provar teoremas Provas de equival ˆ encia
Prova de equival ˆ encia para v´ arias proposic¸ ˜ oes
Usamos a tautologia:
(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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 20 / 26
M´ etodos de provar teoremas Provas de equival ˆ encia
Prova de equival ˆ encia para v´ arias proposic¸ ˜ oes
Usamos a tautologia:
(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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 20 / 26
M´ etodos de provar teoremas Prova construtiva existencial
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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 21 / 26
M´ etodos de provar teoremas Prova construtiva existencial
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
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 21 / 26
M´ etodos de provar teoremas Prova construtiva existencial
Prova n˜ ao-construtiva existencial
Mostre que existem n´ umeros irracionais x e y tal que x
y
´ e racional.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 22 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 23 / 26
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 23 / 26
M´ etodos de provar teoremas Contra-exemplos
Contra-exemplo
Usado para mostrar que um teorema com quantificador universal ´ e
falso.
Exemplo
Mostre que “todo inteiro positivo ´ e a soma do quadrado de tr ˆ es
inteiros” ´ e falso.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 24 / 26
M´ etodos de provar teoremas Contra-exemplos
Contra-exemplo
Usado para mostrar que um teorema com quantificador universal ´ e
falso.
Exemplo
Mostre que “todo inteiro positivo ´ e a soma do quadrado de tr ˆ es
inteiros” ´ e falso.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 24 / 26
Exerc´ıcios recomendados
Sum´ ario
1 M´ etodos de Prova
Definic¸ ˜ oes
Regras de Infer ˆ encia
Argumentos v´ alidos
Fal ´ acias
Regras de infer ˆ encia para afirmac¸ ˜ oes c/ quantificadores
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 Exerc´ıcios recomendados
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 25 / 26
Exerc´ıcios recomendados
Exerc´ıcios recomendados
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.
Nilton Volpato (IC/Unicamp) M´ etodos de Prova 26 / 26