作者luciferii (路西瓜)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 23:40:01 2008
※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
: 「不必先修过」代表「不用修」，而不是「没修过」
: 玩字游戏好好玩
这好像是基本语意学，而且看不出来哪里可以有误解或歧义?
又要回到无意义的指责基础逻辑与逻辑了吗?
说逻辑版乱搞不友善的也是你，一直发火发些题外话的也是你，倒底想怎样?
: 则写成逻辑语句如下:
: Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
你真的看不懂你错在哪吗?
你写的是
Vx
对所有学生
(Vy ~P(x)^xQy)
对所有研究所课程，若x不是硕士生，且可以修y
=> (Ez xRz
则一定要修某门大学课程
这里就漏了一个地方，
for all的反义是 there exists one
not all allowed 不是 all denied ，而是 exist one denied
所以若是只有一门研究所的课，是所有学生都可以修，但不需先修大学部课程
也并不违反原题目的逻辑
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.9.167
※ 编辑: luciferii 来自: 59.120.208.170 (10/14 08:31)