Re: [請益] 邏輯句子的表達

[ERT312 (馬上漸漸中毒~)]

※ 引述《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)
→ ERT312:忘了說了，這還不是一階邏輯語句，一階邏輯語句能用的符號
→ ERT312:個數比英文字母(26個)還少。
→ ERT312:看得懂的可能早就知道了，看不懂的我也無所謂。
→ ERT312:本板似乎都是學哲學的吧，真的懂邏輯的肯發聲的好少
→ ERT312:大多是被幾句術語會掉書袋，就自以為很懂邏輯
→ ERT312:真的寫出邏輯語句又是另一回事了
※ 編輯: ERT312          來自: 118.171.116.237      (10/13 21:47)
※ 編輯: ERT312          來自: 118.171.116.237      (10/13 21:58)