问题
单项选择题
谓词公式是（）。
A．可满足的
B．不可满足的
C．有效的
D．非有效的
答案
参考答案：B
解析：
1、
已知
2、P(a)→Q(a) 1)
3、
已知
4、P(a) 3)
5、Q(a) 1)、3)
6、
已知
7、
6)
8、矛盾 5)、7)
可知该谓词公式是不可满足的。
搜题请搜索小程序“爱下问搜题”
谓词公式是（）。
A．可满足的
B．不可满足的
C．有效的
D．非有效的
参考答案：B
解析：
1、 已知
2、P(a)→Q(a) 1)
3、 已知
4、P(a) 3)
5、Q(a) 1)、3)
6、 已知
7、 6)
8、矛盾 5)、7)
可知该谓词公式是不可满足的。