- law of double negation
-
The statement that the negation of the negation of A implies A, for any proposition A. Stated symbolically: .
Wikipedia foundation.
law of double negation
Look at other dictionaries:
Double negation — This article is about the logical concept. For the linguistic concept, see Double negative. 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.… … Wikipedia
Law of excluded middle — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see Table of logic symbols. In logic, the law of the excluded middle states that the propositional calculus formula P ∨ ¬ P ( P or not P… … Wikipedia
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Involution (mathematics) — In mathematics, an involution, or an involutary function, is a function that is its own inverse, so that: f ( f ( x )) = x for all x in the domain of f . General propertiesAny involution is a bijection.The identity map is a trivial example of an… … Wikipedia
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Tumbolia — In Douglas Hofstadter s Gödel, Escher, Bach , Tumbolia is the land of dead hiccups and extinguished lightbulbs , where dormant software waits for its host hardware to come back up .Fact|date=June 2008Tumbolia, viewed by many readers as one of… … Wikipedia
intuitionistic logic — noun A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirces law. It is the foundation of intuitionism. Just because is not axiomatically true (for all P) does not mean that is… … Wiktionary
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
