For negation in linguistics, see Affirmation and negation. For other uses, see Negation (disambiguation).
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(March 2013) (Learn how and when to remove this message)
Negation
NOT
Definition
Truth table
Logic gate
Normal forms
Disjunctive
Conjunctive
Zhegalkin polynomial
Post's lattices
0-preserving
no
1-preserving
no
Monotone
no
Affine
yes
v
t
e
Logical connectives
AND
, , , ,
equivalent
, ,
implies
, ,
NAND
, , ,
nonequivalent
, ,
NOR
, ,
NOT
, , ,
OR
, , ,
XNOR
XOR
,
converse
, ,
Related concepts
Propositional calculus
Predicate logic
Boolean algebra
Truth table
Truth function
Boolean function
Functional completeness
Applications
Digital logic
Programming languages
Mathematical logic
Philosophy of logic
Category
v
t
e
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 .
An operand of a negation is a negand,[3] or negatum.[3]
^Weisstein, Eric W. "Negation". mathworld.wolfram.com. Retrieved 2 September 2020.
^"Logic and Mathematical Statements - Worked Examples". www.math.toronto.edu. Retrieved 2 September 2020.
^ abBeall, Jeffrey C. (2010). Logic: the basics. The basics (1. publ ed.). London: Routledge. p. 57. ISBN 978-0-203-85155-5.
negation of a proposition P {\displaystyle P} is the proposition whose proofs are the refutations of P {\displaystyle P} . An operand of a negation is...
negatives intensify the negation. Languages where multiple negatives affirm each other are said to have negative concord or emphatic negation. Portuguese, Persian...
principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation." Double negation elimination and double negation introduction...
called negation – the grammatical rules for negation vary from language to language, and a given language may have multiple methods of negation. Affirmative...
Negator can mean any of the following: Negation (as a function of linguistics) The sign for negation in logic (usually ¬ or ~) an order-reversing self-mapping...
denote negation, and let p be a variable ranging over truth values. For these choices, if p = 0 then ~p = 2; and if p = 1 then ~p = 0. Cyclic negation was...
Negation introduction is a rule of inference, or transformation rule, in the field of propositional calculus. Negation introduction states that if a given...
this kind of negation is known as weak negation, in contrast with the strong (i.e. explicit, provable) negation. In Planner, negation as failure could...
operation taking a number to its additive inverse is known as sign change or negation. For a real number, it reverses its sign: the additive inverse (opposite...
Sigil was created: to fight off the Negation, led by the god-emperor Charon and his new consort/queen Evinlea. Negation War reveals some of the key mysteries...
The negation of the Diaspora (Hebrew: שלילת הגלות, romanized: shlilat hagalut or Hebrew: שלילת הגולה, romanized: shlilat hagolah) is a central assumption...
In mathematical logic, a formula is in negation normal form (NNF) if the negation operator ( ¬ {\displaystyle \lnot } , not) is only applied to variables...
to express grammatical negation. These strategies correspond to words in English like no and not. Present-tense verbs are negated by adding لا lā "not"...
(negation) X ∧ ¬ X {\displaystyle X\land \neg X} (both) ¬ ( X ∨ ¬ X ) {\displaystyle \neg (X\lor \neg X)} (neither) The history of fourfold negation,...
by negation first came into being on individual ships, where it made sense - a captain who delegated authority and exercised command by negation could...
the tilde represents negation: "~p" means "not p", where "p" is a proposition. Modern use often replaces the tilde with the negation symbol (¬) for this...
semantics can handle stratified negation, several implementations of Datalog implement stratified negation. While stratified negation is a common extension to...
which, beside the added negation marker, other structural changes appear. In English, a standard negation (SN) is used to negate declarative main clauses...
in propositional logic. This axiom is the introduction rule for negation (see negation introduction) and it is sometimes named to make this connection...
depends on the width of the data type. - is negation here, not subtraction - is subtraction here, not negation Online Bitwise Calculator supports Bitwise...