不挂科搜题免费

问题:

谓词公式G是不可满足的,当且仅当对所有的解释________________

答案:

G 都为假