Negation

  • negation
    not
    definition
    truth table
    logic gatenot ansi.svg
    normal forms
    disjunctive
    conjunctive
    zhegalkin polynomial
    post's lattices
    0-preservingno
    1-preservingno
    monotoneno
    affineyes

    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 .

  • definition
  • notation
  • properties
  • rules of inference
  • programming
  • kripke semantics
  • see also
  • references
  • further reading
  • external links

Negation
NOT
Definition
Truth table
Logic gateNOT ANSI.svg
Normal forms
Disjunctive
Conjunctive
Zhegalkin polynomial
Post's lattices
0-preservingno
1-preservingno
Monotoneno
Affineyes

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 .

Other Languages
العربية: نفي (رياضيات)
български: Отрицание
čeština: Negace
dansk: Negation
Deutsch: Negation
eesti: Eitus
emiliàn e rumagnòl: Negasiòun (matemàtica)
Esperanto: Logika neo
فارسی: نقیض
हिन्दी: निषेध (तर्क)
hrvatski: Negacija
Bahasa Indonesia: Negasi
қазақша: Терістеу
Latina: Negatio
magyar: Negáció
македонски: Негација
Bahasa Melayu: Negasi
Nederlands: Logische negatie
日本語: 否定
norsk: Negasjon
Piemontèis: Negassion
polski: Negacja
português: Negação
русский: Отрицание
shqip: Negacioni
Simple English: Logical negation
slovenčina: Negácia (logika)
slovenščina: Negacija
српски / srpski: Логичка негација
srpskohrvatski / српскохрватски: Logička negacija
svenska: Negation
ไทย: นิเสธ
тоҷикӣ: Инкор
українська: Заперечення
中文: 逻辑非