表达式G是不可满足的，当且仅当对所有的解释()。