作者ERT312 (马上渐渐中毒~)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 22:56:38 2008
※ 引述《jayfrog (若要人不宅 除非己莫宅)》之铭言：
: ※ 引述《jayfrog (若要人不宅 除非己莫宅)》之铭言：
: : Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
: : => Vx ( Ey P(x)ˇ~xQy ˇ (Ez xRz ) 应该没错吧 P=>Q ≡ ~PˇQ
这个式子要这样看
x 代表任何一个学生
暂且我们就把学生划分成 硕士生 与 非硕士生吧
如果带入右式的是硕士生，那麽 P(x)为真，故原命题为真
如果带入的是非硕士生，则P(x)为假，
那麽要嘛 Ey ~xQy 为真 或是 Ez xRz 为真。
换句话说对一个非硕士生，要不是他不能修某门研究所的课
就是他已经过某门大学部的课。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.171.116.237
1F：推 jayfrog:他不能修某门研究所的课 所以他可以修某门研究所的课 10/13 23:00
2F：→ jayfrog:因为你是用Ey 而不是用Vy 所以说 如果我是大学生的话 10/13 23:01
3F：→ jayfrog:存在着一堂研究所的课 不能修 可是我可以修其他的啊 10/13 23:02
4F：→ ERT312:题目没说你不能修其他的阿，只是想要有全修的资格 10/13 23:04
5F：→ ERT312:必须修过某些大学部的课。 10/13 23:04
6F：推 jayfrog:假设Ey ~xQy 是真 Ez xRz是假 所以我是大学生 10/13 23:06
7F：→ jayfrog:而且 我可以修研究所的某一门课 10/13 23:06
8F：→ jayfrog:那不就跟题目矛盾了吗 10/13 23:07
9F：→ ERT312:不对 10/13 23:08
10F：→ ERT312:Ey ~xQy 是x不能修某门研究所的课。 10/13 23:09
11F：推 jayfrog:所以说我可以修某门研究所的课 Ex 1+x不等於零 10/13 23:10
12F：→ jayfrog:可是我x可是用-1啊 10/13 23:11
13F：→ ERT312:你想找我抬杠喔? 10/13 23:12
14F：推 jayfrog:如果对你的式子产生问题 就算是抬杠 那就不用再讨论了 10/13 23:15
15F：→ ERT312:看不懂就别勉强了 10/13 23:16