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.”