Re: [請益] 下列敘述的否定句？？？

看板logic作者Aaron2K (小痞)時間15年前 (2010/04/23 16:53)推噓4(4推 0噓 5→)

留言9則, 6人參與討論串3/3 (看更多)

※ 引述《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)

推

Searle

04/23 19:17, , 1^F

04/23 19:17, 1^F

→

Aaron2K

04/23 20:54, , 2^F

04/23 20:54, 2^F

推

very1ghost

04/25 19:01, , 3^F

04/25 19:01, 3^F