作者jayfrog (若要人不宅 除非己莫宅)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 22:39:54 2008
※ 引述《jayfrog (若要人不宅 除非己莫宅)》之銘言：
: ※ 引述《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.存在著一堂所有學生修過大學部的課
: 所以說 今天如果我是大學生，應該就符合第二項吧
: 再來 第三項 我真的看不懂 可以解釋一下嗎？
只有碩士生可以修所有的研究所課程
而不用先修過任何的大學課程
如果 你的邏輯語句是這個意思的話
那第三項就有問題了
第三項是 Vx Ez xRz 是指 對所有的學生(碩士和大學生) 存在一堂大家都修過的課
可是 碩士生 明明就不用修大學部的課
所以說 第三項一定是錯的
所以說 我們只看前面兩項就好了
1.碩士生
2.沒修過一堂研究所的課
如果我今天是大學生，第二項會合，第一項不合
如果我今天是碩士生，第一項會合，第二項不合
可是 開頭是對所有的學生
所以說 只要我是學生 這句話就一定成立(因為是用ˇ連結)
那跟題目有什麼關係？
: : 但是如果題目又有這層意思:只要是碩士生，就可以修所有的研究所課程
: : 而不用先修過任何的大學課程。
: : 那麼必須再加上這句 VxVy (P(x) => xQy)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.114.196.36
1F：推 ERT312:你又忘了前面那兩項 10/13 22:41
2F：→ ERT312:Vx (x是男生 V x是女生)，你把它解讀成所有的x都是女生 10/13 22:42
3F：→ ERT312:當然不對 10/13 22:42
4F：→ ERT312:你的邏輯運算是對的，但是要學會怎麼掌握解讀 10/13 22:44
※ 編輯: jayfrog 來自: 140.114.196.36 (10/13 22:51)