Eu estava pesquisando e encontrei algo sobre o condicional, o que eu estou
tentando provar é o condicional P(n)->P(n+1) mas a negação do condicional
P->Q é P^~Q, em outras palavras ~(P->Q)= P^~Q, no nosso caso teríamos
~(P(n)->P(n+1))=P(n)^~P(n+1), o que eu provei é que P(n) e ~P(n+1) implicam
que
Eu estava pesquisando e encontrei algo sobre o condicional, o que eu estou
tentando provar é o condicional P(n)->P(n+1) mas a negação do condicional
P->Q é P^~Q, em outras palavras ~(P->Q)= P^~Q, no nosso caso teríamos
~(P(n)->P(n+1))=P(n)^~P(n+1), o que eu provei é que P(n) e ~P(n+1) implicam
que
Ola' pessoal,
me parece que a forma de pensar do Israel esta' perfeita.
A duvida dele se refere ao salto "se P(n) e' verdadeira" entao "P(n+1) e'
verdadeira".
Pois ele supos que se P(n) vale, entao, se P(n+1) fosse falsa, e ele
obtivesse a contradicao de que P(n+1) e' verdadeira, entao o salto est
Oi, Israel.
Realmente muita gente faz essa confusao. Voce quer provar que
"Para todo n natural, P(n) eh VERDADEIRA."
O metodo de inducao, em sua versao mais simples, diz que basta mostrar duas
coisas:
i) P(1) eh VERDADEIRA
ii) Para todo k natural, (P(k)->P(k+1)).
Note com cuidado onde estao o
Em uma prova por indução, eu devo provar que P(n) implica P(n+1).Eu posso
fazer isso da seguinte forma: suponha que P(n) é verdadeira, e suponha que
P(n+1) é falsa, mas ao supor que P(n) é verdadeira e P(n+1) é falsa isto
implica que P(n+1) é verdadeira(contradição, pois supomos que P(n+1) é
falsa
5 matches
Mail list logo