作者luciferii (路西瓜)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Tue Oct 14 00:11:29 2008
※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
: ※ 引述《jayfrog (若要人不宅 除非己莫宅)》之铭言：
: 这个式子要这样看
: x 代表任何一个学生
: 暂且我们就把学生划分成 硕士生 与 非硕士生吧
: 如果带入右式的是硕士生，那麽 P(x)为真，故原命题为真
: 如果带入的是非硕士生，则P(x)为假，
: 那麽要嘛 Ey ~xQy 为真 或是 Ez xRz 为真。
: 换句话说对一个非硕士生，要不是他不能修某门研究所的课
: 就是他已经过某门大学部的课。
每篇都帮你挑逻辑谬误，就当是改考卷
用你自己的逻辑否证你的式子
Vx (
(Vy ~P(x)^xQy) =>
(Ez xRz)
)
暂且我们就把学生划分成 硕士生 与 非硕士生吧
但是不管是什麽学生
在R是你定义"修过"的状态下
只要x有修过某门大学课程，你的式子永远都是 TRUE
事实上原句中不谈实际有没有修过，而是有没有必要修
除非你想从结果来写，那也可以，但是 xQy 就要改成 x已修y
而你的式子造成与原题完全搭不上关系
而即使你依题意，把R定义成"先修"的状态下
只要x必须修某门大学课程，你的式子永远都是 TRUE
所以若某硕士生必须修某门大学先修课，也不会造成式子FALSE，但却违反了题意
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.9.167