Necessary Conditions for Negation Operators