作者:
ADHD (注意力不足過動症)
2017-02-02 02:24:19※ 引述《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
作者: aynmeow (只有我跟喵喵) 2017-02-02 03:52:00
剛剛也想到了 英雄所見略同
作者:
Comebuy (三分é˜ç†±åº¦)
2017-02-02 03:33:00= =
作者:
DerekLo (汗臭肥宅)
2017-02-02 03:31:00八卦真有愛 以為會回文作業自己寫
作者: robinyu85 (台灣萬歲) 2017-02-02 03:27:00
這是什麼領域的?
作者: baritone7563 (翰哥) 2017-02-02 03:24:00
跟我想的作法差不多！
作者: kiminocodo 2017-02-02 03:23:00
我承認我看不懂(○'ω'○)
作者:
tw2000 (打個冷顫)
2017-02-02 03:21:00你們到底在討論啥?題目看起來好像很利害的樣子
作者: a8824031 (邱維尼) 2017-02-02 03:16:00
快推 不然別人以為我看不懂
作者:
laplacian (laplacian)
2017-02-02 03:06:00還以為走到數學板
作者:
einejack (騎小強撞坦克)
2017-02-02 03:08:00幹只看得懂前六行XDD
作者:
Dinenger (低能兒)
2017-02-02 02:58:00嗯嗯 我也是這樣覺得
作者:
look1214 (Swatch)
2017-02-02 02:57:00幹==老實說我超佩服寫的出這種東西的人
作者: wsxqaz3465 2017-02-02 02:55:00
沒錯沒錯 看起來跟我想的差不多
作者:
pp787753 (富士山下智久)
2017-02-02 02:51:00大致上對 要不是睡覺時間到了 不然我也補充一些
作者:
wasijohn (咖咩哈咩哈)
2017-02-02 02:51:00快推不然別人以為我看不懂
作者:
jhoujhou (JhouChipa)
2017-02-02 02:50:00謝了 本來睡不著 看完有比較好睡點了
作者: souptb (湯匙) 2017-02-02 02:47:00
嗯嗯我也是這樣想的
這一看就知道要用反證呀= = 所以set不是放置的意思?
作者:
mowru (一隻咩)
2017-02-02 02:43:00樓上教我
作者:
iPad8 (哭哭喔)
2017-02-02 02:41:00我看的懂每個字 但湊在一起就不懂了
作者:
v3aa7n (薰)
2017-02-02 02:38:00你可不可以說中文Q_Q
作者:
m21423 (WSH)
2017-02-02 02:37:00原來是廠廠
作者: Zombieslayer 2017-02-02 02:37:00
文組的才看不懂
作者:
NSYSUKING (台服布里茨最後希望)
2017-02-02 02:35:00工三小
作者:
furnaceh (furnaceh)
2017-02-02 02:33:00這什麼啊,沒看懂一個字
有點不確定為什麼推到'同一個truth-value assignment'
作者: a1551 (小馬怪之歌) 2017-02-02 02:31:00
幹 不懂還亂嗆 不愧是八卦肥宅
作者:
mowru (一隻咩)
2017-02-02 02:30:00樓上wwww
作者:
lolic (lolic)
2017-02-02 02:30:00對不起我也看不懂我亂講的
作者:
mftd (Mda)
2017-02-02 02:28:00推，這樣解就對了（沒人知道我看不懂 科科）
作者:
buke (一坪的海岸線)
2017-02-02 02:26:00這是數學嗎？
作者:
goldcity5 (I see you)
2017-02-02 02:26:00你寫這樣文組看不懂啦~ 幹我看不懂
作者:
kfactor (三奈見)
2017-02-02 02:26:00快推不然別人以為我看的懂
作者:
lolic (lolic)
2017-02-02 02:26:00恩恩 你寫得差不多都對 不過中間有一兩句可以再修改一下
作者:
SimonDAY (DaLaLaDoDoLu)
2017-02-02 02:26:00快推
作者:
mowru (一隻咩)
2017-02-02 02:25:00快推 不然別人以為我看不懂
作者:
s1012518 (Oloter)
2017-02-02 02:25:00挖 我看不懂
作者: lovejay6602 (Mr yee) 2017-02-02 04:18:00
跟我想的差不多 讚讚
作者:
t700 (JP)
2017-02-02 04:19:00嗯嗯我也這麼想
作者:
sinwe (青菜抵家啦)
2017-02-02 04:22:00快推 推完我還是看不懂
作者:
positMIT (MarineQueen)
2017-02-02 04:26:00謝謝尼
作者:
father7 (father7)
2017-02-02 04:38:00摁摁差不多是這樣
作者:
n8072 (Spd)
2017-02-02 05:01:00會推
作者:
fhscyt (虎侯)
2017-02-02 05:29:00不懂
作者: KarathansiS (KarathansiS) 2017-02-02 07:42:00
嗯嗯