Re: [請益] 邏輯句子的表達
※ 引述《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
推
10/14 22:32, , 1F
10/14 22:32, 1F
討論串 (同標題文章)