Métodos de Demonstração

Slides:



Advertisements
Apresentações semelhantes
Exemplos de Indução Matemática
Advertisements

Elementos de Lógica Matemática
Semântica.
Trabalho Escolar de Filosofia
A Teoria da Medida Profª. Ms. Juliany Gonçalves Guimarães
BCC101 – Matemática Discreta
Matemática Discreta I BCC101
BCC101 – Matemática Discreta
BCC 101 – Matemática Discreta I
BCC 101 –Matemática Discreta
EQUAÇÕES POLINOMIAIS Prof. Marlon.
DEDUÇÃO NO CÁLCULO PROPOSICIONAL
Indução Métodos de prova já vistos Excepções
Lógica Matemática.
Universidade Federal do Pará Instituto de Tecnologia
TESTE DE HIPÓTESES DESENVOLVENDO A HIPÓTESE NULA E ALTERNATIVA
oFichas 3, 7, 11 e 17 oTestes de Avaliação CONCENTRAÇÃO MÁXIMA.
CAPÍTULO I- TEORIA DAS PROBABILIDADE
Prof. Roberto Cristóvão
Capítulo 4 Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional
Probabilidade.
BCC101 – Matemática Discreta
BCC 101 –Matemática Discreta
Princípio de Prova por Indução
BCC101 – Matemática Discreta
AXIOMÁTICA Rosa Canelas.
Aula 07 – Limite e Continuidade
Teorema de Rolle e Teorema do Valor Médio
Lógica Proposicional Caderno de Exercícios.
Aulas 9,10 Fábio Nakano.
GEOMETRIA AXIOMÁTICA, SEGMENTOS DE RETA
Recordando o princípio da Indução...
SEMÂNTICA.
Lógica Proposicional Dedução Natural.
Indução Matemática Recursão
Uma Abordagem Híbrida Fuzzy-Bayesiana para Modelagem de Incertezas
Maria Amélia Ribeiro Fernandes 2010
Construções Lógico –Matemáticas – Aula 09
BCC 101 – Matemática Discreta I
BCC101 – Matemática Discreta
UNIVERSIDADE SEVERINO SOMBRA
BCC101 – Matemática Discreta
LEMA 1 Utilização de material concreto no Ensino de Matemática
Métodos para determinação de validade de fórmulas
Estatística Geral (Probabilidade Exercícios)
Matemática e suas Tecnologias - Matemática PROBABILIDADE CONDICIONAL
BCC101 Matemática Discreta I
Lógica Matemática Introdução.
Estatística Geral (Elementos de Probabilidade)
Lógica e Teoria dos Conjuntos
BCC101 – Matemática Discreta
Redução.
Luz Branca Em nosso modelo simplificado, a luz branca é composta pelas luzes Vermelha, Laranja, Amarela, Verde, Azul, Anil e Violeta.
Decidibilidade, Corretude, Completude, Consistência
Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências.
1 Lógica Proposicional Dedução BCC101 Matemática Discreta I.
Decidibilidade, Corretude, Completude, Consistência, Monotonicidade
Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências.
1 Provas e Proposições Anjolina Grisi de Oliveira Fonte:
1 Indução Definições Indutivas Prova por indução Referência: Language, Proof and Logic Jon Barwise e John Etchemendy, 1999 Capítulo: 16.
Anjolina Grisi de Oliveira
Lógica matemática.
Lógica Aulas 12 ao 15 “Um raciocínio lógico leva você de A a B. A imaginação leva você a qualquer lugar que você quiser.” Albert Einstein.
TEORIA DOS NÚMEROS Aula 2 – Princípio da Indução Finita
Universidade Federal da Paraíba Departamento de Informática Introdução à Engenharia de Computação Álgebra de Boole.
Prof. Mário Alves Aula de Revisão da AV1 FUNDAMENTOS DE ANÁLISE I.
Tema 1 – Lógica e Teoria dos Conjuntos
A distinção validade-verdade
Aula 8: Completeza em R, Supremos e Ínfimos
Lógica I “Sem abstração, a inteligência não floresce” (João Zelesny)
Transcrição da apresentação:

Métodos de Demonstração Método de Redução ao Absurdo Método de Indução Matemática

Método de Redução ao Absurdo Um saco contém bolas do mesmo tamanho e do mesmo material, mas de três cores diferentes (brancas, pretas e vermelhas). Sabe-se que: - Existe, pelo menos, uma bola de cada cor; - O número de bolas brancas é 5; - O número de bolas pretas é par. Extraindo ao acaso uma bola do saco, a probabilidade de ela ser branca é . Utilizando o método de redução ao absurdo, prove que, no saco, há, pelo menos, duas bolas vermelhas.

Método de Redução ao Absurdo Comecemos por indicar a hipótese e a tese. Hipótese: - Um saco contém bolas do mesmo tamanho e do mesmo material, mas de três cores diferentes (brancas, pretas e vermelhas). - Existe, pelo menos, uma bola de cada cor ; - O número de bolas brancas é 5; - O número de bolas pretas é par. - Extraindo ao acaso uma bola do saco, a probabilidade de ela ser branca é Tese: No saco, há, pelo menos, duas bolas vermelhas.

Método de Redução ao Absurdo Queremos provar que: se a hipótese é verdadeira então verifica-se a tese. Vamos ver o que acontece se a tese for falsa, ou seja: “não existem pelo menos duas bolas vermelhas”. Isso significa que existe uma bola vermelha (porque sabemos, por hipótese, que é uma das cores das bolas do saco). Suponhamos então que existe uma única bola vermelha.

Método de Redução ao Absurdo Por hipótese, sabemos que: - O número de bolas brancas é 5; - Extraindo ao acaso uma bola do saco, a probabilidade de ela ser branca é Com estas duas informações podemos afirmar que o número de bolas no saco é 15 e que o número de bolas vermelhas e bolas pretas é 10. Sabemos que o número de bolas pretas é par (por hipótese). Se o número de bolas vermelhas for 1 então o número de bolas pretas seria 9, o que contradiz a hipótese. Assim, nas condições da hipótese, nunca poderíamos ter apenas uma bola vermelha no saco.

Método de Redução ao Absurdo Num Teorema (propriedade que queremos demonstrar) temos Hipótese Tese (o que admitimos ser verdade) (o que queremos provar) Demonstrar um teorema é demonstrar que esta implicação é válida. O método de redução ao absurdo consiste em admitir que a tese é falsa e que a hipótese é verdadeira e, através de um raciocínio lógico, chegar a uma contradição (absurdo) com a hipótese, concluindo, então que a tese só pode ser verdadeira.

Método de Indução Matemática http://www.e-escola.pt/topico.asp?topico=5&ordem=6&canal=4 Mostrar que: A propriedade se verifica para n=1 Que a propriedade é hereditária.

Método de Indução Matemática Mostre por indução matemática que Para n=1 temos que Vamos provar agora que é hereditária: Admitindo que a propriedade se verifica para um certo nº natural igual a p, ou seja Vamos mostrar que a propriedade também se verifica para p+1, ou seja

Método de Indução Matemática Queremos mostrar que Então: