注意:此页面搜索的是所有试题
[填空题,3.4分] 谓词公式G是不可满足的,当且仅当对所有的解释()。

参考答案