填空题

谓词公式G是不可满足的,当且仅当对所有的解释G都为()。

正确答案

来源:www.examk.com

答案解析