e/Double negation

Information
has gloss	eng: In the theory of logic, double negation is expressed by saying that a proposition A is identical to (equivalent to) not (not-A), or by the formula A = ~~A. Like the Law of Excluded Middle, this principle when extended to an infinite collection of individuals is disallowed by Intuitionistic logic. Some writers grant this "law" the status of a Law of thought.
lexicalization	eng: Double negation
instance of	c/Logic books