当且仅当的否定是什么