Those are incorrect i'm afraid. Here's how to go about this

Let and be statements.

We call the statement: "If , then " an "implication," and often write it as shorthand using the following logical symbols: " "

The contrapositive of is

When we are negating an implication, we use the fact that:

So the negation of is by DeMorgan's Laws.

Note: the symbol means "not." So, for instance, means "not P"

you may want to see here, they don't have symbols, but the explanations are ok.

Now, do you think you can continue?