作者ERT312 (马上渐渐中毒~)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Tue Oct 14 18:10:06 2008
※ 引述《dementia (妖精尾巴魔导士)》之铭言：
: 让我试试看
: 用另一个方式写这个句子
: VxVyVz ( ( Gy & T(x,y) & Uz & ~T(x,z) ) → Mx )
: 所有述词如原po给的︰
: G: 研究所的课
: T(x,y): x修过y
: U: 大学部的课
: M: 研究生
改写成:
VxVyVz (~Mx => (~T(x,y) V T(x,z)))
(我把 y 限制在 G，z限制在U，所以 Gy， Uz恒真我就不写了。)
亦即一个非硕士生，他想修某门研究所的课的话，他必须先过所有大学部的课。
这种条件太严苛了.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.171.112.116
1F：推 dementia:我再想一下喔 10/14 22:32