A negation consists of the negation operator ¬ and a constituent sentence, called the target. For example, we can write the negation of p as (¬p).

If the truth value of a sentence is true, the truth value of its negation is false. If the truth value of a sentence is false, the truth value of its negation is true.