In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary (single-argument) 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 .

Property Value
dbo:abstract
• In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary (single-argument) 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 . (en)
dbo:wikiPageID
• 161019 (xsd:integer)
dbo:wikiPageLength
• 17772 (xsd:integer)
dbo:wikiPageRevisionID
• 983912740 (xsd:integer)
dbp:0Preserving
• no (en)
dbp:1Preserving
• no (en)
dbp:affine
• yes (en)
dbp:id
• p/n066170 (en)
dbp:logicGate
• NOT_ANSI.svg (en)
dbp:monotone
• no (en)
dbp:otherTitles
• NOT (en)
dbp:selfDual
• yes (en)
dbp:title
• Negation (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
• In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary (single-argument) 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 . (en)
rdfs:label
• Negation (en)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of