[obm-l] Re: [obm-l] Re: [obm-l] Indução forte vs fraca

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

[obm-l] Re: [obm-l] Re: [obm-l] Indução forte vs fraca

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

[obm-l] Re: [obm-l] Indução forte vs fraca

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