[離散數學] 96台大電機

http://www.lib.ntu.edu.tw/exam/graduate/96/96417.pdf

(4) " No course is being taken by all students"

為什麼答案是 E : exit y forall x ~T(x,y) 我覺得是 C: ~exit y forall x T(x,y)

我對題目的解讀是 沒有一堂課是被所有的學生都上的, 所以任何一堂課只要有一個學生沒上的成

立.

C: ~exit y forall x ~T(x,y) => forall y exit x ~T(x,y)


哪邊錯了麻 ? 謝謝教導~