cover image

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 years old

SHOW ALL QUESTIONS

In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition to another proposition "not ", standing for " is not true", written , or . It is interpreted intuitively as being true when is false, and false when 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 is the proposition whose proofs are the refutations of .

Quick facts: NOT, Definition, Truth table, Logic gate, Nor...
Negation
NOT
Venn diagram of Negation
Definition
Truth table
Logic gateNOT_ANSI.svg
Normal forms
Disjunctive
Conjunctive
Zhegalkin polynomial
Post's lattices
0-preservingno
1-preservingno
Monotoneno
Affineyes
Close