Você está na página 1de 16

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.
Temos que demonstrar a validade do argumento.

As vezes temos que provar argumentos que no so universalmente verdadeiros, sendo apenas em certos contextos.
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.
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.

Raciocnio dedutivo Verificao de fato se 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 1 2 n! 1 2 n2 1 4 n! n2 V V
Os casos verdadeiros no provam a validade

3 6 9 V At agora a conjectura foi sempre verdadeira. O caso seguinte: n 4 n! 24 n2 16 n! n2 F

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 0 1 2 n! 1 1 2 n+1 1 2 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.
Por exemplo, a fbf A A tem sempre valor falso.

Para provar P Q, podemos levar em conta a seguinte fbf: (P Q 0) (P Q).


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. Suponha P, deduza Q 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

Direta

Contraposio Suponha Q, deduza P

Por Absurdo

Suponha P Q, deduza uma contradio