Universidade Federal do Vale do So Francisco

Curso de Engenharia da Computao

Matemtica Discreta - 04
Prof. Jorge Cavalcanti
jorge.cavalcanti@univasf.edu.br
www.univasf.edu.br/~jorge.cavalcanti
www.twitter.com/jorgecav

Teoremas e Demonstraes
Tcnicas de demonstrao
Teoremas e Demonstraes Informais

Os argumentos lgicos formais tem a forma P Q, onde P

e Q podem representar proposies compostas.

As vezes temos que provar argumentos que no so

universalmente verdadeiros, sendo apenas em certos
contextos.

Temos que demonstrar a validade do argumento.

Temos que provar que, se P verdadeiro nesse contexto, Q

tambm o .

Se pudermos provar essa condio, ento P Q torna-se

um teorema sobre aquele assunto.
Os teoremas podem ser enunciados e demonstrados de
maneira menos formal do que usando argumentos da lgica
formal.
2

Teoremas e Demonstraes
Tcnicas de demonstrao

Um teorema uma proposio que garantida

por uma prova.

Um axioma uma proposio que se assume

como verdadeira e que no precisa de prova.
Uma conjectura uma proposio que ainda
no foi provada e nem refutada.

Teoremas e Demonstraes
Tcnicas de demonstrao
Provar ou No Provar

Raciocnio indutivo Algo que se conclui baseado na

experincia.

Raciocnio dedutivo Verificao de fato se a conjectura

verdadeira.

Por exemplo, observando que, em diversos casos nos quais

sempre P verdade, Q tambm o , formula-se uma
conjectura: Quanto mais verifica-se que Q segue de P, mais
confiante que a conjectura verdadeira.

Produzir uma demonstrao que P Q, transformando a

conjectura em um teorema.
Ou encontrando um contra-exemplo, mostrando que a
conjectura est errada, com um caso onde P verdadeiro e Q
falso.

No simples a deciso de qual a abordagem: provar ou

buscar um contra-exemplo.
4

Teoremas e Demonstraes
Tcnicas de demonstrao
Provar ou No Provar

Ex. 01: Para um inteiro positivo n, n! definido com sendo

n(n-1)(n-2)...1. Prove ou encontre um contra-exemplo para
a conjectura para todo inteiro positivo n, n! n2.
Testa-se alguns casos:
n

n!

n2

n! n2

Os casos
verdadeiros no
provam a validade

3
6
9
V
At agora a conjectura foi sempre verdadeira. O caso
seguinte:
n

n!

n2

n! n2

24

16

Esse caso
suficiente para
provar a falsidade
5

Teoremas e Demonstraes
Tcnicas de demonstrao
Demonstrao exaustiva

Encontrar um contra-exemplo pode no ser simples. Ento

o caminho para provar uma conjectura usar mtodos para
demonstr-la.
Quando temos uma conjectura sobre uma coleo finita, ela
pode ser provada verificando se ela vlida para cada
elemento da coleo.
Uma demonstrao por exausto significa que foram
exauridos todos os casos possveis.
Ex.02: Provar a conjectura: Se um inteiro entre 1 e 20
divisvel por 6, ento tambm divisvel por 3.

Como existe um nmero finito de casos, a conjectura pode ser

provada mostrando que verdadeira para todos os inteiros de
1 a 20, por exemplo, usando uma tabela.
6

Teoremas e Demonstraes
Tcnicas de demonstrao
Demonstrao exaustiva

Ex.03: Provar a conjectura: Para qualquer inteiro

positivo menor ou igual a 5, o quadrado do
inteiro menor ou igual soma de 10 mais 5
vezes o inteiro.
Ex.04: D um contra-exemplo para a conjectura:
Para qualquer inteiro positivo, o quadrado do
inteiro menor ou igual soma de 10 mais 5
vezes o inteiro.

Teoremas e Demonstraes
Demonstrao Direta

Uma demonstrao ou prova dita direta quando

pressupes verdadeira a hiptese e, a partir
desta, prova ser verdadeira a tese.
Ex.05: Considere a seguinte conjectura: A soma
de dois nmeros pares um nmero par.
Podemos efetuar a demonstrao direta a partir
dos seguintes passos:
1.

