谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。