作者xcycl (XOO)
看板Math
標題Re: [其他] 關於數學歸納法的證明
時間Tue Feb 11 13:56:15 2014
※ 引述《cybrog (cybrog)》之銘言：
: 我想請問一下
: 數學歸納法證明
: 假設F={n屬於正整數│P(n)為假}
: 而之後證明是證明F=空集合 成立
: 不太了解他的假設是怎麼來的@@
數學歸納法其實就是證明
當 P(0) 成立以及 P(n) -> P(n+1) 成立，則
S = { n \in N | P (n) 成立 } = N
不過我們知道 F = N - S 所以用歸納法證明 S = N 後，就得到 F 為空集合。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 36.232.129.73
推 cybrog :還是有些不懂@@ 02/12 14:30
→ cybrog :這個定義是來證明數學歸納法是對的 02/12 14:30
→ cybrog :那他那個假設F={....} 是什麼意思呢 02/12 14:31
→ cybrog :我主要的問題是那一句的想法解釋 02/12 14:31
→ cybrog :抱歉 請各位大大幫忙回答了 02/12 14:31
→ recorriendo :反證的概念 "F=空集"等價"沒有正整數n使得P(n)為假" 02/13 13:08