作者ERT312 (馬上漸漸中毒~)
看板logic
標題Re: [請益] 邏輯句子的表達
時間Tue Oct 14 18:10:06 2008
※ 引述《dementia (妖精尾巴魔導士)》之銘言：
: 讓我試試看
: 用另一個方式寫這個句子
: VxVyVz ( ( Gy & T(x,y) & Uz & ~T(x,z) ) → Mx )
: 所有述詞如原po給的︰
: G: 研究所的課
: T(x,y): x修過y
: U: 大學部的課
: M: 研究生
改寫成:
VxVyVz (~Mx => (~T(x,y) V T(x,z)))
(我把 y 限制在 G，z限制在U，所以 Gy， Uz恆真我就不寫了。)
亦即一個非碩士生，他想修某門研究所的課的話，他必須先過所有大學部的課。
這種條件太嚴苛了.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.171.112.116
1F：推 dementia:我再想一下喔 10/14 22:32