Escolar Documentos
Profissional Documentos
Cultura Documentos
Rodrigo Hausen
v. 2013-7-31
1/15
Denies
v. 2013-7-31
2/15
Denies
Axiomas
v. 2013-7-31
2/15
Denies
Axiomas
Teoremas Teorema: uma proposio que se demonstra ser verdadeira, baseada em proposies anteriores.
Ex.: (Teorema de Pitgoras) A soma dos quadrados dos catetos igual ao quadrado da hipotenusa.
v. 2013-7-31
2/15
Axiomas Denies Demonstraes Teoremas Demonstrao: prova de que um teorema verdadeiro, obtida por regras vlidas.
Em geral, existem vrias maneiras de se demonstrar um teorema.
v. 2013-7-31
2/15
Axiomas Denies - Demonstraes Teoremas Demonstrao: prova de que um teorema verdadeiro, obtida por regras vlidas.
Em geral, existem vrias maneiras de se demonstrar um teorema.
v. 2013-7-31
2/15
v. 2013-7-31
3/15
v. 2013-7-31
3/15
v. 2013-7-31
3/15
v. 2013-7-31
3/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): Tese (concluso):
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso):
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros.
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n+m =
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 =
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + )
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + ) Conclumos que n + m mltiplo de 2, ou seja, n + m par.
v. 2013-7-31
4/15
Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + ) Conclumos que n + m mltiplo de 2, ou seja, n + m par.
m da demonstrao
v. 2013-7-31
6
4/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar.
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido:
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar.
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: Tese (concluso):
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso):
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k .
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 =
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 =
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 =
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 =
v. 2013-7-31
5/15
Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 = 2 + 1 Onde
v. 2013-7-31
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
6/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
v. 2013-7-31
7/15
Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro.
v. 2013-7-31
8/15
Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro. Exemplo 5 Algum dia ser possvel criar um programa de computador que sempre ganhe no xadrez?
v. 2013-7-31
8/15
Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro. Exemplo 5 Algum dia ser possvel criar um programa de computador que sempre ganhe no xadrez? Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez
v. 2013-7-31
8/15
Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez
v. 2013-7-31
9/15
Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro.
v. 2013-7-31
9/15
Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro. Ou o jogo terminar empatado (sem nenhum ganhador), ou um dos computadores perder. Em qualquer destes casos, pelo menos uma das duas cpias do programa no vai ganhar o jogo, uma contradio, j que assumimos que o programa sempre ganha.
v. 2013-7-31
9/15
Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro. Ou o jogo terminar empatado (sem nenhum ganhador), ou um dos computadores perder. Em qualquer destes casos, pelo menos uma das duas cpias do programa no vai ganhar o jogo, uma contradio, j que assumimos que o programa sempre ganha. Portanto, no existe (nem nunca existir) um programa que sempre ganhe no xadrez.
v. 2013-7-31
9/15
v. 2013-7-31
10/15
v. 2013-7-31
10/15
v. 2013-7-31
10/15
v. 2013-7-31
10/15
v. 2013-7-31
10/15
v. 2013-7-31
11/15
(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo
v. 2013-7-31
11/15
(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn .
v. 2013-7-31
11/15
(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn . Mas isto contradiz a armao de que pn o maior primo de todos, o que um absurdo!
v. 2013-7-31
11/15
(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn . Mas isto contradiz a armao de que pn o maior primo de todos, o que um absurdo! Como o nosso raciocnio foi construdo corretamente aps a hiptese no p , isto nos leva a concluir que no p falsa, consequentemente a proposio p = existem innitos nmeros primos verdadeira.
v. 2013-7-31
11/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
12/15
v. 2013-7-31
13/15
v. 2013-7-31
13/15
v. 2013-7-31
13/15
v. 2013-7-31
14/15
O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q (l-se: p , se e somente se, q )
v. 2013-7-31
14/15
O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q Isto equivale a duas proposies: se p ento q E se q ento p (l-se: p , se e somente se, q )
Ou, simbolicamente, (p q ) e (q p ).
v. 2013-7-31
14/15
O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q Isto equivale a duas proposies: se p ento q E se q ento p (l-se: p , se e somente se, q )
Ou, simbolicamente, (p q ) e (q p ). Cada uma das duas proposies deve ser demonstrada separadamente.
v. 2013-7-31
14/15
v. 2013-7-31
15/15
v. 2013-7-31
15/15
v. 2013-7-31
15/15
v. 2013-7-31
15/15
v. 2013-7-31
15/15