※ 本文為 MindOcean 轉寄自 ptt.cc 更新時間: 2017-02-02 19:03:05
看板 Gossiping
作者 標題 Re: [問卦] 熬一整夜作業還是寫不出來怎麼辦
時間 Thu Feb 2 02:24:19 2017
※ 引述《scxKinsey (西欺板匿名專用)》之銘言：
: http://i.imgur.com/TOTzALz.png
![[圖]](http://i.imgur.com/TOTzALz.png)
: Γ是無限set的情況掰不出來
: 一鐘頭後直接交上去應該扣一半吧
: 上網找也找不到解答 因為課本是教授寫的 有事沒事還會更新一下
: 難道我就只能被教授肛了嗎 還是要先發制人肛了教授先?
: 卦?
隨便試試看
如果對你有幫助就好了
講個我自己想了一下大概的想法
要直接證有點難
用矛盾來證的話
那就變成
假設所有的集合delta(三角形) 不|= A delta為所有可能的Γ的子集合
這樣的假設會導出矛盾
所以必定有些delta |= A
我們開始推導
delta 不|= A代表的是
存在一些真值分配(truth value assignment)使得
delta為真而A為假
*
我們假設集合Γ中存在真值函數(truth function){a1,a2,.........ai,....}
我們現在依序做出一些delta
delta1 {a1}
delta2 {a1,a2}
.
.
.
.
.
deltai {a1,a2.....ai}
而我們知道對於每一個deltai而言每一個deltar 其中r<=i
deltar都是deltai的子集合
如果有一個真值分配使得deltai為真A為假
則也會使得deltar為真而A為假
每一個有限集合deltai都有另一個有限集合(delta(i+1))是他的父集合
根據假設
每一個可能的子集合delta都 不|= A(也就是存在真值分配使得delta為真A為假)
因此存在真值分配使得所有的deltai為真而A為假 i為任意正整數
現在
我們把每一個有限集合deltai都聯集起來 其中i從1到無限大
而根據剛剛的*的推論
存在"同一個"真值分配使得每一個不同的delta為真而A為假
這樣的真值分配使得所有delta的聯集也為真 而同時A為假
在這邊
所有delta的聯集就是Γ
而Γ為真A為假代表的就是 Γ 不|= A
與前提矛盾
因此必定存在delta為Γ的有限集合 使得delta |= A
中間有些地方可能還需要證
可能就要麻煩你自己了QQ
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.45.204.121
※ 文章代碼(AID): #1OaYVNIG (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1485973463.A.490.html
→ : 挖 我看不懂1F 02/02 02:25
→ : 快推 不然別人以為我看不懂2F 02/02 02:25
我沒上過啦QQ自己想了一下希望有幫助QQ
說不定是錯的QQ
推 : 恩恩 你寫得差不多都對 不過中間有一兩句可以再修改一下3F 02/02 02:26
敬請指教QQ推 : 快推4F 02/02 02:26
→ : 快推不然別人以為我看的懂5F 02/02 02:26
→ : 你寫這樣文組看不懂啦~ 幹我看不懂6F 02/02 02:26
推 : 這是數學嗎？7F 02/02 02:26
推 : 我看不懂可以教我嗎8F 02/02 02:27
推 : 推，這樣解就對了（沒人知道我看不懂 科科）9F 02/02 02:28
推 : 看不懂啊幹10F 02/02 02:29
推 : 對不起我也看不懂我亂講的11F 02/02 02:30
推 : 樓上wwww12F 02/02 02:30
推 : 幹 不懂還亂嗆 不愧是八卦肥宅13F 02/02 02:31
推 : 有點不確定為什麼推到'同一個truth-value assignment'14F 02/02 02:31
因為每一個使得deltai為真而A為假的真值分配都可以使它前面的子集合為真而A為假
所有的有限子集合都是不蘊含 (提供了所有有限集合一個個例)
然後後面的集合必定包含前面的集合 (從最後一個個例推回到前面的個例)
所以一定至少有一個真值分配使得全部都為真A為假
這樣不知道有沒有解釋到
推 : 這什麼啊,沒看懂一個字15F 02/02 02:33
推 : 工三小16F 02/02 02:35
推 : 文組的才看不懂17F 02/02 02:37
推 : 原來是廠廠18F 02/02 02:37
推 : 你可不可以說中文Q_Q19F 02/02 02:38
推 : 我看的懂每個字 但湊在一起就不懂了20F 02/02 02:41
推 : 看的懂推個21F 02/02 02:42
→ : 樓上教我22F 02/02 02:43
→ : 這一看就知道要用反證呀= = 所以set不是放置的意思?23F 02/02 02:44
推 : 嗯嗯我也是這樣想的24F 02/02 02:47
推 : 感謝示範PTT的正確用法25F 02/02 02:49
推 : 謝了 本來睡不著 看完有比較好睡點了26F 02/02 02:50
推 : 快推不然別人以為我看不懂27F 02/02 02:51
推 : 大致上對 要不是睡覺時間到了 不然我也補充一些28F 02/02 02:51
推 : 跟我想的不一樣 不過我懶得寫了 給你一個推29F 02/02 02:53
推 : 沒錯沒錯 看起來跟我想的差不多30F 02/02 02:55
推 : 幹==老實說我超佩服寫的出這種東西的人31F 02/02 02:57
推 : 嗯嗯 我也是這樣覺得32F 02/02 02:58
推 : 你把PTT拉回大學生高知識份子初衷了33F 02/02 02:59
推 : 還以為走到數學板34F 02/02 03:06
推 : 幹只看得懂前六行XDD35F 02/02 03:08
→ : 快推 不然別人以為我看不懂36F 02/02 03:16
推 : 你們到底在討論啥?題目看起來好像很利害的樣子37F 02/02 03:21
推 : 我承認我看不懂(○'ω'○)38F 02/02 03:23
推 : 跟我想的作法差不多！39F 02/02 03:24
推 : 這是什麼領域的?40F 02/02 03:27
推 : 八卦真有愛 以為會回文作業自己寫41F 02/02 03:31
推 : = =42F 02/02 03:33
推 : 線性代數43F 02/02 03:51
這是一階邏輯啦XDD推 : 剛剛也想到了 英雄所見略同44F 02/02 03:52
※ 編輯: ADHD (114.45.204.121), 02/02/2017 04:00:55推 : 跟我想的差不多 讚讚45F 02/02 04:18
推 : 嗯嗯我也這麼想46F 02/02 04:19
推 : 快推 推完我還是看不懂47F 02/02 04:22
→ : 謝謝尼48F 02/02 04:26
推 : 乾我承認我不懂49F 02/02 04:27
推 : 看不懂給推50F 02/02 04:30
推 : 摁摁差不多是這樣51F 02/02 04:38
推 : 會推52F 02/02 05:01
推 : 不懂53F 02/02 05:29
推 : 跟我想的差不多54F 02/02 06:26
推 : 1+1=155F 02/02 06:47
推 : 文組QQ56F 02/02 06:54
推 : 蠻簡單的57F 02/02 06:56
推 : 不懂也要推一下58F 02/02 07:36
→ : 推59F 02/02 07:40
推 : 嗯嗯60F 02/02 07:42
推 : 三樓XD61F 02/02 07:57
推 : 什麼機率與統計？林北被當啦幹62F 02/02 08:12
推 : 靠背我還真的看不懂XDDD63F 02/02 08:58
推 : 看不懂辣64F 02/02 09:18
推 : 這些東西以前我只有考試前後一星期認得而已65F 02/02 09:25
推 : Delta嘛…我知道啊66F 02/02 09:33
推 : 這我知道 微積分嘛67F 02/02 09:35
推 : 這什麼碗糕啊!!!68F 02/02 09:38
推 : 正確69F 02/02 10:16
推 : 幹原來我是文組的70F 02/02 11:10
推 : 77777777777777771F 02/02 11:10
推 : 強72F 02/02 11:32
推 : 我書讀得少 你不要騙我73F 02/02 11:36
推 : 我也是這樣想74F 02/02 11:39
推 : 好啦 給你推 寫白話文可以嗎？75F 02/02 12:05
推 : 所我也只看得懂前六行XD76F 02/02 12:29
推 : 推77F 02/02 13:27
推 : 跟我想的差不多78F 02/02 13:43
推 : 英文題? A走道福爾摩沙 看到全家跟賽百味 其他樓下翻79F 02/02 16:26
--
※ 看板: Gossiping 文章推薦值: 0 目前人氣: 0 累積人氣: 1722
2樓 時間: 2017-02-02 12:47:55 (台灣)
→
02-02 12:47 TW
傳說中的數理邏輯.... 是要證明 一致性可以導出完全性嗎? 還是說是要證明 完全性可以導出一致性? 這問題會用到 傳說中的 哥德爾不完全性定理...
回列表(←)
分享