数学的帰納法 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)] と勘違いしていました。