问题：
[单选题]假设命题变元 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))
答案解析：
您可能感兴趣的问题
- 生物化石在地层中出现的顺序在全球范围内一致，这个规律是在19世纪初由英国的地质学家William Smith提出的，叫做：
- 原生生物的特征包括：细胞有细胞核，是单细胞生物或者细胞聚合体组成的生物。
- 演化快、数量多、分布广的化石称为标准化石,是识别地质年代的重要工具。栖霞山的主体由灰岩组成,其上常分布一些小小的像鼓着的钱币一样的东西,李四光先生命名为“南京䗴”(䗴是一类有孔虫)。这说明290 Ma
- 珊瑚、海葵、海笔都属于____ ，均为海生，都只有水螅型一种形态
- 三叶虫的面线具____种形态，其中面线后支与颊角相交称为____。（每个空按字母正序，不加空格或标点）
- 地质历史时期，腕足动物繁盛的类群经历了无铰纲、正形贝类、五房贝类与扭月贝类；石燕贝类与穿孔贝类；长身贝类、小嘴贝类与石燕贝类。在_____这几个阶段的末期，都有一次生物绝灭事件使得原有的类群受到重大打
- 壳体内表面，留有外套膜留下的痕迹，尤其在壳体下边缘有一条明显的线（图中1位置），称为____，标志了软体部分的边缘位置。
- 如图所示,体现了腹足动物个体发育过程中软体的( )。
- 现在已经灭绝的棘皮动物门类包括：
- 分支系统学将生物的特征分解为若干性状，依据生物之间共有性状的关系确定它们的亲缘关系，远近疏离、祖先与后裔、直系还是旁系，被称作______。