Word.ws English Dictionary

law of double negation

law of double negation noun: the statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.

Noun

law of double negation

  1. The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.
    • The law of double negation is not valid intuitionistically. To show this with Heyting algebra semantics, let A#61;(0,1)#92;cup(1,2). Then #92;negA#61;(-#92;infty,0)#92;cup(2,#92;infty), #92;neg#92;negA#61;(0,2), #92;neg#92;negA#92;toA#61;(-#92;infty,1)#92;cup(1,#92;infty)#92;ne#92;mathbb#123;R#125;.

law of double negation meaning in Tamil

law of double negation in Tamil

இரட்டை எதிர்மறை நியதி

Questions about law of double negation

What does law of double negation mean?
Law of double negation means the statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: ¬¬A→A.
What is law of double negation in Tamil?
Law of double negation in Tamil is இரட்டை எதிர்மறை நியதி. See Law of double negation meaning in Tamil.
What part of speech is law of double negation?
Law of double negation is a noun.

Words near law of double negation in the dictionary

  1. law of cosines
  2. law of demand
  3. Law of Demeter
  4. law of diminishing marginal utility
  5. law of diminishing returns
  6. law of double negation
  7. law of excluded middle
  8. law of Hobson-Jobson
  9. law of holes
  10. law of identity
  11. Law of Jante

Source and license

Adapted from Wiktionary: law of double negation (page history and authors); law of double negation (Tamil Wiktionary) (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “law of double negation.” Word.ws, https://word.ws/law_of_double_negation. Based on Wiktionary, CC BY-SA 4.0.