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