[obm-l] Re: [obm-l] Re: Indução dúvida

Sim, a estrutura me parece correta. 2016-01-18 15:47 GMT-02:00 Israel Meireles Chrisostomo < israelmchrisost...@gmail.com>: > Por exemplo, eu quero provar que f(n)>c para todo n inteiro.Então, eu > provei o caso base,e considerei a hipótese de indução, suponha que é válido > para um k que f(k)>c

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Indução dúvida

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

[obm-l] Re: [obm-l] Re: [obm-l] Indução dúvida

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

Re: [obm-l] Re: Re: Livros

Olá gente, eu tenho os dois livros em espanhol: *PROBLEMAS DE ALTA DIFICULDAD - 300 Problemas Resolvidos* *Métodos Alternativos para a Resolução de Equações e Inequações - 350 Problemas Resolvidos*, e posso vender por 140 reais os DOIS, incluindo a postagem nos correios! Em 19 de janeiro de 2016

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Indução dúvida

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

[obm-l] Re: Re: Livros

Muito obrigado também. Aproveitando, alguém teria livros do Andreescu para compartilhar? Em Mon, 18 Jan 2016 22:35:57 -0200 Vanderlei Nemitz escreveu: > Muito obrigado!!! > > Em 18 de janeiro de 2016 22:20, Mauricio de Araujo < > mauricio.de.ara...@gmail.com>