作者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