Back when Google's motto was "Do no evil" we used to joke about Palantir embracing the opposite ethos.
The negation would be evil(x) and do(x) by DeMorgan's law.
If what you mean is all(x), evil(x) -> not(do(x))
then the negation would be exists(x), evil(x) and do(x).