goo blog サービス終了のお知らせ 

数学

数学全般

数学的帰納法

2012-07-31 07:59:00 | その他
(1) P(1) が成り立つ
(2) ∀k [P(k) ⇒ P(k+1)] が成り立つ
∀の n のP(n) 成り立つ

論理記号学で書くと、上記のようになります。

私は、[∀k P(k) ⇒ ∀k P(k+1)] と勘違いしていました。