In logical negation, the negation operator has been succinctly described as a truth-functional operation, reversing the truth value of a sentence.
from a pragmatic point of view, the primary function of negation is to direct attention to an alternative meaning and can thus be, more generally, compared to our ability for counterfactual thinking (Hasson and Glucksberg, 2006).