Re: [中學] 強歸納法

看板Math作者 (Ar藤)時間9年前 (2014/09/25 02:05), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串3/3 (看更多)
推
09/25 00:45,
這例子我知道 拿掉某一隻馬x 和另一隻馬y 剩下的集
09/25 00:45
→
09/25 00:47,
合不一定有交集 所以P(k)=>P(k+1)無法證明
09/25 00:47
→
09/25 00:48,
等等喔 我沒看到修文XD
09/25 00:48
→
09/25 00:48,
因為要講的有點多所以直接修文XD
09/25 00:48
推
09/25 00:54,
這個例子我認為是 2~K可能為空集合 所以在inductive
09/25 00:54
→
09/25 00:54,
階段錯誤 是一個"假設錯誤 也無法證出P(k+1)"的例子
09/25 00:54
→
09/25 00:56,
但萬一有 假設錯 最後證出來怎麼辦xd 雖然我找不到
09/25 00:56
→
09/25 01:06,
換個方式思考這個例子, 它的推論在 K≧2 時確實成立
09/25 01:06
→
09/25 01:06,
所以 K=2 的狀況就是你所謂「假設錯但最後證出來」
09/25 01:06
→
09/25 01:07,
這裡的「假設錯」就是 N=2 不成立這件事
09/25 01:07
→
09/25 01:07,
你可以想像一個平行世界, 那裡任兩隻馬都確實同色
09/25 01:07
→
09/25 01:08,
這樣根據這個推論我們就能得到那世界的所有馬都同色
09/25 01:08
多謝L大的解釋 覺得頭腦有點打結了xd 馬的這個例子 已證 1. P(1) 2. P(1)^P(2)...P(K)=>P(K+1), when K>=2 但因為P(2)沒證，所以無法套用在base上 造成證明失敗 但會不會存在像下面的東西 1. P(1) 2. P(1)^P(2)...P(K)=>P(K+1), when K>=1 但 ================== 打到這我好像想通了 (但因為已經打了 不想刪文) 我一直卡在萬一像P(5)是錯的 結果P(1)^P(2)...P(K)=>P(K+1), when K>=1 被證出來怎麼辦 後來想想這不可能發生 證明過程中會像馬的例子一樣 必須多一個條件 K!=4 再次感謝L大的幫忙 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.137.23.134 ※ 文章網址: http://www.ptt.cc/bbs/Math/M.1411581944.A.846.html
‣ 更多 Arton0306 的文章
文章代碼(AID): #1K8mVuX6 (Math)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 3 之 3 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共3篇)
‣ 更多 Arton0306 的文章
文章代碼(AID): #1K8mVuX6 (Math)