SlideShare ist ein Scribd-Unternehmen logo
1 von 46
Downloaden Sie, um offline zu lesen
Em Lógica, estudamos como demonstrar a
validade de argumentos formais na forma P → Q.
Neste contexto, a validade do argumento é
absoluta (depende apenas da forma ou estrutura
do argumento e não do conteúdo ou significado
das proposições).
No entanto, muitas vezes queremos provar
argumentos que são verdadeiros em um determinado
contexto (para uma interpretação particular).
Queremos provar que P → Q é verdadeiro para um
contexto específico. Podemos usar fatos que
dependem do contexto como hipóteses e então
provar que o argumento é verdadeiro (Teorema).
Não existe uma receita para demonstração de
Teoremas. Muitas vezes, é muito difícil demonstrar
teoremas utilizando Lógica Formal.
Existem técnicas de demonstração “menos formais”:
‣ não usam elementos das lógicas proposicional e de
predicados;
‣ não são escritas passo a passo, com justificativas formais a
cada passo.
‣ os passos de dedução e raciocínio são explicados em
linguagem natural.
Entretanto, essas demonstrações podem ser descritas com
Lógica Formal.
Conjectura
• Podemos formular uma conjectura por
meio de raciocínio indutivo
‣ concluir algo baseado na experiência
• Podemos entender uma conjectura como
um argumento que não se sabe se é
verdadeiro ou não.
Teorema
• Se provamos que uma conjectura é
verdadeira, então ela se torna um Teorema.
‣ Para isso podemos usar raciocínio dedutivo
(técnicas de demonstração)
• Podemos provar que uma conjectura é falsa
encontrando um contra-exemplo (um caso
em que P é verdadeiro e Q é falso)
Exemplo
• Prove ou encontre um contra-exemplo
para a seguinte conjectura:
‣ “Para todo número inteiro positivo n, n! ≤ n2”.
Técnicas de
Demonstração
Sumário
• Técnicas básicas de demonstração
• Primeiro Princípio da Indução
• Segundo Princípio da Indução
Técnicas Básicas de
Demonstração
• Demonstração por Exaustão
• Demonstração Direta
• Demonstração por Contraposição
• Demonstração por Absurdo
Demonstração
Exaustiva
• Se uma conjectura é uma asserção sobre
uma coleção finita de elementos, sua
validade pode ser provada verificando-se se
ela é verdadeira para cada elemento
coleção.
‣ consiste em exaurir todos os casos possíveis.
Exemplo
• Prove a conjectura:
‣ “Se um inteiro entre 1 e 20 é divisível por 6,
então ele é também divisível por 3”
Demonstração Direta
• Consiste em supor que a hipótese P é
verdadeira e então deduzir a conclusão Q
Exemplo
• Prove a conjectura:
‣ Se x e y são números inteiros pares, então o
produto xy é um número inteiro par.
Sabemos que se z é um número inteiro par,
então existe um número inteiro k,
tal que z = 2k. (definição de um número par).
Sejam x = 2m e y = 2n,
onde m e n são inteiros.
Então xy = (2m)(2n) = 2(2mn),
onde 2mn é um inteiro.
Logo o produto xy tem a forma 2k,
onde k = 2mn é um inteiro,
e, portanto, é par, como queríamos
demonstrar
Contraposição
• Demonstração por contraposição consiste
na técnica de provar P → Q através da
demonstração direta de Q′ → P′.
‣ Sabemos que (Q′ → P′) → (P → Q)
‣ Q′ → P′ é a contrapositiva de (P → Q)
Exemplo
• Prove que a seguinte conjectura:
‣ Se n2 é ímpar, então n é ímpar.
n2 é ímpar → n é ímpar
A contrapositiva é:
n é par → n2 é par
Temos que n2 = nn
Como n é par, n = 2k.
Assim, n2 = 2k 2k = 2(k+k).
Portanto, n2 é par.
Demonstração por
Absurdo
• (P ∧ Q′ → 0) → (P → Q) é uma tautologia
• Assim, para provar a conjectura P → Q,
basta provar que P ∧ Q′ → 0
• Ou seja, em uma demonstração por
absurdo, supomos que a hipótese e a
negação da conclusão são ambas
verdadeiras e tentamos deduzir uma
contradição.
Exemplo
• Prove por absurdo a proposição:
‣ “Se um número somado a ele mesmo é igual a
ele mesmo, então esse número é 0.”
‣ Se x+x=x, então x=0.
‣ x+x=x → x=0
Proposição: x+x=x → x=0
Suponhamos P ∧ Q′ → 0:
(x+x=x) ∧ (x≠0) → 0
Ou seja, x+x=x e x é diferente de zero.
Assim, 2x=x e x≠0.
Como x≠0, podemos dividir ambos os lados da primeira
equação por x. Logo,
2x/x = x/x
2 = 1
O que é uma contradição, portando x+x=x → x=0.
Técnica
Abordagem para provar
P → Q
Observações
Exaustão
Demonstrar P → Q
para todos os casos.
É viável apenas para
um número finito de
casos.
Direta Suponha P, deduza Q.
Contraposição Suponha Q′, deduza P′.
Absurdo
Suponha P ∧ Q′,
chegue a uma
contradição.
Indicada para os
casos em que Q diz
que algo não é
verdade.
Exercício
• Prove as seguintes conjecturas:
‣ “Para todo inteiro positivo n, n2+n+1 é primo”;
‣ “Se n=25, 100 ou 169, então n é um quadrado
perfeito e também é uma soma de dois
quadrados perfeitos”;
‣ “a soma de dois inteiros ímpares é par”.
Exercício
• Demonstre que, dados dois números
inteiros positivos x e y,
‣ x < y se, e somente se, x2 < y2
Resumo
• O raciocínio indutivo é usado para formular
uma conjectura baseada na experiência.
• O raciocínio dedutivo é usado para provar
uma conjectura ou refutá-la através de um
contra-exemplo.
• Ao provar uma conjectura sobre algum
assunto, pode-se usar fatos sobre o assunto.
Problema?
• Demonstre que:
‣ 1+2+3+...+n = [n(n+1)]/2
• Podemos usar demonstração exaustiva ou
direta?
Sumário
• Técnicas básicas de demonstração
• Primeiro Princípio da Indução
• Segundo Princípio da Indução
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
a) Eu consigo subir até o primeiro degrau.
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
b) Estando no primeiro degrau, eu consigo
subir até o segundo.
a) Eu consigo subir até o primeiro degrau.
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
b) Estando no primeiro degrau, eu consigo
subir até o segundo.
a) Eu consigo subir até o primeiro degrau.
c) Estando no segundo degrau, eu consigo
subir até o terceiro.
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
b) Estando no primeiro degrau, eu consigo
subir até o segundo.
a) Eu consigo subir até o primeiro degrau.
c) Estando no segundo degrau, eu consigo
subir até o terceiro.
...
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
a) Eu consigo subir até o primeiro degrau.
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
b) Se eu estou em algum degrau, eu
consigo subir até o próximo.
a) Eu consigo subir até o primeiro degrau.
Demonstre que você consegue subir até
o n-ésimo degrau de uma escada!
b) Se eu estou em algum degrau, eu
consigo subir até o próximo.
a) Eu consigo subir até o primeiro degrau.
Portanto, eu consigo subir n degraus.
Primeiro Princípio de
Indução Matemática
P(1) ∧ (∀k)[P(k)→P(k+1)] →(∀n)P(n),
k, n são inteiros positivos
P(1) é a base da indução;
(∀k)[P(k)→P(k+1)] é o passo indutivo,
onde P(k) é a hipótese de indução.
Passos para demonstração
usando o primeiro princípio
indução
1. Prove a base da indução
2. Suponha P(k)
3. Prove P(k+1)
Exemplo
• Demonstre que:
‣ 1+2+3+...+n = [n(n+1)]/2
Exercício
• Usando o primeiro princípio de indução,
demonstre que:
‣ A soma dos n primeiros números ímpares é
igual a n2.
‣ Para qualquer inteiro positivo n, o número 22n-1
é divisível por 3.
Sumário
• Técnicas básicas de demonstração
• Primeiro Princípio da Indução
• Segundo Princípio da Indução
Segundo Princípio de
Indução
Se
P(1) é verdade e
(∀k)[P(r) → P(k+1), 1≤ r ≤ k,
então
(∀n)P(n)
• Em geral, as propriedades podem ser
demonstradas por ambas as formas de
indução. Mas, para a maioria dos problemas,
existe uma forma mais apropriada.
‣ A diferença entre as formas está apenas na
hipótese de indução
• Usamos a segunda forma quando:
‣ o problema se divide no meio ao invés de
crescer em um dos lados.
‣ o caso k+1 depende de resultados anteriores a k
Exemplo
• Demonstre que para n ≥ 2, n é um número
primo ou é um produto de números
primos.
Exemplo 2
• Prove que qualquer franquia postal, maior
ou igual a 8 centavos, pode ser obtida
usando-se selos de 3 e 5 centavos.
‣ P(n): para se obter n centavos em selos precisa-
se apenas de selos de 3 e 5 centavos (n ≥ 8)
Resumo
• A Indução Matemática é uma técnica para
provar propriedades de números inteiros
positivos
• Uma demonstração por indução não precisa
começar com 1.
• As propriedades podem ser demonstradas
por qualquer um dos princípios de indução,
mas uma das formas pode ser mais
apropriada em cada caso.

Weitere ähnliche Inhalte

Was ist angesagt?

Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesUlrich Schiel
 
Equações Polinomiais
Equações PolinomiaisEquações Polinomiais
Equações PolinomiaisNanda Freitas
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatóriaDaniel Muniz
 
Sistemas de equações de 1º grau com duas incógnitas
Sistemas de equações de 1º grau com duas incógnitasSistemas de equações de 1º grau com duas incógnitas
Sistemas de equações de 1º grau com duas incógnitasrosilenedalmolin
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialDiego Oliveira
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatóriabetencourt
 
34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linearAndressa Leite Rodrigues
 
Regra de três simples e composta
Regra de três simples e compostaRegra de três simples e composta
Regra de três simples e compostaMarcelo Pinheiro
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analíticaprofluizgustavo
 
Sistemas de equações do 1⁰ grau revisão
Sistemas de equações do 1⁰ grau revisãoSistemas de equações do 1⁰ grau revisão
Sistemas de equações do 1⁰ grau revisãoAngela Costa
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grauestrelaeia
 
Slides- Progressão Geométrica
Slides- Progressão GeométricaSlides- Progressão Geométrica
Slides- Progressão GeométricaKetlin Cavane
 

Was ist angesagt? (20)

Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Equações Polinomiais
Equações PolinomiaisEquações Polinomiais
Equações Polinomiais
 
Raizes Quadradas
Raizes QuadradasRaizes Quadradas
Raizes Quadradas
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Função de 1º Grau
Função de 1º GrauFunção de 1º Grau
Função de 1º Grau
 
TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS TEORIA DE CONJUNTOS
TEORIA DE CONJUNTOS
 
Sistemas de equações de 1º grau com duas incógnitas
Sistemas de equações de 1º grau com duas incógnitasSistemas de equações de 1º grau com duas incógnitas
Sistemas de equações de 1º grau com duas incógnitas
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição Binomial
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear34 nucleo e imagem de uma transformacao linear
34 nucleo e imagem de uma transformacao linear
 
Regra de três simples e composta
Regra de três simples e compostaRegra de três simples e composta
Regra de três simples e composta
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analítica
 
Produtos Notavéis 8º ano
Produtos Notavéis 8º ano Produtos Notavéis 8º ano
Produtos Notavéis 8º ano
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Sistemas de equações do 1⁰ grau revisão
Sistemas de equações do 1⁰ grau revisãoSistemas de equações do 1⁰ grau revisão
Sistemas de equações do 1⁰ grau revisão
 
Relações
RelaçõesRelações
Relações
 
Equacoes do 1 grau
Equacoes do 1 grauEquacoes do 1 grau
Equacoes do 1 grau
 
Potenciacao
PotenciacaoPotenciacao
Potenciacao
 
Slides- Progressão Geométrica
Slides- Progressão GeométricaSlides- Progressão Geométrica
Slides- Progressão Geométrica
 

Andere mochten auch

Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich Schiel
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosUlrich Schiel
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pfNeon Online
 
06.4 informática questões + provas_2014 - agente-pf
06.4 informática questões + provas_2014 - agente-pf06.4 informática questões + provas_2014 - agente-pf
06.4 informática questões + provas_2014 - agente-pfNeon Online
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesUlrich Schiel
 
Lingua portuguesa - pf
Lingua portuguesa  - pfLingua portuguesa  - pf
Lingua portuguesa - pfNeon Online
 
Nc mat. básica teoria e questões_2015.1 - completa
Nc mat. básica teoria e questões_2015.1 -  completaNc mat. básica teoria e questões_2015.1 -  completa
Nc mat. básica teoria e questões_2015.1 - completaNeon Online
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pfNeon Online
 
Língua portuguesa msgás - completa
Língua  portuguesa   msgás - completaLíngua  portuguesa   msgás - completa
Língua portuguesa msgás - completaNeon Online
 
Lógica Matemática: Proposição I
Lógica Matemática: Proposição ILógica Matemática: Proposição I
Lógica Matemática: Proposição Iqieducacao
 
Inss raciocinio-garcia
Inss raciocinio-garciaInss raciocinio-garcia
Inss raciocinio-garciaNeon Online
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinermanArtur Câncio
 

Andere mochten auch (20)

Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
Matemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntosMatemática Discreta - Parte IV teoria dos-conjuntos
Matemática Discreta - Parte IV teoria dos-conjuntos
 
Logica
LogicaLogica
Logica
 
Drummond
DrummondDrummond
Drummond
 
Marcio ufms
Marcio  ufmsMarcio  ufms
Marcio ufms
 
Windows 7
Windows 7Windows 7
Windows 7
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf
 
4 Hume
4 Hume 4 Hume
4 Hume
 
Lista 3 - Bases Matemáticas - Indução
Lista 3  - Bases Matemáticas - InduçãoLista 3  - Bases Matemáticas - Indução
Lista 3 - Bases Matemáticas - Indução
 
06.4 informática questões + provas_2014 - agente-pf
06.4 informática questões + provas_2014 - agente-pf06.4 informática questões + provas_2014 - agente-pf
06.4 informática questões + provas_2014 - agente-pf
 
Matemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funçõesMatemática Discreta - Parte VI funções
Matemática Discreta - Parte VI funções
 
Lingua portuguesa - pf
Lingua portuguesa  - pfLingua portuguesa  - pf
Lingua portuguesa - pf
 
Nc mat. básica teoria e questões_2015.1 - completa
Nc mat. básica teoria e questões_2015.1 -  completaNc mat. básica teoria e questões_2015.1 -  completa
Nc mat. básica teoria e questões_2015.1 - completa
 
Ronaldo ufms
Ronaldo  ufmsRonaldo  ufms
Ronaldo ufms
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf
 
Língua portuguesa msgás - completa
Língua  portuguesa   msgás - completaLíngua  portuguesa   msgás - completa
Língua portuguesa msgás - completa
 
Lógica Matemática: Proposição I
Lógica Matemática: Proposição ILógica Matemática: Proposição I
Lógica Matemática: Proposição I
 
Inss raciocinio-garcia
Inss raciocinio-garciaInss raciocinio-garcia
Inss raciocinio-garcia
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
 

Ähnlich wie Demonstrações

Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremasCarlos Campani
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematicawab030
 
Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2bonesea
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosLizandra Guarnieri Gomes
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosiran rodrigues
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemáticadjacisilva
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemáticadjacisilva
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2Paulo Martins
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos iPaulo Martins
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Paulo Martins
 
1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicionalUdasul
 

Ähnlich wie Demonstrações (20)

Aula sobre prova de teoremas
Aula sobre prova de teoremasAula sobre prova de teoremas
Aula sobre prova de teoremas
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
PROVAS DE TEOREMAS
PROVAS DE TEOREMASPROVAS DE TEOREMAS
PROVAS DE TEOREMAS
 
Notas de aula 01 2015-2
Notas de aula 01 2015-2Notas de aula 01 2015-2
Notas de aula 01 2015-2
 
Condições
CondiçõesCondições
Condições
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Indução
InduçãoIndução
Indução
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemática
 
Indução Matemática
Indução MatemáticaIndução Matemática
Indução Matemática
 
Pincipio da indução
Pincipio da induçãoPincipio da indução
Pincipio da indução
 
Intro teoria dos números cap2
Intro teoria dos  números cap2Intro teoria dos  números cap2
Intro teoria dos números cap2
 
Teoria dos numeros primos i
Teoria dos numeros primos iTeoria dos numeros primos i
Teoria dos numeros primos i
 
Intro teoria dos numerros cap5
Intro teoria dos numerros cap5Intro teoria dos numerros cap5
Intro teoria dos numerros cap5
 
Caracterização dos inteiros
Caracterização dos inteirosCaracterização dos inteiros
Caracterização dos inteiros
 
1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicional
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
Lógica
LógicaLógica
Lógica
 
Apostila 1 calculo i
Apostila 1 calculo iApostila 1 calculo i
Apostila 1 calculo i
 

Mehr von Chromus Master (20)

Webservice
WebserviceWebservice
Webservice
 
Usb remoção
Usb remoçãoUsb remoção
Usb remoção
 
Disco rígido
Disco rígidoDisco rígido
Disco rígido
 
Windows x Linux
Windows x LinuxWindows x Linux
Windows x Linux
 
Licenças de software
Licenças de softwareLicenças de software
Licenças de software
 
Arquiteturas PC X MAC
Arquiteturas PC X MACArquiteturas PC X MAC
Arquiteturas PC X MAC
 
Álgebra de Boole
Álgebra de BooleÁlgebra de Boole
Álgebra de Boole
 
Análise Combinatória
Análise CombinatóriaAnálise Combinatória
Análise Combinatória
 
Princípios de Contagem
Princípios de ContagemPrincípios de Contagem
Princípios de Contagem
 
Teoria dos Conjuntos
Teoria dos ConjuntosTeoria dos Conjuntos
Teoria dos Conjuntos
 
Recorrência
RecorrênciaRecorrência
Recorrência
 
Lógica Formal
Lógica FormalLógica Formal
Lógica Formal
 
Introdução a Teoria dos Grafos
Introdução a Teoria dos GrafosIntrodução a Teoria dos Grafos
Introdução a Teoria dos Grafos
 
Urbanização
UrbanizaçãoUrbanização
Urbanização
 
Guerra fria
Guerra friaGuerra fria
Guerra fria
 
Guerra mascates
Guerra mascatesGuerra mascates
Guerra mascates
 
Reformas pombalinas
Reformas pombalinasReformas pombalinas
Reformas pombalinas
 
Economia colonial
Economia colonialEconomia colonial
Economia colonial
 
Crise sistema colonial
Crise sistema colonialCrise sistema colonial
Crise sistema colonial
 
Barroco
BarrocoBarroco
Barroco
 

Kürzlich hochgeladen

ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024azulassessoria9
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024azulassessoria9
 
Quiz | Dia da Europa 2024 (comemoração)
Quiz | Dia da Europa 2024  (comemoração)Quiz | Dia da Europa 2024  (comemoração)
Quiz | Dia da Europa 2024 (comemoração)Centro Jacques Delors
 
Educação Financeira - Cartão de crédito665933.pptx
Educação Financeira - Cartão de crédito665933.pptxEducação Financeira - Cartão de crédito665933.pptx
Educação Financeira - Cartão de crédito665933.pptxMarcosLemes28
 
INTERTEXTUALIDADE atividade muito boa para
INTERTEXTUALIDADE   atividade muito boa paraINTERTEXTUALIDADE   atividade muito boa para
INTERTEXTUALIDADE atividade muito boa paraAndreaPassosMascaren
 
aula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.pptaula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.pptssuser2b53fe
 
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...azulassessoria9
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfAutonoma
 
Slide - SAEB. língua portuguesa e matemática
Slide - SAEB. língua portuguesa e matemáticaSlide - SAEB. língua portuguesa e matemática
Slide - SAEB. língua portuguesa e matemáticash5kpmr7w7
 
LENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretaçãoLENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretaçãoLidianePaulaValezi
 
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfApresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfcomercial400681
 
Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Cabiamar
 
P P P 2024 - *CIEJA Santana / Tucuruvi*
P P P 2024  - *CIEJA Santana / Tucuruvi*P P P 2024  - *CIEJA Santana / Tucuruvi*
P P P 2024 - *CIEJA Santana / Tucuruvi*Viviane Moreiras
 
Apresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União EuropeiaApresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União EuropeiaCentro Jacques Delors
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfTutor de matemática Ícaro
 
M0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxM0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxJustinoTeixeira1
 
Sistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturasSistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturasrfmbrandao
 
3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptxMarlene Cunhada
 
Camadas da terra -Litosfera conteúdo 6º ano
Camadas da terra -Litosfera  conteúdo 6º anoCamadas da terra -Litosfera  conteúdo 6º ano
Camadas da terra -Litosfera conteúdo 6º anoRachel Facundo
 

Kürzlich hochgeladen (20)

ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 3 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
ATIVIDADE 2 - DESENVOLVIMENTO E APRENDIZAGEM MOTORA - 52_2024
 
Quiz | Dia da Europa 2024 (comemoração)
Quiz | Dia da Europa 2024  (comemoração)Quiz | Dia da Europa 2024  (comemoração)
Quiz | Dia da Europa 2024 (comemoração)
 
Educação Financeira - Cartão de crédito665933.pptx
Educação Financeira - Cartão de crédito665933.pptxEducação Financeira - Cartão de crédito665933.pptx
Educação Financeira - Cartão de crédito665933.pptx
 
INTERTEXTUALIDADE atividade muito boa para
INTERTEXTUALIDADE   atividade muito boa paraINTERTEXTUALIDADE   atividade muito boa para
INTERTEXTUALIDADE atividade muito boa para
 
aula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.pptaula de bioquímica bioquímica dos carboidratos.ppt
aula de bioquímica bioquímica dos carboidratos.ppt
 
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
O desenvolvimento é um conceito mais amplo, pode ter um contexto biológico ou...
 
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdfatividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
atividade-de-portugues-paronimos-e-homonimos-4º-e-5º-ano-respostas.pdf
 
Slide - SAEB. língua portuguesa e matemática
Slide - SAEB. língua portuguesa e matemáticaSlide - SAEB. língua portuguesa e matemática
Slide - SAEB. língua portuguesa e matemática
 
LENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretaçãoLENDA DA MANDIOCA - leitura e interpretação
LENDA DA MANDIOCA - leitura e interpretação
 
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfApresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
 
Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024Historia de Portugal - Quarto Ano - 2024
Historia de Portugal - Quarto Ano - 2024
 
P P P 2024 - *CIEJA Santana / Tucuruvi*
P P P 2024  - *CIEJA Santana / Tucuruvi*P P P 2024  - *CIEJA Santana / Tucuruvi*
P P P 2024 - *CIEJA Santana / Tucuruvi*
 
Apresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União EuropeiaApresentação | Símbolos e Valores da União Europeia
Apresentação | Símbolos e Valores da União Europeia
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
 
M0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptxM0 Atendimento – Definição, Importância .pptx
M0 Atendimento – Definição, Importância .pptx
 
Sistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturasSistema articular aula 4 (1).pdf articulações e junturas
Sistema articular aula 4 (1).pdf articulações e junturas
 
3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx3 2 - termos-integrantes-da-oracao-.pptx
3 2 - termos-integrantes-da-oracao-.pptx
 
Camadas da terra -Litosfera conteúdo 6º ano
Camadas da terra -Litosfera  conteúdo 6º anoCamadas da terra -Litosfera  conteúdo 6º ano
Camadas da terra -Litosfera conteúdo 6º ano
 
Novena de Pentecostes com textos de São João Eudes
Novena de Pentecostes com textos de São João EudesNovena de Pentecostes com textos de São João Eudes
Novena de Pentecostes com textos de São João Eudes
 

Demonstrações

  • 1. Em Lógica, estudamos como demonstrar a validade de argumentos formais na forma P → Q. Neste contexto, a validade do argumento é absoluta (depende apenas da forma ou estrutura do argumento e não do conteúdo ou significado das proposições).
  • 2. No entanto, muitas vezes queremos provar argumentos que são verdadeiros em um determinado contexto (para uma interpretação particular). Queremos provar que P → Q é verdadeiro para um contexto específico. Podemos usar fatos que dependem do contexto como hipóteses e então provar que o argumento é verdadeiro (Teorema).
  • 3. Não existe uma receita para demonstração de Teoremas. Muitas vezes, é muito difícil demonstrar teoremas utilizando Lógica Formal. Existem técnicas de demonstração “menos formais”: ‣ não usam elementos das lógicas proposicional e de predicados; ‣ não são escritas passo a passo, com justificativas formais a cada passo. ‣ os passos de dedução e raciocínio são explicados em linguagem natural. Entretanto, essas demonstrações podem ser descritas com Lógica Formal.
  • 4. Conjectura • Podemos formular uma conjectura por meio de raciocínio indutivo ‣ concluir algo baseado na experiência • Podemos entender uma conjectura como um argumento que não se sabe se é verdadeiro ou não.
  • 5. Teorema • Se provamos que uma conjectura é verdadeira, então ela se torna um Teorema. ‣ Para isso podemos usar raciocínio dedutivo (técnicas de demonstração) • Podemos provar que uma conjectura é falsa encontrando um contra-exemplo (um caso em que P é verdadeiro e Q é falso)
  • 6. Exemplo • Prove ou encontre um contra-exemplo para a seguinte conjectura: ‣ “Para todo número inteiro positivo n, n! ≤ n2”.
  • 8. Sumário • Técnicas básicas de demonstração • Primeiro Princípio da Indução • Segundo Princípio da Indução
  • 9. Técnicas Básicas de Demonstração • Demonstração por Exaustão • Demonstração Direta • Demonstração por Contraposição • Demonstração por Absurdo
  • 10. Demonstração Exaustiva • Se uma conjectura é uma asserção sobre uma coleção finita de elementos, sua validade pode ser provada verificando-se se ela é verdadeira para cada elemento coleção. ‣ consiste em exaurir todos os casos possíveis.
  • 11. Exemplo • Prove a conjectura: ‣ “Se um inteiro entre 1 e 20 é divisível por 6, então ele é também divisível por 3”
  • 12. Demonstração Direta • Consiste em supor que a hipótese P é verdadeira e então deduzir a conclusão Q
  • 13. Exemplo • Prove a conjectura: ‣ Se x e y são números inteiros pares, então o produto xy é um número inteiro par.
  • 14. Sabemos que se z é um número inteiro par, então existe um número inteiro k, tal que z = 2k. (definição de um número par). Sejam x = 2m e y = 2n, onde m e n são inteiros. Então xy = (2m)(2n) = 2(2mn), onde 2mn é um inteiro. Logo o produto xy tem a forma 2k, onde k = 2mn é um inteiro, e, portanto, é par, como queríamos demonstrar
  • 15. Contraposição • Demonstração por contraposição consiste na técnica de provar P → Q através da demonstração direta de Q′ → P′. ‣ Sabemos que (Q′ → P′) → (P → Q) ‣ Q′ → P′ é a contrapositiva de (P → Q)
  • 16. Exemplo • Prove que a seguinte conjectura: ‣ Se n2 é ímpar, então n é ímpar.
  • 17. n2 é ímpar → n é ímpar A contrapositiva é: n é par → n2 é par Temos que n2 = nn Como n é par, n = 2k. Assim, n2 = 2k 2k = 2(k+k). Portanto, n2 é par.
  • 18. Demonstração por Absurdo • (P ∧ Q′ → 0) → (P → Q) é uma tautologia • Assim, para provar a conjectura P → Q, basta provar que P ∧ Q′ → 0 • Ou seja, em uma demonstração por absurdo, supomos que a hipótese e a negação da conclusão são ambas verdadeiras e tentamos deduzir uma contradição.
  • 19. Exemplo • Prove por absurdo a proposição: ‣ “Se um número somado a ele mesmo é igual a ele mesmo, então esse número é 0.” ‣ Se x+x=x, então x=0. ‣ x+x=x → x=0
  • 20. Proposição: x+x=x → x=0 Suponhamos P ∧ Q′ → 0: (x+x=x) ∧ (x≠0) → 0 Ou seja, x+x=x e x é diferente de zero. Assim, 2x=x e x≠0. Como x≠0, podemos dividir ambos os lados da primeira equação por x. Logo, 2x/x = x/x 2 = 1 O que é uma contradição, portando x+x=x → x=0.
  • 21. Técnica Abordagem para provar P → Q Observações Exaustão Demonstrar P → Q para todos os casos. É viável apenas para um número finito de casos. Direta Suponha P, deduza Q. Contraposição Suponha Q′, deduza P′. Absurdo Suponha P ∧ Q′, chegue a uma contradição. Indicada para os casos em que Q diz que algo não é verdade.
  • 22. Exercício • Prove as seguintes conjecturas: ‣ “Para todo inteiro positivo n, n2+n+1 é primo”; ‣ “Se n=25, 100 ou 169, então n é um quadrado perfeito e também é uma soma de dois quadrados perfeitos”; ‣ “a soma de dois inteiros ímpares é par”.
  • 23. Exercício • Demonstre que, dados dois números inteiros positivos x e y, ‣ x < y se, e somente se, x2 < y2
  • 24. Resumo • O raciocínio indutivo é usado para formular uma conjectura baseada na experiência. • O raciocínio dedutivo é usado para provar uma conjectura ou refutá-la através de um contra-exemplo. • Ao provar uma conjectura sobre algum assunto, pode-se usar fatos sobre o assunto.
  • 25. Problema? • Demonstre que: ‣ 1+2+3+...+n = [n(n+1)]/2 • Podemos usar demonstração exaustiva ou direta?
  • 26. Sumário • Técnicas básicas de demonstração • Primeiro Princípio da Indução • Segundo Princípio da Indução
  • 27. Demonstre que você consegue subir até o n-ésimo degrau de uma escada!
  • 28. Demonstre que você consegue subir até o n-ésimo degrau de uma escada!
  • 29. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! a) Eu consigo subir até o primeiro degrau.
  • 30. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! b) Estando no primeiro degrau, eu consigo subir até o segundo. a) Eu consigo subir até o primeiro degrau.
  • 31. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! b) Estando no primeiro degrau, eu consigo subir até o segundo. a) Eu consigo subir até o primeiro degrau. c) Estando no segundo degrau, eu consigo subir até o terceiro.
  • 32. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! b) Estando no primeiro degrau, eu consigo subir até o segundo. a) Eu consigo subir até o primeiro degrau. c) Estando no segundo degrau, eu consigo subir até o terceiro. ...
  • 33. Demonstre que você consegue subir até o n-ésimo degrau de uma escada!
  • 34. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! a) Eu consigo subir até o primeiro degrau.
  • 35. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! b) Se eu estou em algum degrau, eu consigo subir até o próximo. a) Eu consigo subir até o primeiro degrau.
  • 36. Demonstre que você consegue subir até o n-ésimo degrau de uma escada! b) Se eu estou em algum degrau, eu consigo subir até o próximo. a) Eu consigo subir até o primeiro degrau. Portanto, eu consigo subir n degraus.
  • 37. Primeiro Princípio de Indução Matemática P(1) ∧ (∀k)[P(k)→P(k+1)] →(∀n)P(n), k, n são inteiros positivos P(1) é a base da indução; (∀k)[P(k)→P(k+1)] é o passo indutivo, onde P(k) é a hipótese de indução.
  • 38. Passos para demonstração usando o primeiro princípio indução 1. Prove a base da indução 2. Suponha P(k) 3. Prove P(k+1)
  • 39. Exemplo • Demonstre que: ‣ 1+2+3+...+n = [n(n+1)]/2
  • 40. Exercício • Usando o primeiro princípio de indução, demonstre que: ‣ A soma dos n primeiros números ímpares é igual a n2. ‣ Para qualquer inteiro positivo n, o número 22n-1 é divisível por 3.
  • 41. Sumário • Técnicas básicas de demonstração • Primeiro Princípio da Indução • Segundo Princípio da Indução
  • 42. Segundo Princípio de Indução Se P(1) é verdade e (∀k)[P(r) → P(k+1), 1≤ r ≤ k, então (∀n)P(n)
  • 43. • Em geral, as propriedades podem ser demonstradas por ambas as formas de indução. Mas, para a maioria dos problemas, existe uma forma mais apropriada. ‣ A diferença entre as formas está apenas na hipótese de indução • Usamos a segunda forma quando: ‣ o problema se divide no meio ao invés de crescer em um dos lados. ‣ o caso k+1 depende de resultados anteriores a k
  • 44. Exemplo • Demonstre que para n ≥ 2, n é um número primo ou é um produto de números primos.
  • 45. Exemplo 2 • Prove que qualquer franquia postal, maior ou igual a 8 centavos, pode ser obtida usando-se selos de 3 e 5 centavos. ‣ P(n): para se obter n centavos em selos precisa- se apenas de selos de 3 e 5 centavos (n ≥ 8)
  • 46. Resumo • A Indução Matemática é uma técnica para provar propriedades de números inteiros positivos • Uma demonstração por indução não precisa começar com 1. • As propriedades podem ser demonstradas por qualquer um dos princípios de indução, mas uma das formas pode ser mais apropriada em cada caso.