In Logic, you can negate bits of a statement by the following:

You can negate Nested quantifiers as .

You negate each part of the Statement (Proposition), by negating each individual bit and moving the negation side to the right as you go.