逻辑学导论章节测试课后答案2024秋

第七章单元测试

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))
答案:"x(S（x）→P(x))


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:四

内容已经隐藏，点击付费后查看
• «
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• »