Entendi Ralph, sua explicação respondeu minhas dúvidas!
Abraço.
Em 17 de junho de 2017 11:34, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:
> Muito obrigado gente!Vcs me ajudaram muito!
> Abraços
>
> Em 17 de junho de 2017 11:07, Ralph Teixeira escreveu:
>
>> Sim, isso eh
Muito obrigado gente!Vcs me ajudaram muito!
Abraços
Em 17 de junho de 2017 11:07, Ralph Teixeira escreveu:
> Sim, isso eh uma demonstracao valida por inducao finita! Na minha opiniao,
> nem precisa formalizar muito mais -- a IDEIA da inducao como voce propos eh
> bastante comum, entao dah para e
Sim, isso eh uma demonstracao valida por inducao finita! Na minha opiniao,
nem precisa formalizar muito mais -- a IDEIA da inducao como voce propos eh
bastante comum, entao dah para escrever direto algo como voce disse, assim:
a) Provo P(1) e P(2);
b) Provo que P(k-1) e P(k) implicam P(k+1) para k
3 matches
Mail list logo