第七章 知识点1 谓词、个体词与量词

第七章 知识点2 量词的消去与引入规则

第七章 知识点3 量词的交换规则

第七章 知识点4 关系谓词与量词的重叠

第七章 知识点5 量词规则的限制（选学）

第七章 谓词逻辑 单元测验1本次得分为：0.50/2.00

1单选(0.5分)“有的被告(B(x))不是诚实的(C(x))”谓词公式是：C

A. "x(B(x)→﹁C(x)) B."x(B(x)→C(x))

C.$x(B(x)∧﹁C(x)) D.$x(B(x)∧C(x))

解析：  C、存在命题的逻辑结构是含存在量词的合取式。

2单选(0.5分)与“﹁"x(A(x)→B(x))”相等值的谓词公式是

A."x(A(x)∧﹁B(x)) B.$x(A(x)∧﹁B(x))0.50/0.50

C."x﹁(A(x)→B(x)) D.$x﹁(A(x)∧B(x))

解析：  B、一个否定的全称量词公式与一个存在否定量词公式是等值的。

3单选(0.5分)“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是C

A.$x(T(x)∧"y(H(y)→﹁Z(x,y)) B.$x(T(x)∧"y(H(y)∧Z(x,y))

C.$x(T(x)∧"y(H(y)→Z(x,y)) D.$x(T(x)∧$y(H(y)→Z(x,y))

解析：  C、关系命题中的主联结词由第一个量词决定。

4单选(0.5分)存在实例化规则限制要求假设存在名a必须是在推理中第（B ）次出现。 A.四 B.一 C.二 D.三

第七章 谓词逻辑 单元测验2本次得分为：0.50/2.00

1单选(0.5分)所有北大学生(S(x))都是聪明的(P(x))”谓词公式是：C

A.$x(S(x)∧﹁P(x)) B."x(S(x)→﹁P(x))

C."x(S（x）→P(x)) D.$x(S(x)∧P(x))

解析：  C、全称命题的逻辑结构是含全称量词的蕴涵式。

2单选(0.5分)“有的被告(B(x))不是诚实的(C(x))”谓词公式是：D

A."x(B(x)→﹁C(x)) B."x(B(x)→C(x))

C.$x(B(x)∧C(x))  D.$x(B(x)∧﹁C(x))

解析：  D、存在命题的逻辑结构是含存在量词的合取式。

3单选(0.5分)“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是

A.$x(T(x)∧$y(H(y)→Z(x,y)) B.$x(T(x)∧"y(H(y)→Z(x,y))0.50/0.50

C.$x(T(x)∧"y(H(y)→﹁Z(x,y)) D.$x(T(x)∧"y(H(y)∧Z(x,y))

解析：  B、关系命题中的主联结词由第一个量词决定。

4单选(0.5分)存在实例化规则限制要求假设存在名a必须是在推理中第（ B）次出现。 A.二 B.一 C.四 D.三