Double negation
In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation. "This is the principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation."
notableIdea
AnthropomorphismBertrand_RussellBoolean algebra (structure)Call-with-current-continuationCape Verdean CreoleClassical logicConjunctive normal formConstructive dilemmaDNEDestructive dilemmaDisjunctive normal formDouble-negation eliminationDouble NegativeDouble negation eliminationDouble negation introductionDouble negative eliminationDouble negative introductionDouble tildeExportation (logic)GodGod in IslamHeyting algebraHilbert systemIndex of logic articlesIndex of philosophy articles (D–H)Index of philosophy articles (I–Q)IntuitionIntuitionistic logicInverse (logic)Law of double negationList of rules of inferenceLogical double negationLogical double negation (logic)Logical equivalenceModus ponendo tollensNegative eliminationNon-classical logicOutline of logicParaconsistent logicParadiplomacy
Link from a Wikipage to another Wikipage
notable ideas
seeAlso
primaryTopic
Double negation
In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation. "This is the principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation."
has abstract
Das Gesetz der doppelten Negat ...... von der jeweiligen Sprache ab.
@de
En lógica proposicional, la do ...... intuicionista no lo permite.
@es
In de klassieke logica is elim ...... van een formule te veranderen.
@nl
In propositional logic, double ...... he falsehood of its negation."
@en
Na lógica proposicional, a dup ...... ação e negação ao mesmo tempo.
@pt
Prawo podwójnego przeczenia – ...... algebrze tej prawdziwe jest :
@pl
Зако́н двойно́го отрица́ния — ...... нцип конструктивного подбора).
@ru
Зако́н подві́йного запере́ченн ...... азі, може взагалі не існувати.
@uk
二重否定の除去（にじゅうひていのじょきょ、英: Double ...... は等価である（ここで、AC は A の補集合を意味する）。
@ja
在命題邏輯裡，雙重否定除去（或雙重否定介入）此一推理規則允許 ...... ：集合A和集合 (AC)C（這裡的AC表A的補集）是相同的。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,002,845,042
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Das Gesetz der doppelten Negat ...... Sinne der Dialektik (Hegels).
@de
En lógica proposicional, la do ...... intuicionista no lo permite.
@es
In de klassieke logica is elim ...... ectievelijk ook genoteerd als:
@nl
In propositional logic, double ...... he falsehood of its negation."
@en
Na lógica proposicional, a dup ...... e a falsidade de sua negação."
@pt
Prawo podwójnego przeczenia – ...... W rzeczy samej, w algebrze tej
@pl
Зако́н двойно́го отрица́ния — ...... отрицания выражается формулой
@ru
Зако́н подві́йного запере́ченн ...... я може бути виражений формулою
@uk
二重否定の除去（にじゅうひていのじょきょ、英: Double ...... は等価である（ここで、AC は A の補集合を意味する）。
@ja
在命題邏輯裡，雙重否定除去（或雙重否定介入）此一推理規則允許 ...... ：集合A和集合 (AC)C（這裡的AC表A的補集）是相同的。
@zh
label
Doble negación (lógica)
@es
Double negation
@en
Dupla negação
@pt
Eliminación de la doble negación
@es
Eliminatie van dubbele negatie
@nl
Gesetz der doppelten Negation
@de
Prawo podwójnego przeczenia
@pl
Prawo podwójnej negacji
@pl
Закон двойного отрицания
@ru
Закон подвійного заперечення
@uk