In Logic the term ‘negation’ is used to designate one of five functions in Propositional Logic where any atomic propositions is asserted not to be true.

For example, we can take the simple propositions, “Kato is a dog” and using negation turn it into “it is not the case that Kato is a dog.”