作者jayfrog (若要人不宅 除非己莫宅)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 21:44:01 2008
※ 引述《ERT312 (馬上漸漸中毒~)》之銘言：
: x代表學生
: P(x)代表x是碩士生
: y代表研究所的課，xQy代表 x可以修y
: z代表大學部的課，xRz代表 x修過z
: 則寫成邏輯語句如下:
: Vx ( (EzVy ~P(x)^xQy) => xRz )
Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
=> Vx ( Ey P(x)ˇ~xQy ˇ (Ez xRz ) 應該沒錯吧 P=>Q ≡ ~PˇQ
對所有的學生，存在著著一堂研究所的課
只要是碩士生或是沒修過研究所的課或是存在著一堂學生修過的大學部的課
所以可以推出這個學生一定是下面三者的其中一種或兩種、三種
1.碩士生
2.沒修過一堂研究所的課
3.存在著一堂所有學生修過大學部的課
所以說 今天如果我是大學生，應該就符合第二項吧
再來 第三項 我真的看不懂 可以解釋一下嗎？
恩…… 其實我不知道 這一句的原文是什麼
: 但是如果題目又有這層意思:只要是碩士生，就可以修所有的研究所課程
: 而不用先修過任何的大學課程。
: 那麼必須再加上這句 VxVy (P(x) => xQy)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.114.196.36
1F：推 ERT312:抱歉，我多打了一個括號，已修正 10/13 21:50
※ 編輯: jayfrog 來自: 140.114.196.36 (10/13 21:56)
※ 編輯: jayfrog 來自: 140.114.196.36 (10/13 22:05)
2F：推 ERT312:第三項那堂課，並不是所有學生共同修過的 10/13 22:10
3F：→ ERT312:可能x1修過z1,x2修過z2,... 10/13 22:10
4F：→ ERT312:但對某個x而言 第三項不一定要成立，因為還有前兩項 10/13 22:12
5F：→ jayfrog:因為你開頭是對所有的學生 所以 括號後面是對所有的學生 10/13 22:12
6F：→ jayfrog:所加的說明 10/13 22:12
7F：→ ERT312:x是變數喔 10/13 22:13
8F：→ ERT312:你可以把它想成x是任何一個學生，把x帶入後面的式子都成立 10/13 22:15
9F：→ jayfrog:x不是代表學生嗎？ 而Vx 就是指所有的學生啊 10/13 22:15
10F：→ ERT312:但是每次只能代"一"個 10/13 22:15
11F：→ ERT312:Vx Ey (x+y=0) 看過這種式子吧,這與 Ey Vx (x+y=0) 不同喔 10/13 22:17
12F：→ jayfrog:恩…每次只能代一個 可是所有的學生代進去都會合的 10/13 22:17
13F：→ ERT312:you got it 10/13 22:17
14F：→ jayfrog:Vx Ez xRz 對所有的學生存在著一堂課 他們都修過 10/13 22:21
15F：→ jayfrog:大學部的 所以說只要我是大學生 二 三項都會合 10/13 22:22
16F：推 ERT312:應該說，如果你不是碩士生，那麼至少有一堂研究所的課 10/13 22:26
17F：→ ERT312:不能修，或是至少有一堂大學部的課你修過。 10/13 22:26
18F：→ jayfrog:為什麼？ 10/13 22:27
19F：→ jayfrog:沒修過跟不能修 是兩回事吧 你沒吃飯 跟你不能吃飯差很吧 10/13 22:28
20F：推 ERT312:建議你看一下原po的題目 10/13 22:34