16/04/30 01:02:04.09 tuP7vlPP.net
>>179
n≦kでの成立を仮定するスタイルの帰納法で∀n,P(n)を証明するのと、
n＝kでの成立を仮定するスタイルの帰納法で∀n,k≦n⇒P(k)を証明するのとは、
文章の細部が違うだけで、ほぼ同じ流れの証明だよ。
区別する必要が、あまり無い。
16/04/30 01:02:04.09 tuP7vlPP.net
>>179
n≦kでの成立を仮定するスタイルの帰納法で∀n,P(n)を証明するのと、
n＝kでの成立を仮定するスタイルの帰納法で∀n,k≦n⇒P(k)を証明するのとは、
文章の細部が違うだけで、ほぼ同じ流れの証明だよ。
区別する必要が、あまり無い。