Re: [請益] symbolize
※ 引述《Searle (♂擁抱後的寂寞♀)》之銘言：
: 有幾個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)
: 這樣寫有錯嗎？
你這樣寫的意思是:
some students are such that every course is more interesting
than any course john takes and these students don't take it.
換言之, 它蘊含: Some students don't take any course.
比較好的翻法應該是:
∃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..
: 懇請指教!
是指course吧, 講一個學生demanding有點怪。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 81.107.38.67
※ 編輯: MathTurtle 來自: 81.107.38.67 (02/23 19:56)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：