看板 Gossiping作者 ADHD (注意力不足過動症)標題 Re: [問卦] 熬一整夜作業還是寫不出來怎麼辦時間 Thu Feb 2 02:24:19 2017
※ 引述《scxKinsey (西欺板匿名專用)》之銘言:
: 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
→ mowru: 快推 不然別人以為我看不懂2F 02/02 02:25
我沒上過啦QQ
自己想了一下希望有幫助QQ
說不定是錯的QQ
推 lolic: 恩恩 你寫得差不多都對 不過中間有一兩句可以再修改一下3F 02/02 02:26
敬請指教QQ
→ kfactor: 快推不然別人以為我看的懂5F 02/02 02:26
推 buke: 這是數學嗎?7F 02/02 02:26
推 mftd: 推,這樣解就對了(沒人知道我看不懂 科科)9F 02/02 02:28
推 lolic: 對不起我也看不懂我亂講的11F 02/02 02:30
推 mowru: 樓上wwww12F 02/02 02:30
推 a1551: 幹 不懂還亂嗆 不愧是八卦肥宅13F 02/02 02:31
推 sindarin: 有點不確定為什麼推到'同一個truth-value assignment'14F 02/02 02:31
因為每一個使得deltai為真而A為假的真值分配
都可以使它前面的子集合為真而A為假
所有的有限子集合都是不蘊含 (提供了所有有限集合一個個例)
然後後面的集合必定包含前面的集合 (從最後一個個例推回到前面的個例)
所以一定至少有一個真值分配使得全部都為真A為假
這樣不知道有沒有解釋到
推 m21423: 原來是廠廠18F 02/02 02:37
推 v3aa7n: 你可不可以說中文Q_Q19F 02/02 02:38
推 iPad8: 我看的懂每個字 但湊在一起就不懂了20F 02/02 02:41
→ mowru: 樓上教我22F 02/02 02:43
→ trohlens: 這一看就知道要用反證呀= = 所以set不是放置的意思?23F 02/02 02:44
推 souptb: 嗯嗯我也是這樣想的24F 02/02 02:47
推 jhoujhou: 謝了 本來睡不著 看完有比較好睡點了26F 02/02 02:50
推 pp787753: 大致上對 要不是睡覺時間到了 不然我也補充一些28F 02/02 02:51
推 look1214: 幹==老實說我超佩服寫的出這種東西的人31F 02/02 02:57
推 GreatHong: 你把PTT拉回大學生高知識份子初衷了33F 02/02 02:59
→ a8824031: 快推 不然別人以為我看不懂36F 02/02 03:16
推 tw2000: 你們到底在討論啥?題目看起來好像很利害的樣子37F 02/02 03:21
推 DerekLo: 八卦真有愛 以為會回文作業自己寫41F 02/02 03:31
這是一階邏輯啦XDD
推 aynmeow: 剛剛也想到了 英雄所見略同44F 02/02 03:52
※ 編輯: ADHD (114.45.204.121), 02/02/2017 04:00:55
推 t700: 嗯嗯我也這麼想46F 02/02 04:19
推 sinwe: 快推 推完我還是看不懂47F 02/02 04:22
推 n8072: 會推52F 02/02 05:01
推 tfhkrt: 什麼機率與統計?林北被當啦幹62F 02/02 08:12
推 cloudin: 靠背我還真的看不懂XDDD63F 02/02 08:58
推 mocca000: 這些東西以前我只有考試前後一星期認得而已65F 02/02 09:25
推 CCMg: Delta嘛…我知道啊66F 02/02 09:33
推 az753951: 77777777777777771F 02/02 11:10
推 x80307: 我書讀得少 你不要騙我73F 02/02 11:36
推 s87087: 英文題? A走道福爾摩沙 看到全家跟賽百味 其他樓下翻79F 02/02 16:26
--