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
3 matches
Mail list logo
