※ 引述《scxKinsey (西欺板匿名專用)》之銘言：
:

: 如題
: Γ是無限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

線性代數

剛剛也想到了 英雄所見略同

= =

八卦真有愛 以為會回文作業自己寫

這是什麼領域的?

跟我想的作法差不多！

我承認我看不懂(○'ω'○)

你們到底在討論啥?題目看起來好像很利害的樣子

快推 不然別人以為我看不懂

還以為走到數學板

幹只看得懂前六行XDD

你把PTT拉回大學生高知識份子初衷了

嗯嗯 我也是這樣覺得

幹==老實說我超佩服寫的出這種東西的人

沒錯沒錯 看起來跟我想的差不多

跟我想的不一樣 不過我懶得寫了 給你一個推

大致上對 要不是睡覺時間到了 不然我也補充一些

快推不然別人以為我看不懂

謝了 本來睡不著 看完有比較好睡點了

感謝示範PTT的正確用法

嗯嗯我也是這樣想的

這一看就知道要用反證呀= = 所以set不是放置的意思?

樓上教我

看的懂推個

我看的懂每個字 但湊在一起就不懂了

你可不可以說中文Q_Q

原來是廠廠

文組的才看不懂

工三小

這什麼啊,沒看懂一個字

有點不確定為什麼推到'同一個truth-value assignment'

幹 不懂還亂嗆 不愧是八卦肥宅

樓上wwww

對不起我也看不懂我亂講的

看不懂啊幹

推，這樣解就對了（沒人知道我看不懂 科科）

我看不懂可以教我嗎

這是數學嗎？

你寫這樣文組看不懂啦~ 幹我看不懂

快推不然別人以為我看的懂

恩恩 你寫得差不多都對 不過中間有一兩句可以再修改一下

快推

快推 不然別人以為我看不懂

挖 我看不懂

跟我想的差不多 讚讚

嗯嗯我也這麼想

快推 推完我還是看不懂

謝謝尼

乾我承認我不懂

看不懂給推

摁摁差不多是這樣

會推

不懂

跟我想的差不多

1+1=1

文組QQ

蠻簡單的

不懂也要推一下

推

嗯嗯