作者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