law of double negation

Hello, you have come here looking for the meaning of the word law of double negation. In DICTIOUS you will not only get to know all the dictionary meanings for the word law of double negation, but we will also tell you about its etymology, its characteristics and you will know how to say law of double negation in singular and plural. Everything you need to know about the word law of double negation you have here. The definition of the word law of double negation will help you to be more precise and correct when speaking or writing your texts. Knowing the definition oflaw of double negation, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

English Wikipedia has an article on:

Double negative elimination

Noun

law of double negation

(logic) The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: $\neg \neg A\to A$ .
The law of double negation is not valid intuitionistically. To show this with Heyting algebra semantics, let $A=(0,1)\cup (1,2)$ . Then $\neg A=(-\infty ,0)\cup (2,\infty )$ , $\neg \neg A=(0,2)$ , $\neg \neg A\to A=(-\infty ,1)\cup (1,\infty )\neq \mathbb {R}$ .

Wikious

Boobota

Sagapedia