作者ERT312 (馬上漸漸中毒~)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 21:20:23 2008
※ 引述《luciferii (路西瓜)》之銘言：
: 標題: Re: [請益] 邏輯句子的表達
: 時間: Mon Oct 13 00:45:43 2008
:
: 「只有碩士生可以修所有的研究所課程，而不用先修過任何的大學課程」
: 可以寫成(V表符號:for any, E表符號exists one)
:
: 學生x,研課y,大學課z 可修Allow,須修Need
: Vx, Vy, Vz
: ( (x Allow y) -> ~(x Need z) ) -> x是碩士生
:
: 或者可以等價
: (反過來寫可能比較清楚)
: Vx, Ey,Ez
: x不是碩士生 -> (x allow y) and (x Need z)
(P => (Q ^ R)) <=> ( (P=>Q) ^ (P=>R) )
這你大概不知道吧
照你的寫法，每個非碩士生都必須去修某門大學部的課囉
:
: 若x不是碩士生，則當x可修某門研究所課時，x須先修某門大學部的課
:
:
※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 59.121.6.59
: ※ 編輯: luciferii 來自: 59.121.6.59 (10/13 01:26)
: 推 aletheia:我不是很贊同用need這樣的述詞來解答這題 10/13 17:30
: 推 aletheia:不過沒有很強烈就對了 10/13 17:31
: 推 ERT312:他寫的是錯的! 10/13 20:37
明明路西瓜寫的就是錯的，怎麼還會"不是很贊同,不過沒有很強烈"?
我認為有兩種釋題的方式，第一種是較保守的釋題
但有時候可能不是出題者的本意
換句話說，這只是消極的排除法: 非碩士生就不能修所有的研究所課程
而不用先修過任何的大學課程
x代表學生
P(x)代表x是碩士生
y代表研究所的課，xQy代表 x可以修y
z代表大學部的課，xRz代表 x修過z
則寫成邏輯語句如下:
Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
但是如果題目又有這層意思:只要是碩士生，就可以修所有的研究所課程
而不用先修過任何的大學課程。
那麼必須再加上這句 VxVy (P(x) => xQy)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.116.237
※ 編輯: ERT312 來自: 118.171.116.237 (10/13 21:21)
1F：→ ERT312:忘了說了，這還不是一階邏輯語句，一階邏輯語句能用的符號 10/13 21:27
2F：→ ERT312:個數比英文字母(26個)還少。 10/13 21:28
3F：→ ERT312:看得懂的可能早就知道了，看不懂的我也無所謂。 10/13 21:30
4F：→ ERT312:本板似乎都是學哲學的吧，真的懂邏輯的肯發聲的好少 10/13 21:31
5F：→ ERT312:大多是被幾句術語會掉書袋，就自以為很懂邏輯 10/13 21:32
6F：→ ERT312:真的寫出邏輯語句又是另一回事了 10/13 21:33
※ 編輯: ERT312 來自: 118.171.116.237 (10/13 21:47)
※ 編輯: ERT312 來自: 118.171.116.237 (10/13 21:58)