reply
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).
https://www.youtube.com/watch?v=5yuL6PcgSgM