第二章测试1.谓词公式的前束范式是唯一的。
A:错 B:对
答案:A
2.
的前束范式是（ ）A:
B:
C:
D:
3.设个体域A={a,b}，公式"
在A中消去量词后应为（ ）A:P(b) B:P(a)
P(b)
C:P(a)
D:P(a)
P(b)
4.令F(x):x是金属，G(y):y是液体，H(x,y):x可以溶解在y中，则命题“任何金属可以溶解在某种液体中”可符号化为( )A:
B:
C:
D:
5.设M（x）:x是人，F（x）：x犯错误，命题“所有的人都会犯错误。”符号化为（ ）A:
B:
C:
D:
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
