Negation

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 , , and the Wolfram Language, not-👁 A
is denoted 👁 !A
. In , not-👁 A
is written , where 👁 A
is a variable of type.

See also

Literal, Negation Sign, NOT

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Negation." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Negation.html

Subject classifications