逻辑学导论答案2023秋

第七章测试

1.

所有北大学生(S(x))都是聪明的(P(x))”谓词公式是

A:"x(S(x)→﹁P(x)) B:"x(S（x）→P(x)) C:$x(S(x)∧P(x)) D:$x(S(x)∧﹁P(x))
答案:B
2.

“有的被告(B(x))不是诚实的(C(x))”谓词公式是

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

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

A:

B:

C:

D:

4.

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

A:

B:

C:

D:

5.

存在实例化规则限制要求假设存在名a必须是在推理中第（ ）次出现。

A:一
B:四
C:二
D:三