"Prawo podw\u00F3jnej negacji"@pl . "If a statement is true, then it is not the case that the statement is not true.\""@en . . . . . "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 \u2261 ~(~A) where the sign \u2261 expresses logical equivalence and the sign ~ expresses negation. Like the law of the excluded middle, this principle is considered to be a law of thought in classical logic, but it is disallowed by intuitionistic logic. The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as: \"This is the principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation.\""@en . . "\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\uFF08\u306B\u3058\u3085\u3046\u3072\u3066\u3044\u306E\u3058\u3087\u304D\u3087\u3001\u82F1: double negation elimination\uFF09\u306F\u3001\u8AD6\u7406\u5B66\u3001\u7279\u306B\u547D\u984C\u8AD6\u7406\u306B\u304A\u3051\u308B\u63A8\u8AD6\u898F\u5247\u306E1\u3064\u3067\u3042\u308B\u3002\u3044\u308F\u3086\u308B\u4E8C\u91CD\u5426\u5B9A\u3068\u7B49\u4FA1\u306A\u3082\u306E\u3092\u8FFD\u52A0\u3057\u305F\u308A\uFF08\u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\uFF09\u3001\u4E8C\u91CD\u306E\u5426\u5B9A\u4F5C\u7528\u7D20\u3092\u524A\u9664\u3057\u305F\u308A\uFF08\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\uFF09\u3068\u3044\u3063\u305F\u64CD\u4F5C\u3092\u8AD6\u7406\u5F0F\u306B\u65BD\u3059\u3002 \u3053\u308C\u306F\u3001\u6B21\u306E\u4E8C\u3064\u306E\u6587\u304C\u7B49\u4FA1\u3067\u3042\u308B\u3053\u3068\u306B\u57FA\u3065\u3044\u3066\u3044\u308B\u3002 \u300C\u96E8\u304C\u964D\u3063\u3066\u3044\u306A\u3044\u3068\u3044\u3046\u306E\u306F\u507D\u3067\u3042\u308B\u300D \u3068 \u300C\u96E8\u304C\u964D\u3063\u3066\u3044\u308B\u300D \u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\u3092\u81EA\u7136\u6F14\u7E79\u306E\u5F62\u5F0F\u3067\u8868\u3059\u3068\u6B21\u306E\u3088\u3046\u306B\u306A\u308B\u3002 \u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\u3092\u81EA\u7136\u6F14\u7E79\u306E\u5F62\u5F0F\u3067\u8868\u3059\u3068\u6B21\u306E\u3088\u3046\u306B\u306A\u308B\u3002 \u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\uFF08\u82F1: double negation introduction\uFF09\u306F\u3001\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\u306E\u9006\u3067\u3042\u308A\u3001\u547D\u984C\u306E\u610F\u5473\u3092\u5909\u3048\u305A\u306B\u4E8C\u91CD\u5426\u5B9A\u3092\u8FFD\u52A0\u3067\u304D\u308B\u3053\u3068\u3092\u610F\u5473\u3057\u3066\u3044\u308B\u3002 \u3053\u308C\u3089\u306E\u898F\u5247\u306F\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8\u306E\u8A18\u6CD5\u3092\u4F7F\u3046\u3068\u6B21\u306E\u3088\u3046\u306B\u3082\u8868\u305B\u308B\u3002 ,. \u3053\u308C\u30892\u3064\u306E\u63A8\u8AD6\u898F\u5247\u306B\u6F14\u7E79\u5B9A\u7406\u3092\u9069\u7528\u3059\u308B\u3068\u3001\u4EE5\u4E0B\u306E2\u3064\u306E\u59A5\u5F53\u306A\u8AD6\u7406\u5F0F\u304C\u5F97\u3089\u308C\u308B\u3002 ,, \u3053\u308C\u3089\u306F\u3001\u6B21\u306E1\u3064\u306E\u8AD6\u7406\u5F0F\u306B\u307E\u3068\u3081\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002 . \u53CC\u65B9\u5411\u306E\u542B\u610F\u95A2\u4FC2\u306F\u540C\u5024\u95A2\u4FC2\u3067\u3042\u308B\u305F\u3081\u3001\u8AD6\u7406\u5F0F\u5185\u306E\u4EFB\u610F\u306E \uFFE2\uFFE2A \u306F A \u306B\u7F6E\u63DB\u3067\u304D\u3001\u305D\u306E\u969B\u306B\u305D\u306E\u8AD6\u7406\u5F0F (wff) \u306E\u771F\u7406\u5024\u306F\u5909\u5316\u3057\u306A\u3044\u3002 \u7D20\u6734\u96C6\u5408\u8AD6\u3067\u3082\u3001\u88DC\u96C6\u5408\u304C\u540C\u69D8\u306E\u6027\u8CEA\u3092\u6301\u3064\u3002\u96C6\u5408 A \u3068\u96C6\u5408 (AC)C \u306F\u7B49\u4FA1\u3067\u3042\u308B\uFF08\u3053\u3053\u3067\u3001AC \u306F A \u306E\u88DC\u96C6\u5408\u3092\u610F\u5473\u3059\u308B\uFF09\u3002"@ja . . "\uC774\uC911 \uBD80\uC815"@ko . . . . . . . ""@en . . . . . . . . . "Das Gesetz der doppelten Negation (auch Prinzip der doppelten Negation, oder lateinisch duplex negatio affirmat \u2013 die doppelte Verneinung bekr\u00E4ftigt/bejaht) ist ein Gesetz der klassischen Logik, wonach die Verneinung eines verneinten (Aussage-)Satzes gleichbedeutend ist mit der Bejahung des Satzes, ein doppelt verneinter Satz \u00AC\u00ACA also denselben Wahrheitswert hat wie der unverneinte Satz A. Die doppelte Negation im Sinne der Logik ist zu unterscheiden von der Negation der Negation im Sinne der Dialektik (Hegels). Die Geltung des Gesetzes der doppelten Negation besteht uneingeschr\u00E4nkt in der klassischen Logik, da dort das Bivalenzprinzip gilt. In der intuitionistischen Logik ist das Gesetz nicht g\u00FCltig. In dieser gilt nur A \u2192 \u00AC\u00ACA, aber nicht \u00AC\u00ACA \u2192 A. Als Schlussregeln lassen sich die Doppelte-Negations-Einf\u00FChrung und die Doppelte-Negations-Beseitigung anf\u00FChren. Die Regel der Doppelten-Negations-Einf\u00FChrung besagt: Wenn aus einer Menge von Annahmen X der Satz A gefolgert werden kann, dann kann aus derselben Menge X auch die doppelte Negation von A gefolgert werden, also \u00AC\u00ACA. Die Regel der Doppelten-Negations-Beseitigung besagt: Wenn man aus einer Menge von Annahmen X die doppelte Negation von A \u2013 also \u00AC\u00ACA folgern kann, dann kann man aus dieser Menge X ebenfalls auf A schlie\u00DFen. Ob eine doppelte Verneinung in einer nat\u00FCrlichen Sprache die erste Verneinung aufhebt (Deutsch, Latein) oder sie verst\u00E4rkt (Englisch, Franz\u00F6sisch, Spanisch), h\u00E4ngt von der jeweiligen Sprache ab."@de . . . "\u0417\u0430\u043A\u043E\u0301\u043D \u043F\u043E\u0434\u0432\u0456\u0301\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0301\u0447\u0435\u043D\u043D\u044F \u2014 \u043F\u0440\u0438\u043D\u0446\u0438\u043F, \u0449\u043E \u043F\u043E\u043A\u043B\u0430\u0434\u0435\u043D\u0438\u0439 \u0432 \u043E\u0441\u043D\u043E\u0432\u0443 \u043A\u043B\u0430\u0441\u0438\u0447\u043D\u043E\u0457 \u043B\u043E\u0433\u0456\u043A\u0438, \u0437\u0433\u0456\u0434\u043D\u043E \u0437 \u044F\u043A\u0438\u043C \u00AB\u044F\u043A\u0449\u043E \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E, \u0449\u043E \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E \u0410, \u0442\u043E \u0410 \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u00BB. \u0417\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u043A\u043E\u043D\u043E\u043C \u0437\u043D\u044F\u0442\u0442\u044F \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F. \u0424\u043E\u0440\u043C\u0430\u043B\u0456\u0437\u043E\u0432\u0430\u043D\u043E\u044E \u043C\u043E\u0432\u043E\u044E \u043B\u043E\u0433\u0456\u043A\u0438 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u044C \u0437\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u0432\u0438\u0440\u0430\u0436\u0435\u043D\u0438\u0439 \u0444\u043E\u0440\u043C\u0443\u043B\u043E\u044E \u0456 \u0432 \u0442\u0430\u043A\u043E\u043C\u0443 \u0432\u0438\u0433\u043B\u044F\u0434\u0456 \u0444\u0456\u0433\u0443\u0440\u0443\u0454, \u0437\u0430\u0437\u0432\u0438\u0447\u0430\u0439, \u0432 \u043F\u0435\u0440\u0435\u043B\u0456\u043A\u0443 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u0445 \u0430\u043A\u0441\u0456\u043E\u043C \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u0438\u0445 \u0442\u0435\u043E\u0440\u0456\u0439. \u0423 \u0442\u0440\u0430\u0434\u0438\u0446\u0456\u0439\u043D\u0456\u0439 \u0437\u043C\u0456\u0441\u0442\u043E\u0432\u043D\u0456\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456 \u0437\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0441\u043B\u0443\u0436\u0438\u0442\u044C \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u044E \u043F\u0456\u0434\u0441\u0442\u0430\u0432\u043E\u044E \u0434\u043B\u044F \u043F\u0440\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0442\u0430\u043A \u0437\u0432\u0430\u043D\u0438\u0445 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u044C \u0432\u0456\u0434 \u0441\u0443\u043F\u0440\u043E\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u0437\u0430 \u043D\u0430\u0441\u0442\u0443\u043F\u043D\u043E\u044E \u0441\u0445\u0435\u043C\u043E\u044E: \u0437 \u043F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u043D\u044F, \u0449\u043E \u0441\u0443\u0434\u0436\u0435\u043D\u043D\u044F \u0410 \u0446\u0456\u0454\u0457 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0457 \u0442\u0435\u043E\u0440\u0456\u0457 \u0454 \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0438\u043C, \u0432\u0438\u0432\u043E\u0434\u0438\u0442\u044C\u0441\u044F \u0441\u0443\u043F\u0435\u0440\u0435\u0447\u043D\u0456\u0441\u0442\u044C \u0443 \u0446\u0456\u0439 \u0442\u0435\u043E\u0440\u0456\u0457, \u043F\u043E\u0442\u0456\u043C \u043D\u0430 \u043F\u0456\u0434\u0441\u0442\u0430\u0432\u0456 \u043D\u0435\u0441\u0443\u043F\u0435\u0440\u0435\u0447\u043D\u043E\u0441\u0442\u0456 \u0442\u0435\u043E\u0440\u0456\u0457 \u0440\u043E\u0431\u0438\u0442\u044C\u0441\u044F \u0432\u0438\u0441\u043D\u043E\u0432\u043E\u043A, \u0449\u043E \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0438\u043C \u0454 \u00AB\u043D\u0435 \u0410\u00BB, \u0442\u043E\u0434\u0456 \u0437\u0430 \u0437\u0430\u043A\u043E\u043D\u043E\u043C \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0443\u043A\u043B\u0430\u0434\u0430\u044E\u0442\u044C \u0442\u0435, \u0449\u043E \u0410 \u0454 \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0438\u043C. \u0423 \u0440\u0430\u043C\u043A\u0430\u0445 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0438\u0445 \u043F\u043E\u0433\u043B\u044F\u0434\u0456\u0432, \u043A\u043E\u043B\u0438 \u0434\u0456\u0454 \u0432\u0438\u043C\u043E\u0433\u0430 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0447\u043D\u043E\u0457 \u0440\u0435\u0430\u043B\u0456\u0437\u043E\u0432\u0430\u043D\u043E\u0441\u0442\u0456 \u043E\u0431\u0491\u0440\u0443\u043D\u0442\u0443\u0432\u0430\u043D\u043D\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u0441\u0443\u0434\u0436\u0435\u043D\u044C, \u0437\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u0432\u0438\u044F\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F, \u0432\u0437\u0430\u0433\u0430\u043B\u0456 \u043A\u0430\u0436\u0443\u0447\u0438, \u043D\u0435\u043F\u0440\u0438\u0439\u043D\u044F\u0442\u043D\u0438\u043C. \u0422\u0438\u043F\u043E\u0432\u0438\u043C \u043F\u0440\u0438\u043A\u043B\u0430\u0434\u043E\u043C \u0431\u0443\u0434\u0435 \u0431\u0443\u0434\u044C-\u044F\u043A\u0435 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0432\u0456\u0434 \u043F\u0440\u043E\u0442\u0438\u043B\u0435\u0436\u043D\u043E\u0433\u043E \u0441\u0443\u0434\u0436\u0435\u043D\u043D\u044F \u0410, \u0449\u043E \u043C\u0430\u0454 \u0432\u0438\u0433\u043B\u044F\u0434 \u00AB\u043F\u0440\u0438 \u0431\u0443\u0434\u044C-\u044F\u043A\u043E\u043C\u0443 x \u0456\u0441\u043D\u0443\u0454 y \u0442\u0430\u043A\u0438\u0439, \u0449\u043E \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0438\u043C \u0454 \u0412 (\u0445, \u0443)\u00BB, \u043A\u043E\u043B\u0438 \u043E\u0441\u0442\u0430\u043D\u043D\u0456\u0439 \u043A\u0440\u043E\u043A, \u0449\u043E \u043F\u043E\u043B\u044F\u0433\u0430\u0454 \u0432 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u0456 \u0437\u0430\u043A\u043E\u043D\u0443 \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F, \u0432\u0438\u044F\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F \u043D\u0435\u043C\u043E\u0436\u043B\u0438\u0432\u0438\u043C \u0447\u0435\u0440\u0435\u0437 \u0442\u0435, \u0449\u043E \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0435 \u0440\u043E\u0437\u0443\u043C\u0456\u043D\u043D\u044F \u0441\u0443\u0434\u0436\u0435\u043D\u043D\u044F \u0432\u0438\u043C\u0430\u0433\u0430\u0454 \u0434\u043B\u044F \u0439\u043E\u0433\u043E \u043E\u0431\u0491\u0440\u0443\u043D\u0442\u0443\u0432\u0430\u043D\u043D\u044F \u043F\u043E\u0431\u0443\u0434\u043E\u0432\u0438 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0434\u043B\u044F \u043A\u043E\u0436\u043D\u043E\u0433\u043E x \u0434\u0430\u0432\u0430\u0432 \u0431\u0438 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0456\u044E \u0443 \u0442\u0430\u043A\u043E\u0433\u043E, \u0449\u043E \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u0438\u043C \u0431\u0443\u043B\u043E \u0431 \u0412 (\u0445, \u0443). \u0422\u0438\u043C \u0447\u0430\u0441\u043E\u043C \u043C\u0456\u0440\u043A\u0443\u0432\u0430\u043D\u043D\u044F \u0456\u0437 \u0437\u0430\u0441\u0442\u043E\u0441\u0443\u0432\u0430\u043D\u043D\u044F\u043C \u0437\u0430\u043A\u043E\u043D\u0443 \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u043D\u0435 \u043F\u0440\u0438\u0432\u043E\u0434\u0438\u0442\u044C \u0434\u043E \u043F\u043E\u0431\u0443\u0434\u043E\u0432\u0438 \u044F\u043A\u043E\u0433\u043E-\u043D\u0435\u0431\u0443\u0434\u044C \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443; \u0431\u0430 \u0431\u0456\u043B\u044C\u0448\u0435, \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0448\u0443\u043A\u0430\u044E\u0442\u044C \u0432 \u0446\u044C\u043E\u043C\u0443 \u0440\u0430\u0437\u0456, \u043C\u043E\u0436\u0435 \u0432\u0437\u0430\u0433\u0430\u043B\u0456 \u043D\u0435 \u0456\u0441\u043D\u0443\u0432\u0430\u0442\u0438."@uk . "Na l\u00F3gica proposicional, a dupla nega\u00E7\u00E3o \u00E9 o teorema que afirma que \"Se uma declara\u00E7\u00E3o \u00E9 verdadeira, ent\u00E3o n\u00E3o \u00E9 o caso que a declara\u00E7\u00E3o n\u00E3o \u00E9 verdadeira\". Isto \u00E9 expresso ao dizer que uma proposi\u00E7\u00E3o A \u00E9 logicamente equivalente a n\u00E3o (n\u00E3o-A), ou pela f\u00F3rmula A \u2261 ~(~A) onde o sinal \u2261 exprime a equival\u00EAncia l\u00F3gica e o sinal ~ expressa nega\u00E7\u00E3o. \"Este \u00E9 o princ\u00EDpio da dupla nega\u00E7\u00E3o, isto \u00E9, uma proposi\u00E7\u00E3o \u00E9 equivalente a falsidade de sua nega\u00E7\u00E3o.\""@pt . . . . . "Gesetz der doppelten Negation"@de . "Eliminaci\u00F3n de la doble negaci\u00F3n"@es . "\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB"@ja . "\u0417\u0430\u043A\u043E\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F"@ru . . "\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\uFF08\u306B\u3058\u3085\u3046\u3072\u3066\u3044\u306E\u3058\u3087\u304D\u3087\u3001\u82F1: double negation elimination\uFF09\u306F\u3001\u8AD6\u7406\u5B66\u3001\u7279\u306B\u547D\u984C\u8AD6\u7406\u306B\u304A\u3051\u308B\u63A8\u8AD6\u898F\u5247\u306E1\u3064\u3067\u3042\u308B\u3002\u3044\u308F\u3086\u308B\u4E8C\u91CD\u5426\u5B9A\u3068\u7B49\u4FA1\u306A\u3082\u306E\u3092\u8FFD\u52A0\u3057\u305F\u308A\uFF08\u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\uFF09\u3001\u4E8C\u91CD\u306E\u5426\u5B9A\u4F5C\u7528\u7D20\u3092\u524A\u9664\u3057\u305F\u308A\uFF08\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\uFF09\u3068\u3044\u3063\u305F\u64CD\u4F5C\u3092\u8AD6\u7406\u5F0F\u306B\u65BD\u3059\u3002 \u3053\u308C\u306F\u3001\u6B21\u306E\u4E8C\u3064\u306E\u6587\u304C\u7B49\u4FA1\u3067\u3042\u308B\u3053\u3068\u306B\u57FA\u3065\u3044\u3066\u3044\u308B\u3002 \u300C\u96E8\u304C\u964D\u3063\u3066\u3044\u306A\u3044\u3068\u3044\u3046\u306E\u306F\u507D\u3067\u3042\u308B\u300D \u3068 \u300C\u96E8\u304C\u964D\u3063\u3066\u3044\u308B\u300D \u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\u3092\u81EA\u7136\u6F14\u7E79\u306E\u5F62\u5F0F\u3067\u8868\u3059\u3068\u6B21\u306E\u3088\u3046\u306B\u306A\u308B\u3002 \u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\u3092\u81EA\u7136\u6F14\u7E79\u306E\u5F62\u5F0F\u3067\u8868\u3059\u3068\u6B21\u306E\u3088\u3046\u306B\u306A\u308B\u3002 \u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\uFF08\u82F1: double negation introduction\uFF09\u306F\u3001\u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\u306E\u9006\u3067\u3042\u308A\u3001\u547D\u984C\u306E\u610F\u5473\u3092\u5909\u3048\u305A\u306B\u4E8C\u91CD\u5426\u5B9A\u3092\u8FFD\u52A0\u3067\u304D\u308B\u3053\u3068\u3092\u610F\u5473\u3057\u3066\u3044\u308B\u3002 \u3053\u308C\u3089\u306E\u898F\u5247\u306F\u30B7\u30FC\u30AF\u30A8\u30F3\u30C8\u306E\u8A18\u6CD5\u3092\u4F7F\u3046\u3068\u6B21\u306E\u3088\u3046\u306B\u3082\u8868\u305B\u308B\u3002 ,. \u3053\u308C\u30892\u3064\u306E\u63A8\u8AD6\u898F\u5247\u306B\u6F14\u7E79\u5B9A\u7406\u3092\u9069\u7528\u3059\u308B\u3068\u3001\u4EE5\u4E0B\u306E2\u3064\u306E\u59A5\u5F53\u306A\u8AD6\u7406\u5F0F\u304C\u5F97\u3089\u308C\u308B\u3002 ,, \u3053\u308C\u3089\u306F\u3001\u6B21\u306E1\u3064\u306E\u8AD6\u7406\u5F0F\u306B\u307E\u3068\u3081\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002 . \u53CC\u65B9\u5411\u306E\u542B\u610F\u95A2\u4FC2\u306F\u540C\u5024\u95A2\u4FC2\u3067\u3042\u308B\u305F\u3081\u3001\u8AD6\u7406\u5F0F\u5185\u306E\u4EFB\u610F\u306E \uFFE2\uFFE2A \u306F A \u306B\u7F6E\u63DB\u3067\u304D\u3001\u305D\u306E\u969B\u306B\u305D\u306E\u8AD6\u7406\u5F0F (wff) \u306E\u771F\u7406\u5024\u306F\u5909\u5316\u3057\u306A\u3044\u3002 \u4E8C\u91CD\u5426\u5B9A\u306E\u9664\u53BB\u306F\u53E4\u5178\u8AD6\u7406\u3067\u306F\u5B9A\u7406\u3060\u304C\u3001\u76F4\u89B3\u4E3B\u7FA9\u8AD6\u7406\u3067\u306F\u305D\u3046\u3067\u306F\u306A\u3044\u3002\u76F4\u89B3\u4E3B\u7FA9\u8AD6\u7406\u3067\u306F\u300C\u3053\u306E\u5834\u5408\u3001\u96E8\u304C\u964D\u3063\u3066\u3044\u306A\u3044\u3001\u306E\u3067\u306F\u306A\u3044\uFF08It's not the case that it's not raining\uFF09\u300D\u3068\u3044\u3046\u6587\u306F\u300C\u96E8\u304C\u964D\u3063\u3066\u3044\u308B\u300D\u3088\u308A\u3082\u5F31\u3044\u3068\u3055\u308C\u308B\u3002\u5F8C\u8005\u306F\u96E8\u304C\u964D\u3063\u3066\u3044\u308B\u3053\u3068\u3092\u8A3C\u660E\u3059\u308B\u5FC5\u8981\u304C\u3042\u308B\u304C\u3001\u524D\u8005\u306F\u5358\u306B\u96E8\u304C\u964D\u3063\u3066\u3044\u308B\u3068\u3057\u3066\u3082\u77DB\u76FE\u3057\u306A\u3044\u3053\u3068\u3092\u8A3C\u660E\u3059\u308C\u3070\u3088\u3044\uFF08\u81EA\u7136\u8A00\u8A9E\u306B\u304A\u3051\u308B\u7DE9\u53D9\u6CD5\u5F62\u5F0F\u3067\u3082\u3053\u306E\u3088\u3046\u306A\u533A\u5225\u304C\u898B\u3089\u308C\u308B\uFF09\u3002\u4E8C\u91CD\u5426\u5B9A\u306E\u5C0E\u5165\u306F\u76F4\u89B3\u4E3B\u7FA9\u8AD6\u7406\u3067\u3082\u5B9A\u7406\u3067\u3042\u308A\u3001\u307E\u305F \u3082\u6210\u7ACB\u3059\u308B\u3002 \u7D20\u6734\u96C6\u5408\u8AD6\u3067\u3082\u3001\u88DC\u96C6\u5408\u304C\u540C\u69D8\u306E\u6027\u8CEA\u3092\u6301\u3064\u3002\u96C6\u5408 A \u3068\u96C6\u5408 (AC)C \u306F\u7B49\u4FA1\u3067\u3042\u308B\uFF08\u3053\u3053\u3067\u3001AC \u306F A \u306E\u88DC\u96C6\u5408\u3092\u610F\u5473\u3059\u308B\uFF09\u3002"@ja . . . . . . . . . . . . . . . . . . . "Doppia negazione"@it . . "Nella logica proposizionale, la doppia negazione \u00E8 il teorema che afferma che \"Se un'affermazione \u00E8 vera, allora non si d\u00E0 il caso che l'affermazione non \u00E8 vera\". Ci\u00F2 si esprime anche dicendo che l'affermazione \u00E8 logicamente equivalente a non (non A), o tramite la formula A \u2261 ~(~A) dove il segno \u2261 indica l'equivalenza logica e il segno ~ indica la negazione. In altre parole, due negazioni affermano. Questo \u00E8 il principio della doppia negazione, cio\u00E8 che \"una proposizione \u00E8 equivalente alla falsit\u00E0 della sua negazione\"."@it . "\u0417\u0430\u043A\u043E\u0301\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0301\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u0301\u043D\u0438\u044F \u2014 \u043F\u043E\u043B\u043E\u0436\u0435\u043D\u043D\u044B\u0439 \u0432 \u043E\u0441\u043D\u043E\u0432\u0443 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u0440\u0438\u043D\u0446\u0438\u043F, \u0441\u043E\u0433\u043B\u0430\u0441\u043D\u043E \u043A\u043E\u0442\u043E\u0440\u043E\u043C\u0443 \u00AB\u0435\u0441\u043B\u0438 \u043D\u0435\u0432\u0435\u0440\u043D\u043E, \u0447\u0442\u043E \u043D\u0435\u0432\u0435\u0440\u043D\u043E \u0410, \u0442\u043E \u0410 \u0432\u0435\u0440\u043D\u043E\u00BB. \u0415\u0441\u0442\u044C 3 \u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u043A\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F. \u0412 \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u043E\u043C \u044F\u0437\u044B\u043A\u0435 \u043B\u043E\u0433\u0438\u043A\u0438 \u0432\u044B\u0441\u043A\u0430\u0437\u044B\u0432\u0430\u043D\u0438\u0439 \u043E\u043D\u0438 \u0432\u044B\u0440\u0430\u0436\u0430\u044E\u0442\u0441\u044F \u0444\u043E\u0440\u043C\u0443\u043B\u0430\u043C\u0438: \n* \u2014 \u0437\u0430\u043A\u043E\u043D \u0432\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F; \n* \u2014 \u0437\u0430\u043A\u043E\u043D \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F; \n* \u2014 \u043F\u043E\u043B\u043D\u044B\u0439 \u0437\u0430\u043A\u043E\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F. \u0412 \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435 \u0432\u044B\u0432\u043E\u0434\u0438\u0442\u0441\u044F \u043B\u0438\u0448\u044C \u0437\u0430\u043A\u043E\u043D \u0432\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F, \u0437\u0430\u043A\u043E\u043D \u0441\u043D\u044F\u0442\u0438\u044F \u0436\u0435 \u043D\u0435 \u0432\u044B\u0432\u043E\u0434\u0438\u0442\u0441\u044F."@ru . . . . "\u5728\u547D\u984C\u908F\u8F2F\u88E1\uFF0C\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\uFF08\u6216\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\uFF09\u6B64\u4E00\u63A8\u7406\u898F\u5247\u5141\u8A31\u5C0E\u5165\uFF08\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\uFF09\u6216\u9664\u53BB\uFF08\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\uFF09\u4E00\u5C0D\u5426\u5B9A\u4F86\u5C0E\u51FA\u7B49\u50F9\u7684\u516C\u5F0F\u3002\u9019\u662F\u57FA\u65BC\u5982 \u300C\u73FE\u5728\u6C92\u6709\u4E0B\u96E8\u662F\u932F\u7684\u300D \u548C \u300C\u73FE\u5728\u6B63\u5728\u4E0B\u96E8\u300D \u5728\u8A9E\u7FA9\u4E0A\u7684\u7B49\u50F9\u3002 \u5F62\u5F0F\u4E0A\uFF0C\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\u70BA \u00AC\u00ACA \u2234 A \u5F62\u5F0F\u4E0A\uFF0C\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\u70BA A \u2234 \u00AC\u00ACA \u9019\u5169\u500B\u898F\u5247\u53EF\u4EE5\u91CD\u8FF0\u5982\u4E0B\uFF08\u4EE5\u76F8\u7E7C\u5F0F\u7684\u5F62\u5F0F\uFF09\uFF1A ,. \u61C9\u7528\u6F14\u7E79\u5B9A\u7406\u65BC\u9019\u5169\u500B\u63A8\u7406\u898F\u5247\u4E2D\u53EF\u7522\u751F\u4E00\u5C0D\u6709\u6548\u7684\u689D\u4EF6\u516C\u5F0F\uFF1A ,, \u5169\u8005\u53EF\u4EE5\u7D50\u5408\u6210\u55AE\u4E00\u500B\u96D9\u689D\u4EF6\u516C\u5F0F . \u56E0\u70BA\u96D9\u689D\u4EF6\u662F\u4E00\u500B\u7B49\u50F9\u95DC\u4FC2\uFF0C\u4EFB\u4E00\u65BC\u5408\u5F0F\u516C\u5F0F\u4E2D\u7684~~A\u90FD\u53EF\u4EE5\u7531A\u6240\u53D6\u4EE3\uFF0C\u800C\u4E0D\u6539\u8B8A\u6B64\u5408\u5F0F\u516C\u5F0F\u7684\u771F\u503C\u3002 \u96D9\u91CD\u5426\u5B9A\u9664\u53BB\u662F\u7D93\u5178\u908F\u8F2F\u88E1\u7684\u4E00\u500B\u5B9A\u7406\uFF0C\u4F46\u4E0D\u662F\u76F4\u89BA\u908F\u8F2F\u88E1\u7684\u3002\u56E0\u70BA\u76F4\u89BA\u908F\u8F2F\u5728\u7D50\u69CB\u4E0A\u7684\u504F\u597D\uFF0C\u300C\u4E0D\u662F\u6C92\u6709\u6B63\u5728\u4E0B\u96E8\u300D\u6B64\u4E00\u9673\u8FF0\u6BD4\u300C\u6B63\u5728\u4E0B\u96E8\u300D\u8981\u5F31\u3002\u5F8C\u8005\u9700\u8981\u6709\u4E0B\u96E8\u7684\u8B49\u660E\uFF0C\u800C\u524D\u8005\u53EA\u9700\u8981\u8B49\u660E\u4E0B\u96E8\u4E0D\u6703\u77DB\u76FE\u3002\uFF08\u6B64\u4E00\u5DEE\u5225\u4EA6\u51FA\u73FE\u5728\u81EA\u7136\u8A9E\u8A00\u7684\u4E4B\u4E2D\u3002\uFF09 \u5728\u96C6\u5408\u8AD6\u88E1\u4E5F\u6709\u7B26\u5408\u6B64\u6027\u8CEA\u7684\u88DC\u96C6\u5426\u5B9A\u904B\u7B97\uFF1A\u96C6\u5408A\u548C\u96C6\u5408 (AC)C\uFF08\u9019\u88E1\u7684AC\u8868A\u7684\u88DC\u96C6\uFF09\u662F\u76F8\u540C\u7684\u3002"@zh . "En l\u00F3gica proposicional, la doble negaci\u00F3n es el teorema que afirma que \"Si un enunciado es verdadero, entonces no es el caso que la declaraci\u00F3n no es cierta\". Esto se expresa diciendo que una proposici\u00F3n A es l\u00F3gicamente equivalente a no (no-A), o por la f\u00F3rmula A\u2261~(~A) donde el signo \u2261 expresa equivalencia l\u00F3gica y el signo ~ expresa negaci\u00F3n.\u200B Al igual que la ley del tercero excluido, este principio es considerado como en la l\u00F3gica cl\u00E1sica,\u200B aunque la l\u00F3gica intuicionista no lo permite.\u200B"@es . . "Nella logica proposizionale, la doppia negazione \u00E8 il teorema che afferma che \"Se un'affermazione \u00E8 vera, allora non si d\u00E0 il caso che l'affermazione non \u00E8 vera\". Ci\u00F2 si esprime anche dicendo che l'affermazione \u00E8 logicamente equivalente a non (non A), o tramite la formula A \u2261 ~(~A) dove il segno \u2261 indica l'equivalenza logica e il segno ~ indica la negazione. In altre parole, due negazioni affermano. Come la legge del terzo escluso, questo principio \u00E8 considerato una legge del pensiero della logica classica, ma non \u00E8 contemplato nella logica intuizionista. Nei Principia Mathematica di Russell e di Whitehead esso fu affermato come un teorema di logica proposizionale: Questo \u00E8 il principio della doppia negazione, cio\u00E8 che \"una proposizione \u00E8 equivalente alla falsit\u00E0 della sua negazione\"."@it . "Das Gesetz der doppelten Negation (auch Prinzip der doppelten Negation, oder lateinisch duplex negatio affirmat \u2013 die doppelte Verneinung bekr\u00E4ftigt/bejaht) ist ein Gesetz der klassischen Logik, wonach die Verneinung eines verneinten (Aussage-)Satzes gleichbedeutend ist mit der Bejahung des Satzes, ein doppelt verneinter Satz \u00AC\u00ACA also denselben Wahrheitswert hat wie der unverneinte Satz A. Die doppelte Negation im Sinne der Logik ist zu unterscheiden von der Negation der Negation im Sinne der Dialektik (Hegels)."@de . . . . . "\u0417\u0430\u043A\u043E\u0301\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0301\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u0301\u043D\u0438\u044F \u2014 \u043F\u043E\u043B\u043E\u0436\u0435\u043D\u043D\u044B\u0439 \u0432 \u043E\u0441\u043D\u043E\u0432\u0443 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u0440\u0438\u043D\u0446\u0438\u043F, \u0441\u043E\u0433\u043B\u0430\u0441\u043D\u043E \u043A\u043E\u0442\u043E\u0440\u043E\u043C\u0443 \u00AB\u0435\u0441\u043B\u0438 \u043D\u0435\u0432\u0435\u0440\u043D\u043E, \u0447\u0442\u043E \u043D\u0435\u0432\u0435\u0440\u043D\u043E \u0410, \u0442\u043E \u0410 \u0432\u0435\u0440\u043D\u043E\u00BB. \u0415\u0441\u0442\u044C 3 \u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u043A\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F. \u0412 \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u043E\u043C \u044F\u0437\u044B\u043A\u0435 \u043B\u043E\u0433\u0438\u043A\u0438 \u0432\u044B\u0441\u043A\u0430\u0437\u044B\u0432\u0430\u043D\u0438\u0439 \u043E\u043D\u0438 \u0432\u044B\u0440\u0430\u0436\u0430\u044E\u0442\u0441\u044F \u0444\u043E\u0440\u043C\u0443\u043B\u0430\u043C\u0438: \n* \u2014 \u0437\u0430\u043A\u043E\u043D \u0432\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F; \n* \u2014 \u0437\u0430\u043A\u043E\u043D \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F; \n* \u2014 \u043F\u043E\u043B\u043D\u044B\u0439 \u0437\u0430\u043A\u043E\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F. \u0412 \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435 \u0432\u044B\u0432\u043E\u0434\u0438\u0442\u0441\u044F \u043B\u0438\u0448\u044C \u0437\u0430\u043A\u043E\u043D \u0432\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F, \u0437\u0430\u043A\u043E\u043D \u0441\u043D\u044F\u0442\u0438\u044F \u0436\u0435 \u043D\u0435 \u0432\u044B\u0432\u043E\u0434\u0438\u0442\u0441\u044F. \u0412 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043E\u043D\u043D\u043E\u0439 \u0441\u043E\u0434\u0435\u0440\u0436\u0430\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435 \u0437\u0430\u043A\u043E\u043D \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u0441\u043B\u0443\u0436\u0438\u0442 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u0435\u043C \u0434\u043B\u044F \u043F\u0440\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0442\u0430\u043A \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u043C\u044B\u0445 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432 \u043E\u0442 \u043F\u0440\u043E\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u043E \u0441\u043B\u0435\u0434\u0443\u044E\u0449\u0435\u0439 \u0441\u0445\u0435\u043C\u0435: \u0438\u0437 \u043F\u0440\u0435\u0434\u043F\u043E\u043B\u043E\u0436\u0435\u043D\u0438\u044F, \u0447\u0442\u043E \u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0435 \u0410 \u0434\u0430\u043D\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438 \u043D\u0435\u0432\u0435\u0440\u043D\u043E, \u0432\u044B\u0432\u043E\u0434\u0438\u0442\u0441\u044F \u043F\u0440\u043E\u0442\u0438\u0432\u043E\u0440\u0435\u0447\u0438\u0435 \u0432 \u044D\u0442\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438, \u0437\u0430\u0442\u0435\u043C \u043D\u0430 \u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u0438 \u043D\u0435\u043F\u0440\u043E\u0442\u0438\u0432\u043E\u0440\u0435\u0447\u0438\u0432\u043E\u0441\u0442\u0438 \u0442\u0435\u043E\u0440\u0438\u0438 \u0434\u0435\u043B\u0430\u0435\u0442\u0441\u044F \u0432\u044B\u0432\u043E\u0434, \u0447\u0442\u043E \u043D\u0435\u0432\u0435\u0440\u043D\u043E \u00AB\u043D\u0435 \u0410\u00BB, \u0438 \u0442\u043E\u0433\u0434\u0430 \u043F\u043E \u0437\u0430\u043A\u043E\u043D\u0443 \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u0437\u0430\u043A\u043B\u044E\u0447\u0430\u044E\u0442, \u0447\u0442\u043E \u0432\u0435\u0440\u043D\u043E \u0410.\u0412 \u0440\u0430\u043C\u043A\u0430\u0445 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u044B\u0445 \u0440\u0430\u0441\u0441\u043C\u043E\u0442\u0440\u0435\u043D\u0438\u0439, \u043A\u043E\u0433\u0434\u0430 \u0434\u0435\u0439\u0441\u0442\u0432\u0443\u0435\u0442 \u0442\u0440\u0435\u0431\u043E\u0432\u0430\u043D\u0438\u0435 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0440\u0435\u0430\u043B\u0438\u0437\u0443\u0435\u043C\u043E\u0441\u0442\u0438 \u043E\u0431\u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439, \u0437\u0430\u043A\u043E\u043D \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F, \u0432\u043E\u043E\u0431\u0449\u0435 \u0433\u043E\u0432\u043E\u0440\u044F, \u043D\u0435\u043F\u0440\u0438\u0435\u043C\u043B\u0435\u043C\u044B\u043C. \u0422\u0438\u043F\u0438\u0447\u043D\u044B\u043C \u0442\u043E\u043C\u0443 \u043F\u0440\u0438\u043C\u0435\u0440\u043E\u043C \u0441\u043B\u0443\u0436\u0438\u0442 \u0432\u0441\u044F\u043A\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u043E\u0442 \u043F\u0440\u043E\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u0441\u0443\u0436\u0434\u0435\u043D\u0438\u044F \u0410, \u0438\u043C\u0435\u044E\u0449\u0435\u0433\u043E \u0432\u0438\u0434 \u00AB\u043F\u0440\u0438 \u0432\u0441\u044F\u043A\u043E\u043C \u0445 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0443 \u0442\u0430\u043A\u043E\u0439, \u0447\u0442\u043E \u0432\u0435\u0440\u043D\u043E \u0412(\u0445, \u0443)\u00BB, \u043A\u043E\u0433\u0434\u0430 \u043F\u043E\u0441\u043B\u0435\u0434\u043D\u0438\u0439 \u0448\u0430\u0433, \u0441\u043E\u0441\u0442\u043E\u044F\u0449\u0438\u0439 \u0432 \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u0438\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F, \u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u043D\u0435\u0432\u043E\u0437\u043C\u043E\u0436\u043D\u044B\u043C \u0438\u0437-\u0437\u0430 \u0442\u043E\u0433\u043E, \u0447\u0442\u043E \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u043F\u043E\u043D\u0438\u043C\u0430\u043D\u0438\u0435\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u044F \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u0434\u043B\u044F \u0435\u0433\u043E \u043E\u0431\u043E\u0441\u043D\u043E\u0432\u0430\u043D\u0438\u044F \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044F \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u043F\u043E \u043A\u0430\u0436\u0434\u043E\u043C\u0443 \u0445 \u0434\u0430\u0432\u0430\u043B \u0431\u044B \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0438\u044E \u0443 \u0442\u0430\u043A\u043E\u0433\u043E, \u0447\u0442\u043E \u0432\u0435\u0440\u043D\u043E \u0412(\u0445, \u0443). \u041C\u0435\u0436\u0434\u0443 \u0442\u0435\u043C \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0435 \u0441 \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u0438\u0435\u043C \u0437\u0430\u043A\u043E\u043D\u0430 \u0441\u043D\u044F\u0442\u0438\u044F \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u043D\u0435 \u043F\u0440\u0438\u0432\u043E\u0434\u0438\u0442 \u043A \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044E \u043A\u0430\u043A\u043E\u0433\u043E \u0431\u044B \u0442\u043E \u043D\u0438 \u0431\u044B\u043B\u043E \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430; \u0431\u043E\u043B\u0435\u0435 \u0442\u043E\u0433\u043E, \u0438\u0441\u043A\u043E\u043C\u043E\u0433\u043E \u0432 \u044D\u0442\u043E\u043C\u0441\u043B\u0443\u0447\u0430\u0435 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0430 \u043C\u043E\u0436\u0435\u0442 \u0432\u043E\u043E\u0431\u0449\u0435 \u043D\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u0442\u044C (\u0441\u043C. \u0442\u0430\u043A\u0436\u0435 \u043F\u0440\u0438\u043D\u0446\u0438\u043F \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u043E\u0434\u0431\u043E\u0440\u0430)."@ru . . "Eliminatie van dubbele negatie"@nl . "Prawo podw\u00F3jnej negacji lub prawo podw\u00F3jnego zaprzeczenia \u2013 regu\u0142a rachunku zda\u0144, kt\u00F3ra stwierdza, \u017Ce zaprzeczenie negacji zdania jest tym samym zdaniem (bardziej formalnie: jest r\u00F3wnowa\u017Cne ze zdaniem wyj\u015Bciowym). Symbolicznie: Na przyk\u0142ad, zdanie \u201Enieprawda, \u017Ce nie p\u00F3jd\u0119 do kina\u201D m\u00F3wi to samo, co zdanie \u201Ep\u00F3jd\u0119 do kina\u201D. Prawo podw\u00F3jnej negacji jest tautologi\u0105 rachunku zda\u0144."@pl . . . . "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 , die geldt voor alle formules . Anders gezegd geldt dat uit de formule afleidbaar is: . Op vergelijkbare wijze kan ook een dubbele negatie ge\u00EFntroduceerd worden: . De afleidingsregels van het elimineren en introduceren van de dubbele negatie worden respectievelijk ook genoteerd als:"@nl . . . . "Classical logic"@en . . . . . . . "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 , die geldt voor alle formules . Anders gezegd geldt dat uit de formule afleidbaar is: . Op vergelijkbare wijze kan ook een dubbele negatie ge\u00EFntroduceerd worden: . De afleidingsregels van het elimineren en introduceren van de dubbele negatie worden respectievelijk ook genoteerd als: Intu\u00EFtief zeggen deze regels dat de volgende twee stellingen aan elkaar gelijk zijn: Het is niet zo dat het niet regent.Het regent. Aangezien geldt ook dat en aangezien geldt ook dat . Dit betekent ook dat de volgende bi-implicatie geldt: . Aangezien een bi-implicatie een equivalentierelatie is, kan elk voorkomen van vervangen worden door zonder de waarheidswaarde van een formule te veranderen."@nl . "Na l\u00F3gica proposicional, a dupla nega\u00E7\u00E3o \u00E9 o teorema que afirma que \"Se uma declara\u00E7\u00E3o \u00E9 verdadeira, ent\u00E3o n\u00E3o \u00E9 o caso que a declara\u00E7\u00E3o n\u00E3o \u00E9 verdadeira\". Isto \u00E9 expresso ao dizer que uma proposi\u00E7\u00E3o A \u00E9 logicamente equivalente a n\u00E3o (n\u00E3o-A), ou pela f\u00F3rmula A \u2261 ~(~A) onde o sinal \u2261 exprime a equival\u00EAncia l\u00F3gica e o sinal ~ expressa nega\u00E7\u00E3o. Como a lei do terceiro exclu\u00EDdo, este princ\u00EDpio \u00E9 considerado uma lei do pensamento na l\u00F3gica cl\u00E1ssica, mas ele n\u00E3o \u00E9 permitido pela l\u00F3gica intuicionista. O princ\u00EDpio foi estabelecido como um teorema da l\u00F3gica proposicional por Russell e Whitehead em Principia Mathematica como: \"Este \u00E9 o princ\u00EDpio da dupla nega\u00E7\u00E3o, isto \u00E9, uma proposi\u00E7\u00E3o \u00E9 equivalente a falsidade de sua nega\u00E7\u00E3o.\" O principium contradictiones dos l\u00F3gicos modernos (particularmente Leibniz e Kant) na f\u00F3rmula A \u00E9 n\u00E3o n\u00E3o-A, difere inteiramente em significado e aplica\u00E7\u00E3o da proposi\u00E7\u00E3o Aristot\u00E9lica [ i.e. Lei de Contradi\u00E7\u00E3o: n\u00E3o (A e n\u00E3o-A) i.e. ~(A & ~A), ou n\u00E3o (( B \u00E9 A) e (B \u00E9 n\u00E3o-A))]. Este \u00FAltimo refere-se \u00E0 rela\u00E7\u00E3o entre um julgamento afirmativo e outro negativo. De acordo com Arist\u00F3teles, um ju\u00EDzo [B \u00E9 julgado ser um A] contradiz outro [B \u00E9 considerado ser um n\u00E3o-A]. A proposi\u00E7\u00E3o posterior [ A n\u00E3o \u00E9 n\u00E3o-A ] refere-se \u00E0 rela\u00E7\u00E3o entre sujeito e predicado em uma \u00FAnica senten\u00E7a; o predicado contradiz o sujeito. Arist\u00F3teles afirma que o ju\u00EDzo \u00E9 falso quando outro \u00E9 verdadeiro; escritores posteriores [Leibniz e Kant] determinam que a senten\u00E7a \u00E9 em si e absolutamente falsa, porque o predicado contradiz o sujeito. O que os escritores posteriores desejam, \u00E9 um princ\u00EDpio a partir do qual ele pode saber se certas proposi\u00E7\u00F5es s\u00E3o verdadeiras nelas mesmas. A partir da proposi\u00E7\u00E3o Aristot\u00E9lica n\u00E3o podemos imediatamente inferir a veracidade ou a falsidade de qualquer proposi\u00E7\u00E3o, mas apenas a impossibilidade de crer afirma\u00E7\u00E3o e nega\u00E7\u00E3o ao mesmo tempo."@pt . . . . "Double negation"@en . "8591"^^ . "Prawo podw\u00F3jnej negacji lub prawo podw\u00F3jnego zaprzeczenia \u2013 regu\u0142a rachunku zda\u0144, kt\u00F3ra stwierdza, \u017Ce zaprzeczenie negacji zdania jest tym samym zdaniem (bardziej formalnie: jest r\u00F3wnowa\u017Cne ze zdaniem wyj\u015Bciowym). Symbolicznie: Na przyk\u0142ad, zdanie \u201Enieprawda, \u017Ce nie p\u00F3jd\u0119 do kina\u201D m\u00F3wi to samo, co zdanie \u201Ep\u00F3jd\u0119 do kina\u201D. Prawo podw\u00F3jnej negacji jest tautologi\u0105 rachunku zda\u0144."@pl . "\u5728\u547D\u984C\u908F\u8F2F\u88E1\uFF0C\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\uFF08\u6216\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\uFF09\u6B64\u4E00\u63A8\u7406\u898F\u5247\u5141\u8A31\u5C0E\u5165\uFF08\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\uFF09\u6216\u9664\u53BB\uFF08\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\uFF09\u4E00\u5C0D\u5426\u5B9A\u4F86\u5C0E\u51FA\u7B49\u50F9\u7684\u516C\u5F0F\u3002\u9019\u662F\u57FA\u65BC\u5982 \u300C\u73FE\u5728\u6C92\u6709\u4E0B\u96E8\u662F\u932F\u7684\u300D \u548C \u300C\u73FE\u5728\u6B63\u5728\u4E0B\u96E8\u300D \u5728\u8A9E\u7FA9\u4E0A\u7684\u7B49\u50F9\u3002 \u5F62\u5F0F\u4E0A\uFF0C\u96D9\u91CD\u5426\u5B9A\u9664\u53BB\u70BA \u00AC\u00ACA \u2234 A \u5F62\u5F0F\u4E0A\uFF0C\u96D9\u91CD\u5426\u5B9A\u4ECB\u5165\u70BA A \u2234 \u00AC\u00ACA \u9019\u5169\u500B\u898F\u5247\u53EF\u4EE5\u91CD\u8FF0\u5982\u4E0B\uFF08\u4EE5\u76F8\u7E7C\u5F0F\u7684\u5F62\u5F0F\uFF09\uFF1A ,. \u61C9\u7528\u6F14\u7E79\u5B9A\u7406\u65BC\u9019\u5169\u500B\u63A8\u7406\u898F\u5247\u4E2D\u53EF\u7522\u751F\u4E00\u5C0D\u6709\u6548\u7684\u689D\u4EF6\u516C\u5F0F\uFF1A ,, \u5169\u8005\u53EF\u4EE5\u7D50\u5408\u6210\u55AE\u4E00\u500B\u96D9\u689D\u4EF6\u516C\u5F0F . \u56E0\u70BA\u96D9\u689D\u4EF6\u662F\u4E00\u500B\u7B49\u50F9\u95DC\u4FC2\uFF0C\u4EFB\u4E00\u65BC\u5408\u5F0F\u516C\u5F0F\u4E2D\u7684~~A\u90FD\u53EF\u4EE5\u7531A\u6240\u53D6\u4EE3\uFF0C\u800C\u4E0D\u6539\u8B8A\u6B64\u5408\u5F0F\u516C\u5F0F\u7684\u771F\u503C\u3002 \u96D9\u91CD\u5426\u5B9A\u9664\u53BB\u662F\u7D93\u5178\u908F\u8F2F\u88E1\u7684\u4E00\u500B\u5B9A\u7406\uFF0C\u4F46\u4E0D\u662F\u76F4\u89BA\u908F\u8F2F\u88E1\u7684\u3002\u56E0\u70BA\u76F4\u89BA\u908F\u8F2F\u5728\u7D50\u69CB\u4E0A\u7684\u504F\u597D\uFF0C\u300C\u4E0D\u662F\u6C92\u6709\u6B63\u5728\u4E0B\u96E8\u300D\u6B64\u4E00\u9673\u8FF0\u6BD4\u300C\u6B63\u5728\u4E0B\u96E8\u300D\u8981\u5F31\u3002\u5F8C\u8005\u9700\u8981\u6709\u4E0B\u96E8\u7684\u8B49\u660E\uFF0C\u800C\u524D\u8005\u53EA\u9700\u8981\u8B49\u660E\u4E0B\u96E8\u4E0D\u6703\u77DB\u76FE\u3002\uFF08\u6B64\u4E00\u5DEE\u5225\u4EA6\u51FA\u73FE\u5728\u81EA\u7136\u8A9E\u8A00\u7684\u4E4B\u4E2D\u3002\uFF09 \u5728\u96C6\u5408\u8AD6\u88E1\u4E5F\u6709\u7B26\u5408\u6B64\u6027\u8CEA\u7684\u88DC\u96C6\u5426\u5B9A\u904B\u7B97\uFF1A\u96C6\u5408A\u548C\u96C6\u5408 (AC)C\uFF08\u9019\u88E1\u7684AC\u8868A\u7684\u88DC\u96C6\uFF09\u662F\u76F8\u540C\u7684\u3002"@zh . . "Prawo podw\u00F3jnego przeczenia"@pl . . . . "\u0417\u0430\u043A\u043E\u0301\u043D \u043F\u043E\u0434\u0432\u0456\u0301\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0301\u0447\u0435\u043D\u043D\u044F \u2014 \u043F\u0440\u0438\u043D\u0446\u0438\u043F, \u0449\u043E \u043F\u043E\u043A\u043B\u0430\u0434\u0435\u043D\u0438\u0439 \u0432 \u043E\u0441\u043D\u043E\u0432\u0443 \u043A\u043B\u0430\u0441\u0438\u0447\u043D\u043E\u0457 \u043B\u043E\u0433\u0456\u043A\u0438, \u0437\u0433\u0456\u0434\u043D\u043E \u0437 \u044F\u043A\u0438\u043C \u00AB\u044F\u043A\u0449\u043E \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E, \u0449\u043E \u043D\u0435\u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E \u0410, \u0442\u043E \u0410 \u043F\u0440\u0430\u0432\u0438\u043B\u044C\u043D\u043E\u00BB. \u0417\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u043D\u0430\u0437\u0438\u0432\u0430\u0454\u0442\u044C\u0441\u044F \u0437\u0430\u043A\u043E\u043D\u043E\u043C \u0437\u043D\u044F\u0442\u0442\u044F \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F. \u0424\u043E\u0440\u043C\u0430\u043B\u0456\u0437\u043E\u0432\u0430\u043D\u043E\u044E \u043C\u043E\u0432\u043E\u044E \u043B\u043E\u0433\u0456\u043A\u0438 \u0432\u0438\u0441\u043B\u043E\u0432\u043B\u044E\u0432\u0430\u043D\u044C \u0437\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F \u043C\u043E\u0436\u0435 \u0431\u0443\u0442\u0438 \u0432\u0438\u0440\u0430\u0436\u0435\u043D\u0438\u0439 \u0444\u043E\u0440\u043C\u0443\u043B\u043E\u044E"@uk . "\u0417\u0430\u043A\u043E\u043D \u043F\u043E\u0434\u0432\u0456\u0439\u043D\u043E\u0433\u043E \u0437\u0430\u043F\u0435\u0440\u0435\u0447\u0435\u043D\u043D\u044F"@uk . . . . "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 \u2261 ~(~A) where the sign \u2261 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.\""@en . . . "379833"^^ . . "Prawo podw\u00F3jnego przeczenia \u2013 prawo logiki formalnej. Wyst\u0119puje w formie silnego prawa podw\u00F3jnego przeczenia: oraz s\u0142abego prawa podw\u00F3jnego przeczenia: Silne prawo podw\u00F3jnego przeczenia dodane do aksjomat\u00F3w intuicjonistycznego rachunku zda\u0144 tworzy aksjomatyk\u0119 klasycznego rachunku zda\u0144. Sk\u0105d te\u017C niejawnie wynika, i\u017C w rachunku intuicjonistycznym jest ono niedowodliwe. Natomiast S\u0142abe prawo podw\u00F3jnego przeczenia z kolei jest tez\u0105 rachunku intuicjonistycznego: Mianowicie w algebrze tej: W algebrze tej nie zachodzi tak\u017Ce prawo wy\u0142\u0105czonego \u015Brodka (tertium non datur): W rzeczy samej, w algebrze tej"@pl . "Doble negaci\u00F3n (l\u00F3gica)"@es . "Double negation"@en . "Dupla nega\u00E7\u00E3o"@pt . . . . . . . "En l\u00F3gica proposicional, la doble negaci\u00F3n es el teorema que afirma que \"Si un enunciado es verdadero, entonces no es el caso que la declaraci\u00F3n no es cierta\". Esto se expresa diciendo que una proposici\u00F3n A es l\u00F3gicamente equivalente a no (no-A), o por la f\u00F3rmula A\u2261~(~A) donde el signo \u2261 expresa equivalencia l\u00F3gica y el signo ~ expresa negaci\u00F3n.\u200B Al igual que la ley del tercero excluido, este principio es considerado como en la l\u00F3gica cl\u00E1sica,\u200B aunque la l\u00F3gica intuicionista no lo permite.\u200B"@es . "Propositional calculus"@en . "\u53CC\u91CD\u5426\u5B9A\u9664\u53BB"@zh . "Prawo podw\u00F3jnego przeczenia \u2013 prawo logiki formalnej. Wyst\u0119puje w formie silnego prawa podw\u00F3jnego przeczenia: oraz s\u0142abego prawa podw\u00F3jnego przeczenia: Silne prawo podw\u00F3jnego przeczenia dodane do aksjomat\u00F3w intuicjonistycznego rachunku zda\u0144 tworzy aksjomatyk\u0119 klasycznego rachunku zda\u0144. Sk\u0105d te\u017C niejawnie wynika, i\u017C w rachunku intuicjonistycznym jest ono niedowodliwe. Natomiast S\u0142abe prawo podw\u00F3jnego przeczenia z kolei jest tez\u0105 rachunku intuicjonistycznego: Jawny dow\u00F3d niewyprowadzalno\u015Bci silnego prawa podw\u00F3jnego przeczenia dostajemy z jednego spo\u015Br\u00F3d , zgodnie z kt\u00F3rym formu\u0142a zdaniowa jest tez\u0105 rachunku intuicjonistycznego wtedy i tylko wtedy, gdy jest ona w dowolnej algebrze Heytinga. Poni\u017Cej widzimy algebr\u0119 Heytinga ( z porz\u0105dkiem \u201Epo wsp\u00F3\u0142rz\u0119dnych\u201D), w kt\u00F3rej silne prawo podw\u00F3jnego przeczenia nie zachodzi: Mianowicie w algebrze tej: W algebrze tej nie zachodzi tak\u017Ce prawo wy\u0142\u0105czonego \u015Brodka (tertium non datur): W rzeczy samej, w algebrze tej Jest to o tyle naturalne, \u017Ce w intuicjonistycznym rachunku zda\u0144dowodliwa jest formu\u0142a Natomiast w algebrze tej prawdziwe jest :"@pl . "1092196191"^^ .