答案及解析：[单选题]假设命题变元 x 代表学生, 命题函数T(x): x 是计算机专业, S(x): x 上过离散数学课。陈述句：所有的计算机专业学生都上过离散数学课，对应的谓词表达式是： A ∀x (F(x) ∧ S(

问题：

[单选题]假设命题变元 x 代表学生, 命题函数T(x): x 是计算机专业, S(x): x 上过离散数学课。陈述句：所有的计算机专业学生都上过离散数学课，对应的谓词表达式是：
A ∀x (F(x) ∧ S(x))
B ∀x (F(x)→ S(x))
C ¬∃x (F(x) ∧ ¬S(x))
D ∃x (F(x) ∧ S(x))