作者ksmrt0123 (ksmrt)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Tue Oct 14 05:43:27 2008
看完所有的讨论, 我觉得
某些争论的原因在对题意之解读不同,
例如 『只有硕士生可以修所有的研究所课程』这句话里的
所有的就有不同的解释. ERT312 应是把其当成「全部」解释, 就算一个
非硕士生没修过任何大学课程, 他(or她)还是可以修研究所的课,
只要不要全修就好.
我个人是认为那个所有的应解读为「任何」, 语意同
『所有的逻辑相关课程你都可以修』 (但你不必全修)
所以原题意我的解读是, 非硕士生要符合某些先修条件(即原题
的第二句)才能修研究所的课.
回归原题, 我的式子如下
(黄色^Axy是经ERT312指正後新加上去的):
VxVy((Mx^Gy->Axy)^(~Mx^Gy
^Axy->Ez(Uz^Pxz))), 其中
x: 学生
y,z: 课程
Mx: x为硕士生
Gy: y为研究所课程
Uz: z为大学课程
Axy: x可修y
Pxz: x先修过z课程
参考参考...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 219.68.71.218
※ 编辑: ksmrt0123 来自: 219.68.71.218 (10/14 19:52)