作者luciferii (路西瓜)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Mon Oct 13 23:40:01 2008
※ 引述《ERT312 (馬上漸漸中毒~)》之銘言：
: 「不必先修過」代表「不用修」，而不是「沒修過」
: 玩字遊戲好好玩
這好像是基本語意學，而且看不出來哪裏可以有誤解或歧義?
又要回到無意義的指責基礎邏輯與邏輯了嗎?
說邏輯版亂搞不友善的也是你，一直發火發些題外話的也是你，倒底想怎樣?
: 則寫成邏輯語句如下:
: Vx ( (Vy ~P(x)^xQy) => (Ez xRz) )
你真的看不懂你錯在哪嗎?
你寫的是
Vx
對所有學生
(Vy ~P(x)^xQy)
對所有研究所課程，若x不是碩士生，且可以修y
=> (Ez xRz
則一定要修某門大學課程
這裏就漏了一個地方，
for all的反義是 there exists one
not all allowed 不是 all denied ，而是 exist one denied
所以若是只有一門研究所的課，是所有學生都可以修，但不需先修大學部課程
也並不違反原題目的邏輯
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.9.167
※ 編輯: luciferii 來自: 59.120.208.170 (10/14 08:31)