谓词公式G是不可满足的,当且仅当对所有的解释G都为()。
出自:计算机科学