[請益] symbolize
有幾個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
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：