作者luciferii (路西瓜)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 22:53:12 2008
※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
: : Vx, Ey,Ez
: : x不是硕士生 -> (x allow y) and (x Need z)
: (P => (Q ^ R)) <=> ( (P=>Q) ^ (P=>R) )
: 这你大概不知道吧
: 照你的写法，每个非硕士生都必须去修某门大学部的课罗
总算要谈点有意义的了。
是的，我上句写漏一段
直白写应该是
Vx
x不是硕士生 -> (Ey,Ez (x allow y) and (x Need z)) or
(Vy (x not allow y))
原来你看的懂逻辑符号啊?
早说的话，我那篇就不用想办法还要把式子写成难看的白话了
换成你下面定义的符号就是
Vx, Vy, Vz
(xQy -> ~xRz ) -> P(x)
Vx,
~P(x) -> Ey,Ez ( xQy ^ xRz) or
Vy ( ~xQy)
: 我认为有两种释题的方式，第一种是较保守的释题
: 但有时候可能不是出题者的本意
出题者的本意没写在题目里，就不用帮他多设想。
: 换句话说，这只是消极的排除法: 非硕士生就不能修所有的研究所课程
: 而不用先修过任何的大学课程
本来从原题里，只能推出这样的式子
但是你换句话的中文不太合中文文法
断句一下比较能看得懂
(非硕士生) 就不能 (修所有的研究所课程而不用先修过任何的大学课程0
: x代表学生
: P(x)代表x是硕士生
: y代表研究所的课，xQy代表 x可以修y
: z代表大学部的课，xRz代表 x修过z
: 则写成逻辑语句如下:
: Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
早这样写不就得了? 浪费那麽多篇。
但是还是有两个小错
(1)
R的定义要修正， R这个函数要代表
R(x,z): x需要修z
「不必先修过」代表「不用修」，而不是「没修过」
(2)
还有是 Ey, Ez
不是 Vy
非硕士不需每堂硕士课都要大学先修，只要有一堂硕士课需要大学先修就好了
: 但是如果题目又有这层意思:只要是硕士生，就可以修所有的研究所课程
: 而不用先修过任何的大学课程。
: 那麽必须再加上这句 VxVy (P(x) => xQy)
除非原po有写，否则请不用帮题目加上别层意思。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.9.167
※ 编辑: luciferii 来自: 59.121.9.167 (10/13 22:58)
1F：推 ERT312:你已经出局了，我懒得跟你玩文字游戏。 10/13 22:58
2F：→ luciferii:最好回头重新验算一下你的式子，要发火死撑也随你。 10/13 23:00
※ 编辑: luciferii 来自: 59.121.9.167 (10/13 23:34)
※ 编辑: luciferii 来自: 59.121.9.167 (10/13 23:40)