# Negation

## Logical operation / From Wikipedia, the free encyclopedia

#### Dear Wikiwand AI, let's keep it short by simply answering these key questions:

Can you list the top facts and stats about Negation?

Summarize this article for a 10 year old

In logic, **negation**, also called the **logical not** or **logical complement**, is an operation that takes a proposition $P$ to another proposition "not $P$", standing for "$P$ is not true", written $\neg P$, ${\mathord {\sim }}P$ or ${\overline {P}}$. It is interpreted intuitively as being true when $P$ is false, and false when $P$ is true.^{[1]}^{[2]} Negation is thus a unary logical connective. It may be applied as an operation on notions, propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes *truth* to *falsity* (and vice versa). In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition $P$ is the proposition whose proofs are the refutations of $P$.

**Quick Facts**NOT, Definition ...

NOT | |
---|---|

Definition | $\lnot {x}$ |

Truth table | $(01)$ |

Logic gate | |

Normal forms | |

Disjunctive | $\lnot {x}$ |

Conjunctive | $\lnot {x}$ |

Zhegalkin polynomial | $1\oplus x$ |

Post's lattices | |

0-preserving | no |

1-preserving | no |

Monotone | no |

Affine | yes |

Self-dual | yes |

An operand of a negation is a **negand**,^{[3]} or **negatum**.^{[3]}