2.
3.

Reescrevendo na forma P Q: Se n e m so dois

nmeros pares quaisquer, ento n+m um nmero
par.
Lembrando que um numero par n pode ser definido
por n=2r, onde r um numero inteiro qualquer.
Se n e m so pares, ento existem r, s tais que: n=2r
e m=2s, ento: n+m=2r+2s => 2(r+s), como r+ s
um nmero natural, logo, n+m um nmero par. 8

Teoremas e Demonstraes
Demonstrao Direta

Ex.06: Considere a seguinte conjectura: O

produto de dois nmeros inteiros pares um
nmero par. Faa a demonstrao direta
(informal) da mesma.

Teoremas e Demonstraes
Contraposio

Se a demonstrao direta P Q, no foi

atingida, pode-se tentar algumas variantes da
tcnica de demonstrao direta.
Se puder provar o teorema Q P, pode-se
concluir que P Q, usando a tautologia (Q
P) (P Q).

Q P a contrapositiva de P Q

A tcnica de provar P Q atravs de uma

demonstrao direta de Q P chamada de
demonstrao por contraposio.

A tautologia (Q P) (P Q) vem da regra de

inferncia onde P Q pode ser deduzida de Q P.
10

Teoremas e Demonstraes
Contraposio

Ex. 07: Prove o seguinte teorema (n ):

n! > (n+1) n>2
Por equivalncia, pode-se demonstrar por
contraposio, que:
n 2 n! (n+1)
Testando a proposio para n=0, 1 e 2.
n

n!

n+1

3
11

Teoremas e Demonstraes
Contraposio

Ex.08: Mostre que se n + 1 senhas diferentes

foram distribudas para n alunos, ento algum
aluno recebe 2 senhas.

A contrapositiva Se todo aluno recebe < 2 senhas,

ento no foram distribudas n + 1 senhas.

12

Teoremas e Demonstraes
Demonstrao por absurdo

Quando a demonstrao de P Q, consiste em

supor a hiptese P, supor a negao de Q e
concluir uma contradio (em geral Q Q), a
demonstrao chamada de por absurdo.
Lembrando que uma contradio uma fbf cujo
valor lgico sempre Falso. Ela pode ser
denotada por 0.

Para provar P Q, podemos levar em conta a

seguinte fbf: (P Q 0) (P Q).

Por exemplo, a fbf A A tem sempre valor falso.

Construindo a tabela verdade, conclumos a que a fbf

uma tautologia.

Ento se provarmos que P Q 0, isto

implicar em P Q

13

Teoremas e Demonstraes
Demonstrao por absurdo

Portanto, na demonstrao por absurdo, assumese o oposto do que se quer provar, ao chegar a
uma contradio, a prova finalizada.
Ex.10: Demonstrar por absurdo a proposio: Se
um nmero somado a ele mesmo igual a ele
mesmo, ento esse nmero 0.

Representando x por um numero qualquer.

A hiptese x+x=x e a concluso x=0.
Para demonstrar por absurdo, supomos que x+x=0 e
x0. Ento 2x=x e x0.
Dividindo ambos os lados da eq. 2x=x, obtem-se 2=1,
uma contradio, que buscamos.
Portanto, (x+x=x) (x=0)
14

Teoremas e Demonstraes
Demonstrao por absurdo

Ex.11: Demonstrar por absurdo que o produto de

inteiros mpar no par.

15

Resumo das tcnicas de demonstrao

Tcnica
Exausto

Abordagem para provar

Observaes
PQ
Demonstre P Q para Pode ser usada para
todos os casos possveis provar um nmero
finito de casos.

Direta

Suponha P, deduza Q

Contraposio Suponha Q, deduza P

Por Absurdo

Suponha P Q, deduza
uma contradio

Abordagem padro
o que se deve tentar
em geral.
Use a tcnica se Q
parece dar mais
munio que P.
Use essa tcnica
quando Q disser que
alguma coisa no
verdade.
16