数学的帰納法は循環論法では? (63レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
14: 2024/10/11(金)08:37 ID:dxAwosKn(1) AAS
(P(0) & ∀n∈N.[P(n)⇒P(n+1)]) ⇒ ∀n∈N.P(n)
あるいは同じことであるが
∃n∈N.¬P(n) ⇒(¬P(0) ⋁ ∃n∈N.[P(n)∧¬P(n+1)])
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.006s