第七章测试1.p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px 'Songti SC'; color: #323333; -webkit-text-stroke: #000000}span.s1 {font-kerning: none}所有北大学生(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.p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 16.0px 'Songti SC'; color: #323333; -webkit-text-stroke: #000000}span.s1 {font-kerning: none}“有的被告(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:三
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
