- 308 名前：(ﾉ∀`)ｱﾁｬｰ [2021/11/05(金) 16:53:27.89 ID:j5fczyhM.net]
- 高校生でも知っといてバチあたらない話
数学的帰納法
P(0)∧∀m.P(m)⇒P(s(ｍ))⇒∀n.P(n)
（0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき
任意のnでPが成りたつ）
の対偶は
∃n.¬P(n)⇒¬P(0)∨∃m.(P(m)∧¬P(s(m))
（Pが成立しないnが存在する場合、0でPが成立しないか、
あるmが存在し、mではPが成立するがs(m)ではPが成立しない）
