**Definition**

*Classical negation* is an operation on one logical value, typically the value of a proposition, that produces a value of *true* when its operand is false and a value of *false* when its operand is true. So, if statement *A* is true, then *¬A* (pronounced "not A") would therefore be false; and conversely, if *¬A* is true, then *A* would be false.

The truth table of *¬p* is as follows:

p | ¬p |
---|---|

True | False |

False | True |

Classical negation can be defined in terms of other logical operations. For example, ¬*p* can be defined as *p* → *F*, where "→" is logical consequence and *F* is absolute falsehood. Conversely, one can define *F* as *p* & ¬*p* for any proposition *p*, where "&" is logical conjunction. The idea here is that any contradiction is false. While these ideas work in both classical and intuitionistic logic, they do not work in Brazilian logic, where contradictions are not necessarily false. But in classical logic, we get a further identity: *p* → *q* can be defined as ¬*p* ∨ *q*, where "∨" is logical disjunction: "not *p*, or *q*".

Algebraically, classical negation corresponds to complementation in a Boolean algebra, and intuitionistic negation to pseudocomplementation in a Heyting algebra. These algebras provide a semantics for classical and intuitionistic logic respectively.

Read more about this topic: Negation

### Famous quotes containing the word definition:

“... we all know the wag’s *definition* of a philanthropist: a man whose charity increases directly as the square of the distance.”

—George Eliot [Mary Ann (or Marian)

“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only *definition* of a gifted child on which everyone in the audience could agree was “mine.””

—Jane Adams (20th century)

“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the *definition* of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”

—Ralph Waldo Emerson (1803–1882)