The operation of interchanging true and false in a logical statement. The negation of A is often called "NOT-A," and can be denoted !A, or with the negation sign ¬, so not-A is written ¬A.

Note that in computer languages such as C, perl, and the Wolfram Language, not-A is denoted !A. In FORTRAN, not-A is written .not.A, where A is a variable of logical type.

See also

Literal, Negation Sign, NOT

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Negation." From MathWorld--A Wolfram Web Resource.

Subject classifications