blanketglossary

Negation

Definition

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.

Related concepts

ALGOL 60 AND gate Abstract logic Ackermann set theory Ada programming language Affine transformation Affirmation and negation Aleph number Algebraic logic Algebraic semantics (mathematical logic)Alphabet (formal languages)Alternative semantics Ambiguity Ampersand Ampheck Anaphora (linguistics)Antecedent-contained deletion Apophasis Argument Arity Arrow (symbol)Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Autonomy of syntax Axiom Axiom of choice Axiom schema Axiomatic system Axiomatization of Boolean algebras BASIC B (programming language)Banach–Tarski paradox Bijection Binary numeral system Binary operation Binary opposition Binding (linguistics)Bitwise NOT Bitwise negation Boolean algebra Boolean algebra (structure)Boolean algebras canonically defined Boolean function Brouwer–Heyting–Kolmogorov interpretation C++C Programming Language Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinality Cartesian product Cataphora Categorial grammar Categorical theory Category (mathematics)Category of sets Category theory Church encoding Church–Turing thesis Class (set theory)Classical logic Codomain Coercion (linguistics)Cognitive semantics Colloquial Combinatory categorial grammar Compactness theorem Complement (order theory)Complement (set theory)Complete theory Computability theory Computable function Computable set Computably enumerable set Computational semantics Computer science Concrete category Conditional proof Conditional sentence Conjunctive normal form Conservative extension Conservativity Consistency Constructible universe Construction of the real numbers Constructive set theory Context set Continuation Continuum hypothesis Contradiction Contraposition Conversational scoreboard Converse (logic)Converse nonimplication Countable set Counterfactuals Crossover effects Cumulativity (linguistics)Cyclic negation De Morgan's laws De dicto and de re De se Decidability (logic)Decision problem Deductive system Definiteness Denotation Deontic modality Diagram (mathematical logic)Digital buffer Discourse relation Discourse representation theory Disjunction Disjunctive normal form Distributional semantics Distributive property Domain of a function Donkey anaphora Double-negation translation Double negation Double turnstile Dov Gabbay Downward entailing Dynamic semantics Edward N. Zalta Eiffel (programming language)Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Empty set Encyclopedia of Mathematics Enumeration Epistemic modality Equiconsistency Equivalence relation Eric S. Raymond Euclid's Elements Euclidean geometry European Mathematical Society Evidentiality Exclamation mark Exclusive or Exhaustivity Existential closure Existential quantification Expression (mathematics)Extension (semantics)Extension by definitions Extension by new constant and function names Extensionality False (logic)Faultless disagreement Finitary relation Finite-valued logic Finite model theory Finite set First-order logic Fixed-point logic Focus (linguistics)Forcing (mathematics)Formal grammar Formal language Formal proof Formal semantics (logic)Formal semantics (natural language)Formal system Formation rule Foundations of geometry Foundations of mathematics Free choice inference Free logic Free variables and bound variables Function (mathematics)Function application Functional completeness Functional predicate Fuzzy set G. H. von Wright General set theory Generalized quantifier Generative grammar Givenness Glue semantics Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Halting problem Hereditary set Heyting algebra Higher-order logic Hilbert's axioms Hilbert system History of logic History of mathematical logic Homogeneity (linguistics)Horseshoe (symbol)Hurford disjunction IMPLY gate If and only if Image (mathematics)Inaccessible cardinal Inalienable possession Independence (mathematical logic)Indexicality Inference Inferentialism Infinite-valued logic Infinite set Information theory Inhabited set Injective function Inquisitive semantics Intension Intensional logic Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Intersective modifier Intuitionistic logic Inverter (logic gate)Involution (mathematics)Isomorphism JavaScript Java (programming language)Kluwer Kolmogorov complexity Kripke's theory of truth Kripke semantics Kripke–Platek set theory Lambda calculus Large cardinal Laurence R. Horn Lemma (mathematics)Lexical semantics Lindström's theorem Linguistic entailment Linguistics wars List of Hilbert systems List of axioms List of first-order theories List of formal systems List of logic symbols List of mathematical theories List of set identities and relations List of statements independent of ZFC Logic Logic gate Logic translation Logical NOR Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical form (linguistics)Logical operation Logical truth Logical value Logically equivalent Logicism Logophoricity Löwenheim–Skolem theorem Many-valued logic Map (mathematics)Material conditional Material nonimplication MathWorld Mathematical logic Mathematical object Meaning postulate Mereology Metalanguage Minimal axioms for Boolean algebra Mirativity Modal subordination Modality (semantics)Model complete theory Model theory Modus ponens Monad (functional programming)Monadic predicate calculus Monadic second-order logic Monotonic function Montague grammar Morse–Kelley set theory NAND gate NIMPLY gate NOR gate NOT gate NP (complexity)Naive set theory Natural deduction Negation (arithmetic)Negation (disambiguation)Negation as failure Negative sign New Foundations Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic Notion (philosophy)OR gate Opaque context Open formula Operation (mathematics)Ordinal analysis Ordinal number PHP PL/I P (complexity)P versus NP problem Paraconsistent logic Paradoxes of set theory Partition of a set Pascal programming language Peano axioms Performative utterance Perl Philosophy of language Philosophy of logic Philosophy of mathematics Plato's beard Plural quantification Polarity item Polish notation Possible world Possible world semantics Post's lattice Power set Pragmatics Precedence rule Predicate (mathematical logic)Predicate logic Predicate variable Presupposition Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Principle of compositionality Privative adjective Programming idiom Programming language Proof of impossibility Proof theory Proposition Proposition (mathematics)Propositional attitudes Propositional calculus Propositional formula Propositional variable Quantificational variability effect Quantifier (logic)Quantifier raising Quantifier rank Quantization (linguistics)Question under discussion Ratfor Recursion Recursive set Reductio ad absurdum Reference Relation (mathematics)Responsive predicate Reverse mathematics Rising declarative Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Scalar implicature Schröder–Bernstein theorem Scope (formal semantics)Scope (logic)Second-order arithmetic Second-order logic Segmented discourse representation theory Self-verifying theories Semantic parsing Semantic theory of truth Semantics (logic)Semantics of logic Sentence (mathematical logic)Sequent calculus Set-theoretic complement Set (mathematics)Set theory Sheffer stroke Signature (logic)Signed number representations Singleton (mathematics)Situation semantics Skolem arithmetic Slang Slate Magazine Sloppy identity Soundness Spectrum of a sentence Spectrum of a theory Speech act Square of opposition Squiggle operator Stanford Encyclopedia of Philosophy Statement (logic)Strawson entailment Strength (mathematical logic)Strict conditional String (formal languages)Structure (mathematical logic)Subsective modifier Subset Substitution (logic)Substructure (mathematics)Subtrigging Supertask Supervaluationism Surjective function Syllogism Symbol (formal)Syntax (logic)Syntax–semantics interface T-schema Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Tee (symbol)Telicity Temperature paradox Tense–aspect–mood Term (logic)Term logic Theorem Theories of truth Theory (mathematical logic)Therefore sign Three-valued logic Tilde Timeline of mathematical logic Transfer principle Transitive set Triple bar True (logic)True arithmetic Truth-conditional semantics Truth-value Truth function Truth predicate Truth table Truth value Turing machine Turned A Turnstile (symbol)Two's complement Type (model theory)Type shifter Type theory Type theory with records Ultrafilter (set theory)Ultraproduct Unary operation Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Universal grinder Universal quantification Universal set Universe (mathematics)University of Chicago Press Up tack Urelement Vagueness Validity (logic)Variable (mathematics)Vel (symbol)Venn diagram Veridicality Von Neumann universe Von Neumann–Bernays–Gödel set theory Wedge (symbol)Well-formed formula Wikipedia Wiley-Blackwell XNOR gate XOR gate Xor Zermelo–Fraenkel set theory Zhegalkin polynomial

146 concepts already in your glossary