You get the negation of a proposition if you insert "not" (or some equivalent expression) into it in such a way as to form a contradictory of it.