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?