答案及解析：[单选题]假设命题变元x 代表学生, 变元y 代表课程, 命题函数A(y): y 是高级课程, S(x): x 是大二学生, F(x): x 是新生, T(x, y): x 选修课程 y。"有一门课是

问题：

[单选题]假设命题变元x 代表学生, 变元y 代表课程, 命题函数A(y): y 是高级课程, S(x): x 是大二学生, F(x): x 是新生, T(x, y): x 选修课程 y。"有一门课是所有新生都必须上的。"对应的谓词表达式为
A ∃y ∀x (F(x) →T(x, y))
B∃y ∀x (F(x) ∧T(x, y))