Negation

In symbolic logic, the operator that denies a claim. When a statement is negated, its truth value is the opposite of the original: When P is true, ¬ P is false. When ¬ P is true, P is false.