作者Searle (♂擁抱後的寂寞♀)
看板logic
標題[請益] symbolize
時間Tue Feb 23 19:15:12 2010
有幾個symbolize的疑惑想請高人指點一下..
Let Sx = "x is a student"
Cx = "x is a course"
Txy = "x takes y"
Ixy = "x is more interesting than y"
Dx = "x is demanding"
1. Some student don't take any courses that are more interesting than the courses John take.
∃x(Sx Λ (y)[(Cy→(z)[(Cz Λ Tjz)→Iyz] Λ ~Txy)
這樣寫有錯嗎？
2. Only good students take demanding courses.
(x){[Sx Λ (y)((Cy Λ Dy)→Txy)]→Gx}
3. Good student won't take courses unless
they are demanding.
不曉得這個they是指student還是course..
懇請指教!
--
Plurk:
http://plurk.com/epmud/invite
Facebook:
http://www.facebook.com/Epmud
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.27.188.72