Re: [請益] 邏輯句子的表達
※ 引述《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
推
10/13 21:50, , 1F
10/13 21:50, 1F
※ 編輯: jayfrog 來自: 140.114.196.36 (10/13 21:56)
※ 編輯: jayfrog 來自: 140.114.196.36 (10/13 22:05)
推
10/13 22:10, , 2F
10/13 22:10, 2F
→
10/13 22:10, , 3F
10/13 22:10, 3F
→
10/13 22:12, , 4F
10/13 22:12, 4F
→
10/13 22:12, , 5F
10/13 22:12, 5F
→
10/13 22:12, , 6F
10/13 22:12, 6F
→
10/13 22:13, , 7F
10/13 22:13, 7F
→
10/13 22:15, , 8F
10/13 22:15, 8F
→
10/13 22:15, , 9F
10/13 22:15, 9F
→
10/13 22:15, , 10F
10/13 22:15, 10F
→
10/13 22:17, , 11F
10/13 22:17, 11F
→
10/13 22:17, , 12F
10/13 22:17, 12F
→
10/13 22:17, , 13F
10/13 22:17, 13F
→
10/13 22:21, , 14F
10/13 22:21, 14F
→
10/13 22:22, , 15F
10/13 22:22, 15F
推
10/13 22:26, , 16F
10/13 22:26, 16F
→
10/13 22:26, , 17F
10/13 22:26, 17F
→
10/13 22:27, , 18F
10/13 22:27, 18F
→
10/13 22:28, , 19F
10/13 22:28, 19F
推
10/13 22:34, , 20F
10/13 22:34, 20F
討論串 (同標題文章)