Negation
E883403
Negation is a fundamental logical and linguistic operation that reverses the truth value or meaning of a statement, turning an assertion into its opposite.
Statements (65)
| Predicate | Object |
|---|---|
| instanceOf |
linguistic operation
ⓘ
logical operation ⓘ truth‑functional connective ⓘ unary connective ⓘ |
| contradictionFormulation | not both p and not p ⓘ |
| coreIdea | reverses truth value of a proposition ⓘ |
| doubleNegationFormulation | ¬¬p is equivalent to p in classical logic ⓘ |
| excludedMiddleFormulation | either p or not p ⓘ |
| expressedInEnglishBy |
never
ⓘ
no ⓘ nobody ⓘ not ⓘ nothing ⓘ |
| expressedMorphologicallyBy |
negative affixes
ⓘ
negative particles ⓘ |
| formalizedBy |
Hilbert systems
NERFINISHED
ⓘ
natural deduction systems ⓘ sequent calculi ⓘ truth tables ⓘ |
| hasArity | 1 ⓘ |
| hasLogicalLaw |
double negation
ⓘ
law of excluded middle NERFINISHED ⓘ law of non‑contradiction ⓘ |
| hasPragmaticEffect |
can express correction
GENERATED
ⓘ
can express denial GENERATED ⓘ can express refusal GENERATED ⓘ |
| hasSemanticEffect | reverses proposition polarity ⓘ |
| hasTruthTableRow |
if p is false then ¬p is true
ⓘ
if p is true then ¬p is false ⓘ |
| hasType |
classical negation
ⓘ
constituent negation ⓘ default negation ⓘ intuitionistic negation ⓘ metalinguistic negation ⓘ negation as failure ⓘ paraconsistent negation ⓘ sentential negation ⓘ strong negation ⓘ weak negation ⓘ |
| mapsFalseTo | true ⓘ |
| mapsTrueTo | false ⓘ |
| relatedConcept |
complement
ⓘ
contradiction ⓘ opposition ⓘ polarity ⓘ truth value ⓘ |
| studiedIn |
formal semantics
ⓘ
logic ⓘ philosophy of language ⓘ pragmatics ⓘ theoretical linguistics ⓘ |
| symbolizedBy |
!
ⓘ
not ⓘ ~ ⓘ ¬ ⓘ |
| usedIn |
classical logic
ⓘ
database query languages ⓘ first‑order logic ⓘ intuitionistic logic NERFINISHED ⓘ modal logic ⓘ natural language semantics ⓘ paraconsistent logic ⓘ programming languages ⓘ propositional logic NERFINISHED ⓘ set theory ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.