作者luciferii (路西瓜)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 00:45:43 2008
※ 引述《ERT312 (馬上漸漸中毒~)》之銘言：
其實看太不懂所謂的盲點在哪裏?
: 例二)
: 如果英文老師說:「只有英文及格的人可以吃巧克力」
: "英文及格的人"不再只是個個體，而是個集合，這時候就會有模擬兩可的語意。
: 可能全班的學生都會這樣解讀:
: 英文及格的人可以吃巧克力，英文不及格的人不能吃巧克力。
: 但是如果數學老師也接著說:「只有數學及格的人可以吃巧克力」
: 這時候我們會發現，如果要同時履行英文老師跟數學老師的旨意
要同時履行，只有一種方式
就是數學和英文同時都及格的人可以吃巧克力。
: 那麼把英文老師的語意解讀成:"英文及格的人可以吃巧克力，
: 英文不及格的人不能吃巧克力。" 會出現問題。
: 英文及格但是數學不及格的人能不能吃巧克力?
引用數學老師的規定，當然是不行。
這應該是簡單的交集聯集問題，與矛盾句和詭論都無關。
: 要安全的解讀「只有英文及格的人可以吃巧克力」
: 應該是:英文不及格就不能吃巧克力，但是英文及格是否就能吃巧克力，則沒有斷言。
: 不過我相信這不會是英文老師的本意。
: 生活用語偶爾會有模擬兩可的時候，這是我所謂的盲點，我沒說過原題有矛盾。
: 現在回到原題:「只有碩士生可以修所有的研究所課程，而不用先修過任何的大學課程」
: 到底有沒有:"所有碩士生都可以修所有的研究所課程，而不用先修過任何的大學課程"
: 的意思? 不同的解題當然會有不同的邏輯語句。
如果對語句有岐義，可以提出不同的釋意來討論看看?
「只有碩士生可以修所有的研究所課程，而不用先修過任何的大學課程」
可以寫成(V表符號:for any, E表符號exists one)
學生x,研課y,大學課z 可修Allow,須修Need
Vx, Vy, Vz
( (x Allow y) -> ~(x Need z) ) -> x是碩士生
或者可以等價
(反過來寫可能比較清楚)
Vx, Ey,Ez
x不是碩士生 -> (x allow y) and (x Need z)
若x不是碩士生，則當x可修某門研究所課時，x須先修某門大學部的課
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.6.59
※ 編輯: luciferii 來自: 59.121.6.59 (10/13 01:26)
1F：推 aletheia:我不是很贊同用need這樣的述詞來解答這題 10/13 17:30
2F：推 aletheia:不過沒有很強烈就對了 10/13 17:31
3F：推 ERT312:他寫的是錯的! 10/13 20:37
4F：→ yauhh:哦,哪裏錯你倒是說啊! 錯錯錯,只會說別人錯卻不會講理由! 10/14 11:50
5F：推 tbhou:我是們外漢,最後一句看起來很合理 10/29 12:15