作者ERT312 (马上渐渐中毒~)
看板logic
标题Re: [请益] 逻辑句子的表达
时间Mon Oct 13 23:43:09 2008
※ 引述《luciferii (路西瓜)》之铭言：
: ※ 引述《ERT312 (马上渐渐中毒~)》之铭言：
: : 则写成逻辑语句如下:
: : Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
: 你真的看不懂你错在哪吗?
: (Vy ~P(x)^xQy)
: 对所有研究所课程，若x不是硕士生，且可以修y
: => (Ez xRz
: 则一定要修某门大学课程
: 这里就漏了一个地方，
: for all的反义是 there exists one
: not all allowed 不是 all denied ，而是 exist one denied
: 所以若是只有一门研究所的课，是所有学生都可以修，但不需先修大学部课程
: 也并不违反原题目的逻辑
你真的错了，再好好想想吧。
我知道你想改成 Vx ( (Ey ~P(x)^xQy) => (Ez xRz) )
只能说你一错再错。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.171.116.237
1F：推 luciferii:错，我想改的已经修正在前篇了 10/13 23:45
2F：→ luciferii:你这样改还是错 10/13 23:45
3F：→ ERT312:你前篇一改再改，我都懒得看了，不过我想应该还是错吧 10/13 23:48
4F：→ ERT312:跟ale比起来，你算是死不认错的，ale 112的吧， 10/13 23:50
5F：→ ERT312:112的脸皮可能比较薄。不过他知道错後态度还好。 10/13 23:50
6F：→ ERT312:读112还是有差吧，头脑跟态度 10/13 23:52
7F：→ ERT312:我以前在112脸皮也不厚，後来我发现这对学习没有帮助 10/13 23:57
8F：→ ERT312:就这样噜，看不懂可能只是我们无缘，不是你逻辑不好。 10/13 23:58
9F：推 luciferii:当然罗，因为是你逻辑不好:) 10/13 23:59
10F：→ luciferii:你的脸皮、态度和头脑，真得很难看出是112的说。 10/13 23:59
11F：→ ERT312:可能不同科系吧 10/14 00:03
12F：→ ERT312:XD 10/14 00:03