Re: [請益] 邏輯句子的表達
看完所有的討論, 我覺得某些爭論的原因在對題意之解讀不同,
例如 『只有碩士生可以修所有的研究所課程』這句話裏的
所有的就有不同的解釋. ERT312 應是把其當成「全部」解釋, 就算一個
非碩士生沒修過任何大學課程, 他(or她)還是可以修研究所的課,
只要不要全修就好.
我個人是認為那個所有的應解讀為「任何」, 語意同
『所有的邏輯相關課程你都可以修』 (但你不必全修)
所以原題意我的解讀是, 非碩士生要符合某些先修條件(即原題
的第二句)才能修研究所的課.
回歸原題, 我的式子如下 (黃色^Axy是經ERT312指正後新加上去的):
VxVy((Mx^Gy->Axy)^(~Mx^Gy^Axy->Ez(Uz^Pxz))), 其中
x: 學生
y,z: 課程
Mx: x為碩士生
Gy: y為研究所課程
Uz: z為大學課程
Axy: x可修y
Pxz: x先修過z課程
參考參考...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.68.71.218
※ 編輯: ksmrt0123 來自: 219.68.71.218 (10/14 19:52)
討論串 (同標題文章)