| Japanese |
| has gloss | jpn: 二重否定の除去（にじゅうひていのじょきょ、）は、論理学、特に命題論理における推論規則の1つである。いわゆる二重否定と等価なものを追加したり（二重否定の導入）、二重の否定作用素を削除したり（二重否定の除去）といった操作を論理式に施す。 |
| lexicalization | jpn: 二重否定の除去 |
| Dutch |
| has gloss | nld: In de klassieke logica is eliminatie van dubbele negatie (ook: dubbele negatie-eliminatie) een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande. Deze afleidingsregel maakt gebruik van de gelijkheid \neg \neg \phi \equiv \phi, die geldt voor alle formules \phi. Anders gezegd geldt dat uit \neg \neg \phi de formule \phi afleidbaar is: \neg \neg \phi \vdash \phi. Op vergelijkbare wijze kan ook een dubbele negatie geïntroduceerd worden: \phi \vdash \neg \neg \phi. |
| lexicalization | nld: Eliminatie van dubbele negatie |
| Portuguese |
| has gloss | por: Na lógica e na lógica proposicional, as regras de inferência eliminação da dupla negação e introdução da dupla negação permitem eliminar ou introduzir um par de sinais de negação. Essas regras se baseiam na equivalência de, por exemplo, |
| lexicalization | por: Dupla Negacao |
| lexicalization | por: Dupla Negação |
| Russian |
| has gloss | rus: Зако́н двойно́го отрица́ния — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то верно А». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики высказываний закон двойного отрицания выражается формулой :\neg\neg A \rightarrow A и в таком виде фигурирует обычно в перечне логических аксиом формальных теорий. В традиционной содержательной математике закон двойного отрицания служит логическим основанием для проведения так называемых доказательств от противного по следующей схеме: из предположения, что суждение А данной математической теории неверно, выводится противоречие в этой теории, затем на основании непротиворечивости теории делается вывод, что неверно «не А», и тогда по закону двойного отрицания заключают, что верно А. В рамках конструктивных рассмотрений, когда действует требование алгоритмической реализуемости обоснования математических суждений, закон двойного отрицания оказывается, вообще говоря, неприемлемым. |
| lexicalization | rus: закон двойного отрицания |
| Chinese |
| has gloss | zho: 在命題邏輯裡，雙重否定除去（或雙重否定介入）此一推理規則允許導入（雙重否定介入）或除去（雙重否定除去）一對否定來導出等價的公式。這是基於如 |
| lexicalization | zho: 双重否定除去 |