作者luciferii (路西瓜)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 00:45:43 2008
※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
其实看太不懂所谓的盲点在哪里?
: 例二)
: 如果英文老师说:「只有英文及格的人可以吃巧克力」
: "英文及格的人"不再只是个个体，而是个集合，这时候就会有模拟两可的语意。
: 可能全班的学生都会这样解读:
: 英文及格的人可以吃巧克力，英文不及格的人不能吃巧克力。
: 但是如果数学老师也接着说:「只有数学及格的人可以吃巧克力」
: 这时候我们会发现，如果要同时履行英文老师跟数学老师的旨意
要同时履行，只有一种方式
就是数学和英文同时都及格的人可以吃巧克力。
: 那麽把英文老师的语意解读成:"英文及格的人可以吃巧克力，
: 英文不及格的人不能吃巧克力。" 会出现问题。
: 英文及格但是数学不及格的人能不能吃巧克力?
引用数学老师的规定，当然是不行。
这应该是简单的交集联集问题，与矛盾句和诡论都无关。
: 要安全的解读「只有英文及格的人可以吃巧克力」
: 应该是:英文不及格就不能吃巧克力，但是英文及格是否就能吃巧克力，则没有断言。
: 不过我相信这不会是英文老师的本意。
: 生活用语偶尔会有模拟两可的时候，这是我所谓的盲点，我没说过原题有矛盾。
: 现在回到原题:「只有硕士生可以修所有的研究所课程，而不用先修过任何的大学课程」
: 到底有没有:"所有硕士生都可以修所有的研究所课程，而不用先修过任何的大学课程"
: 的意思? 不同的解题当然会有不同的逻辑语句。
如果对语句有岐义，可以提出不同的释意来讨论看看?
「只有硕士生可以修所有的研究所课程，而不用先修过任何的大学课程」
可以写成(V表符号:for any, E表符号exists one)
学生x,研课y,大学课z 可修Allow,须修Need
Vx, Vy, Vz
( (x Allow y) -> ~(x Need z) ) -> x是硕士生
或者可以等价
(反过来写可能比较清楚)
Vx, Ey,Ez
x不是硕士生 -> (x allow y) and (x Need z)
若x不是硕士生，则当x可修某门研究所课时，x须先修某门大学部的课
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.6.59
※ 编辑: luciferii 来自: 59.121.6.59 (10/13 01:26)
1F：推 aletheia:我不是很赞同用need这样的述词来解答这题 10/13 17:30
2F：推 aletheia:不过没有很强烈就对了 10/13 17:31
3F：推 ERT312:他写的是错的! 10/13 20:37
4F：→ yauhh:哦,哪里错你倒是说啊! 错错错,只会说别人错却不会讲理由! 10/14 11:50
5F：推 tbhou:我是们外汉,最後一句看起来很合理 10/29 12:15