1.如果命题p为真、命题q为假，则下述哪个复合命题为真命题（B）

• A. p且q 
• B.如果q则p 
• C.非p
• D.如果p则q

2.p和q均是原子命题，“如果p那么q”是由p和q组合得到的复合命题。下面对“如果p那么q”这一复合命题描述不正确的是（  A）

• A.无法用真值表来判断“如果p那么q”的真假
• B.“如果p那么q”定义的是一种蕴涵关系（即充分条件
• C.当p不成立时，“如果p那么q”恒为真
• D.“如果p那么q”意味着命题q包含着命题p，即p是q的子集

3.下面哪个复合命题与“如果秋天天气变凉，那么大雁南飞越冬”是逻辑等价的（B ）

• A.如果秋天天气没有变凉，那么大雁不南飞越冬
• B.如果大雁不南飞越冬，那么秋天天气没有变凉
• C.如果大雁不南飞越冬，那么秋天天气变凉
• D.如果秋天天气变凉，那么大雁不南飞越冬

4.下面哪一句话对命题逻辑中的归结(resolution)规则的描述是不正确的（ A   ）

• A.对命题q及其反命题应用归结法，所得到的命题为假命题
• B.对命题q及其反命题应用归结法，所得到的命题为空命题
• C.在两个析取复合命题中，如果命题q及其反命题分别出现在这两个析取复合命题中，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题。
• D.如果命题q出现在一个析取复合命题中，命题q的反命题单独存在，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题。

5.下面哪一句话对命题范式的描述是不正确的（  C  ）

• A.一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的
• B.有限个简单析取式构成的合取式称为合取范式
• C.一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式
• D.有限个简单合取式构成的析取式称为析取范式

6下面哪个逻辑等价关系是不成立的（   B  ）

• A. 
• B.
• C.
• D.

7.下面哪个谓词逻辑的推理规则是不成立的（  B  ）

• A.
• B.
• C.
• D.

8知识图谱可视为包含多种关系的图。在图中，每个节点是一个实体（如人名、地名、事件和活动等），任意两个节点之间的边表示这两个节点之间存在的关系。下面对知识图谱的描述，哪一句话的描述不正确（A  ）

• A.知识图谱中两个节点之间仅能存在一条边
• B.知识图谱中一条边可以用一个三元组来表示
• C.知识图谱中一条边连接了两个节点，可以用来表示这两个节点存在某一关系
• D.知识图谱中的节点可以是实体或概念

9.如果知识图谱中有David和Mike两个节点，他们之间具有classmate和brother关系。在知识图谱中还存在其他丰富节点和丰富关系（如couple, parent等）前提下，下面描述不正确的是（C    ）

• A.可从知识图谱中找到classmate和brother这个谓词的正例和反例。
• B.可以从知识图谱中形成brother<David, Mike>的表达，这里brother是谓词。
• C.仅可从知识图谱中找到classmate和brother这个谓词的正例，无法找到这两个谓词的反例。
• D.可以从知识图谱中形成classmate<David, Mike>的表达，这里classmate是谓词。

10在一阶归纳学习中，只要给定目标谓词，FOIL算法从若干样例出发，不断测试所得到推理规则是否还包含反例，一旦不包含负例，则学习结束，展示了 “归纳学习”能力。下面所列出的哪个样例，不属于FOIL在学习推理规则中所利用的样例。(A)

• A.信息增益超过一定阈值推理规则涵盖的例子
• B.所得到推理规则涵盖的正例
• C.背景知识样例
• D.所得到推理规则涵盖的反例