作者Aaron2K (小痞)
看板logic
标题Re: [请益] 下列叙述的否定句？？？
时间Fri Apr 23 16:53:04 2010
※ 引述《eszxc777 (666撒旦)》之铭言：
: 所以想问问以下述叙的否定叙述？(玩文字游戏？)
为了方便我下面都没有加上足标..希望原PO能看得懂..
: (1)没有人不及格
没有人不及格 = 所有人都及格(及格分数60分)
For all x, x >= 60
否定=There exist some x, x<60
: 答：有人不及格
: (3)所有的动物都会死
假设 x代表动物最终生存状态 x=1 存活, x=0死亡
For all x, x=0
否定=There exist some x, x=1
: 答：有的动物不会死
: (5)有人抽菸
假设 smk 代表抽菸状态 smk=1 抽菸, smk=0 不抽菸
There exist some smk=1
否定=For all smk, smk=0
: 答：没有人抽菸
: (7)有些人是诚实的
假设 hon 代表诚实状态 hon=1 诚实, hon=0 不诚实
There exist some hon=1
否定=For all hon, hon=0
: 答：没有人是诚实的
: (9)今天全班都出席
atd代表某人出席状况 atd=1 出席, atd=0 未出席
For all atd, atd=1
否定=There exist some atd, atd=0
: 答：今天班上有人没出席
: (11)小明曾经迟到
late 代表小明是否在某天迟到, late=1 迟到, late=0 没迟到
There exist some late=1
否定=For all late, late=0
: 答：小明不曾迟到
: (13)有些矩形不是平行四边形
同上，pllg=1 矩形为平行四边形, pllg=0 矩形不是平行四边形
There exist some pllg=0
否定=For all pllg, pllg=1
: 答：所有矩形是平行四边形
: 请问以上都在讲甚麽啊？我全都有看没有懂
简单的逻辑概念，多翻翻课本就会熟悉了
--
「一万两千年之後
天琴座
还在，我对你的爱也还在
如果一万两千年就代表永恒
那麽我将会爱你
「比永恒多一日，比永远多一天！」
--
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 编辑: Aaron2K 来自: 59.126.65.96 (04/23 16:53)
1F：推 Searle:没想到这麽烂的问题 还可以回这麽多篇 04/23 19:17
2F：→ Aaron2K:日行一善 04/23 20:54
3F：推 very1ghost:我不相信原PO看得懂…… 04/25 19:01
4F：→ Aaron2K:原po出来面对!! 04/26 13:57
5F：→ aletheia:你这样写不太好 04/26 16:24
6F：→ Aaron2K:我也觉得这麽写不太好... 04/26 17:46
7F：推 zoneline:严格符号化後问的人看不懂；符号化不严格连语句也不成 04/26 17:49
8F：推 popo3636:是我逻辑不好嬷?我一个都看不懂 囧 04/28 21:19
9F：→ Aaron2K:看来怎麽答都不对...只好请原po多翻翻课本了 Orz 04/29 15:59