作者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