作者ERT312 (马上渐渐中毒~)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 21:20:23 2008
※ 引述《luciferii (路西瓜)》之铭言：
: 标题: Re: [请益] 逻辑句子的表达
: 时间: Mon Oct 13 00:45:43 2008
:
: 「只有硕士生可以修所有的研究所课程，而不用先修过任何的大学课程」
: 可以写成(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)
(P => (Q ^ R)) <=> ( (P=>Q) ^ (P=>R) )
这你大概不知道吧
照你的写法，每个非硕士生都必须去修某门大学部的课罗
:
: 若x不是硕士生，则当x可修某门研究所课时，x须先修某门大学部的课
:
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 59.121.6.59
: ※ 编辑: luciferii 来自: 59.121.6.59 (10/13 01:26)
: 推 aletheia:我不是很赞同用need这样的述词来解答这题 10/13 17:30
: 推 aletheia:不过没有很强烈就对了 10/13 17:31
: 推 ERT312:他写的是错的! 10/13 20:37
明明路西瓜写的就是错的，怎麽还会"不是很赞同,不过没有很强烈"?
我认为有两种释题的方式，第一种是较保守的释题
但有时候可能不是出题者的本意
换句话说，这只是消极的排除法: 非硕士生就不能修所有的研究所课程
而不用先修过任何的大学课程
x代表学生
P(x)代表x是硕士生
y代表研究所的课，xQy代表 x可以修y
z代表大学部的课，xRz代表 x修过z
则写成逻辑语句如下:
Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
但是如果题目又有这层意思:只要是硕士生，就可以修所有的研究所课程
而不用先修过任何的大学课程。
那麽必须再加上这句 VxVy (P(x) => xQy)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.171.116.237
※ 编辑: ERT312 来自: 118.171.116.237 (10/13 21:21)
1F：→ ERT312:忘了说了，这还不是一阶逻辑语句，一阶逻辑语句能用的符号 10/13 21:27
2F：→ ERT312:个数比英文字母(26个)还少。 10/13 21:28
3F：→ ERT312:看得懂的可能早就知道了，看不懂的我也无所谓。 10/13 21:30
4F：→ ERT312:本板似乎都是学哲学的吧，真的懂逻辑的肯发声的好少 10/13 21:31
5F：→ ERT312:大多是被几句术语会掉书袋，就自以为很懂逻辑 10/13 21:32
6F：→ ERT312:真的写出逻辑语句又是另一回事了 10/13 21:33
※ 编辑: ERT312 来自: 118.171.116.237 (10/13 21:47)
※ 编辑: ERT312 来自: 118.171.116.237 (10/13 21:58)