Everything About ___
Live briefing

Everything about Negation

Logical operation

In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition to another proposition "not ", written, , or. It is interpreted intuitively as being true when is false, and false when is true. For example, if is "The dog runs", then "not " is "The dog does not run". An operand of a negation is called a negand or negatum. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: NegationA 5-minute orientation
  2. Skim a recent paper: Negation of the Quantum Mass Function for Multisource Quantum Information Fusion With its Application to Pattern ClassificationInfluential work since 2022
  3. Pick up a classic book: Logische UntersuchungenThe most-reprinted book on the subject
  4. Read the landmark paper: Classical negation in logic programs and disjunctive databasesCited 1,398 times
  5. Go sideways: Truth valueA closely related topic
  6. Go sideways: Logical connectiveA closely related topic

📖 Definitions

Noun The act of negating something.

Noun A denial or contradiction.

Noun A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition, or insertion, of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)

Noun The logical operation which obtains such (negated) propositions.

🗂️ The subject at a glance

  1. Definition
  2. Notation
  3. Properties
  4. Rules of inference
  5. Programming language and ordinary language
  6. Kripke semantics

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics