नकार: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 17: | Line 17: | ||
| self-dual = yes | | self-dual = yes | ||
}} | }} | ||
तर्क में, '''निगेशन (निषेध''' | तर्क में, '''निगेशन(निषेध)''', जिसे तार्किक पूरक भी कहा जाता है, एक संचालन है जो एक समस्या <math>P</math> दूसरे समस्या के लिए <nowiki>''</nowiki>not <math>P</math><nowiki>''</nowiki> पर ले जाता है जिसे <math>\neg P</math>, <math>\mathord{\sim} P</math> या <math>\overline{P}</math> मे लिखा जाता है। इसे सामान्य रूप से सत्य के रूप में व्याख्या की जाती है <math>P</math> असत्य है, और असत्य है जब <math>P</math> सत्य है।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=नकार|url=https://mathworld.wolfram.com/नकार.html|access-date=2020-09-02|website=mathworld.wolfram.com|language=en}}</ref><ref>{{Cite web|title=Logic and Mathematical Statements - Worked Examples|url=https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html|access-date=2020-09-02|website=www.math.toronto.edu}}</ref> इस प्रकार निगेशन एक गैर संक्रियक [[तार्किक संयोजक]] है। इसे सामान्य रूप से, [[प्रस्ताव|समस्या]], सत्यमान, या [[व्याख्या (तर्क)|सिमेंटिक मानों]] पर एक संचालन के रूप में प्रयुक्त किया जा सकता है। उत्कृष्ट [[शास्त्रीय तर्क|तर्क]] में, निगेशन को सामान्य रूप से सत्यमान फलन के साथ पहचाना जाता है जो सत्य-मान को असत्यता (और इसके विपरीत) पर ले जाता है। [[अंतर्ज्ञानवादी तर्क]] में, ब्रौवर-हेटिंग-कोल्मोगोरोव व्याख्या के अनुसार, एक समस्या <math>P</math> की उपेक्षा वह समस्या है जिसके प्रमाण का <math>P</math> विभाजक (रेफ्यूशन) है। | ||
== परिभाषा == | == परिभाषा == | ||
उत्कृष्ट निगेशन एक [[तार्किक मूल्य|तार्किक मान]] पर एक [[तार्किक संचालन]] है, सामान्य रूप से एक | उत्कृष्ट निगेशन एक [[तार्किक मूल्य|तार्किक मान]] पर एक [[तार्किक संचालन]] है, सामान्य रूप से एक समस्या का मान, जो सत्य मान उत्पन्न करता है जब उसका ऑपरेंड असत्य होता है, और जब उसका ऑपरेंड सत्य होता है तो असत्य का मान होता है। इस प्रकार यदि कथन {{mvar|P}} सत्य है, तो <math>\neg P</math> (उच्चारण not P ) तब असत्य होगा; और इसके विपरीत, यदि <math>\neg P</math> असत्य है तो {{mvar|P}} सत्य होगा। | ||
की सत्य तालिका <math>\neg P</math> इस प्रकार है: | की सत्य तालिका <math>\neg P</math> इस प्रकार है: | ||
| Line 32: | Line 32: | ||
| {{no2|False}} || {{yes2|True}} | | {{no2|False}} || {{yes2|True}} | ||
|} | |} | ||
निगेशन को अन्य तार्किक संचालन के संदर्भ में परिभाषित किया जा सकता है। उदाहरण के लिए, <math>\neg P</math> के रूप में परिभाषित किया जा सकता है <math>P \rightarrow \bot</math> (जहां <math>\rightarrow</math> [[तार्किक परिणाम]] है और <math>\bot</math> असत्य [[झूठा (तर्क)|(तर्क)]] है)। इसके विपरीत परिभाषित किया जा सकता है <math>\bot</math> जैसा <math>Q \land \neg Q</math> किसी | निगेशन को अन्य तार्किक संचालन के संदर्भ में परिभाषित किया जा सकता है। उदाहरण के लिए, <math>\neg P</math> के रूप में परिभाषित किया जा सकता है <math>P \rightarrow \bot</math> (जहां <math>\rightarrow</math> [[तार्किक परिणाम]] है और <math>\bot</math> असत्य [[झूठा (तर्क)|(तर्क)]] है)। इसके विपरीत परिभाषित किया जा सकता है <math>\bot</math> जैसा <math>Q \land \neg Q</math> किसी समस्या के लिए {{mvar|Q}} (जहां <math>\land</math> [[तार्किक संयोजन]] है)। यहाँ विचार यह है कि कोई भी [[विरोधाभास]] असत्य है, और जबकि ये विचार उत्कृष्ट और अंतर्ज्ञानवादी तर्क दोनों में कार्य करते हैं, वे [[परासंगत तर्क]] में कार्य नहीं करते हैं, जहाँ विरोधाभास आवश्यक रूप से असत्य नहीं हैं। उत्कृष्ट तर्कशास्त्र में हमें एक अन्य सर्वसमिका भी मिलती है, <math>P \rightarrow Q</math> को <math>\neg P \lor Q</math> के रूप में परिभाषित किया जा सकता है जहां <math>\lor</math> तार्किक वियोजन है। | ||
बीजगणितीय रूप से, | बीजगणितीय रूप से, उत्कृष्ट निगेशन एक [[बूलियन बीजगणित (संरचना)]] में [[पूरक (आदेश सिद्धांत)|पूरक क्रम सिद्धांत)]] से अनुरूप है, और एक [[हेटिंग बीजगणित]] में छद्म पूरकता के लिए अंतर्ज्ञानवादी निगेशन है। ये बीजगणित क्रमशः उत्कृष्ट और अंतर्ज्ञानवादी तर्क के लिए [[बीजगणितीय शब्दार्थ (गणितीय तर्क)|बीजगणितीय तर्क (गणितीय तर्क)]] प्रदान करते हैं। | ||
== संकेत == | == संकेत == | ||
एक | एक समस्या की अस्वीकृति {{mvar|p}} चर्चा के विभिन्न संदर्भों और अनुप्रयोग के क्षेत्रों में अलग-अलग तरीकों से प्रलेखित किया जाता है। निम्नलिखित तालिका में इनमें से कुछ प्रकार हैं: | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 83: | Line 83: | ||
|- | |- | ||
|} | |} | ||
संकेतन | संकेतन Np लुकासिविक्ज़ संकेतन है। | ||
समुच्चय सिद्धांत मे, <nowiki>''</nowiki><math>\setminus</math><nowiki>''</nowiki> का उपयोग समुच्चय में not' को इंगित करने के लिए भी किया जाता है: <math>U \setminus A</math> के सभी इकाइयों का समुच्चय {{mvar|U}} है जो {{mvar|A}} के भाग नहीं हैं। | समुच्चय सिद्धांत मे, <nowiki>''</nowiki><math>\setminus</math><nowiki>''</nowiki> का उपयोग समुच्चय में 'not' को इंगित करने के लिए भी किया जाता है: <math>U \setminus A</math> के सभी इकाइयों का समुच्चय {{mvar|U}} है जो {{mvar|A}} के भाग नहीं हैं। | ||
तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन <math>\neg P</math> | तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन <math>\neg P</math> की स्थिति <nowiki>''</nowiki>नहीं है कि {{mvar|P}}, <nowiki>''</nowiki>not that {{mvar|P}}<nowiki>''</nowiki>, या सामान्य रूप से अधिक सरल रूप में not {{mvar|P}} के रूप में पढ़ा जा सकता है। | ||
== गुण == | == गुण == | ||
| Line 93: | Line 93: | ||
=== द्विक निगेशन === | === द्विक निगेशन === | ||
उत्कृष्ट तर्क की एक प्रणाली के अंदर, द्विक निगेशन, अर्थात, एक | उत्कृष्ट तर्क की एक प्रणाली के अंदर, द्विक निगेशन, अर्थात, एक समस्या के निगेशन का निगेशन <math>P</math>, [[तार्किक रूप से समकक्ष]] है <math>P</math>. प्रतीकात्मक शब्दों में <math>\neg \neg P \equiv P</math> व्यक्त किया जाता है। अंतर्ज्ञानवादी तर्क में, एक समस्या का तात्पर्य इसके दोहरे निगेशन से है लेकिन इसके विपरीत नहीं है। यह उत्कृष्ट और अंतर्ज्ञानवादी निगेशन के बीच एक महत्वपूर्ण अंतर को चिन्हित करता है। बीजगणितीय रूप से, उत्कृष्ट निगेशन को दो आवर्त का एक समावेशन (गणित) कहा जाता है। | ||
हालांकि, अंतर्ज्ञानवादी तर्क में, दुर्बल समानता <math>\neg \neg \neg P \equiv \neg P</math> धारण करता है। ऐसा इसलिए है क्योंकि अंतर्ज्ञानवादी तर्क में, <math>\neg P</math> के लिए मात्र एक शॉर्टहैन्ड <math>P \rightarrow \bot</math>, हमारे पास <math>P \rightarrow \neg \neg P </math> भी है। त्रिपक्षीय निगेशन के साथ उस अंतिम निहितार्थ की रचना | हालांकि, अंतर्ज्ञानवादी तर्क में, दुर्बल समानता <math>\neg \neg \neg P \equiv \neg P</math> धारण करता है। ऐसा इसलिए है क्योंकि अंतर्ज्ञानवादी तर्क में, <math>\neg P</math> के लिए मात्र एक शॉर्टहैन्ड (आशुलिपि) <math>P \rightarrow \bot</math>, हमारे पास <math>P \rightarrow \neg \neg P </math> भी है। त्रिपक्षीय निगेशन के साथ उस अंतिम निहितार्थ की रचना करने <math>\neg \neg P \rightarrow \bot </math> का आशय <math>P \rightarrow \bot</math> है। | ||
परिणामस्वरूप, | परिणामस्वरूप, समस्या के स्थिति में, एक कथन उत्कृष्ट रूप से सिद्ध होता है, यदि इसकी दोहरी अस्वीकृति अंतर्ज्ञानवादी रूप से सिद्ध होती है। इस परिणाम को ग्लिवेंको प्रमेय के रूप में जाना जाता है। | ||
=== वितरण === | === वितरण === | ||
| Line 107: | Line 107: | ||
=== रैखिकता === | === रैखिकता === | ||
मान लीजिए <math>\oplus</math> तार्किक [[एकमात्र]] संचालन को निरूपित करें। [[बूलियन बीजगणित (तर्क)|बू]]लियन बीजगणित में, एक रेखीय | मान लीजिए <math>\oplus</math> तार्किक [[एकमात्र]] संचालन को निरूपित करें। [[बूलियन बीजगणित (तर्क)|बू]]लियन बीजगणित में, एक रेखीय फलन ऐसा होता है कि: | ||
यदि <math>a_0, a_1, \dots, a_n \in \{0,1\}</math>, <math>f(b_1, b_2, \dots, b_n) = a_0 \oplus (a_1 \land b_1) \oplus \dots \oplus (a_n \land b_n)</math>, सभी के लिए <math>b_1, b_2, \dots, b_n \in \{0,1\}</math> सम्मिलित है। | यदि <math>a_0, a_1, \dots, a_n \in \{0,1\}</math>, <math>f(b_1, b_2, \dots, b_n) = a_0 \oplus (a_1 \land b_1) \oplus \dots \oplus (a_n \land b_n)</math>, सभी के लिए <math>b_1, b_2, \dots, b_n \in \{0,1\}</math> सम्मिलित है। | ||
| Line 114: | Line 114: | ||
=== स्व द्वैत === | === स्व द्वैत === | ||
बूलियन बीजगणित (तर्क) में, एक स्व-द्वैत | बूलियन बीजगणित (तर्क) में, एक स्व-द्वैत फलन एक ऐसा फलन है जो: | ||
<math>f(a_1, \dots, a_n) = \neg f(\neg a_1, \dots, \neg a_n)</math> सभी के लिए | <math>f(a_1, \dots, a_n) = \neg f(\neg a_1, \dots, \neg a_n)</math> सभी के लिए <math>a_1, \dots, a_n \in \{0,1\}</math>. निगेशन एक स्व- द्वैत तार्किक संक्रिया है। | ||
<math>a_1, \dots, a_n \in \{0,1\}</math>. निगेशन एक स्व- द्वैत तार्किक संक्रिया है। | |||
=== परिमाणकों का निगेशन === | === परिमाणकों का निगेशन === | ||
प्रथम क्रम तर्क में, दो परिमाणक होते हैं, एक सार्वभौमिक परिमाणक होता है <math>\forall</math> (तात्पर्य सबके लिए) और दूसरा अस्तित्वगत परिमाणक <math>\exists</math> है (तात्पर्य वहाँ सम्मिलित है)। एक परिमाणक का निगेशन अन्य परिमाणक (<math>\neg \forall xP(x)\equiv\exists x\neg P(x)</math> और <math>\neg \exists xP(x)\equiv\forall x\neg P(x)</math>) है। उदाहरण के लिए, | प्रथम क्रम तर्क में, दो परिमाणक होते हैं, एक सार्वभौमिक परिमाणक होता है <math>\forall</math> (तात्पर्य सबके लिए) और दूसरा अस्तित्वगत परिमाणक <math>\exists</math> है (तात्पर्य वहाँ सम्मिलित है)। एक परिमाणक का निगेशन अन्य परिमाणक (<math>\neg \forall xP(x)\equiv\exists x\neg P(x)</math> और <math>\neg \exists xP(x)\equiv\forall x\neg P(x)</math>) है। उदाहरण के लिए, निर्धारक P के साथ x नश्वर (मॉर्टल) है और सभी मनुष्यों के संग्रह के रूप में x का प्रक्षेत्र है, <math>\forall xP(x)</math> का अर्थ है कि सभी मनुष्यों में एक व्यक्ति x नश्वर है या सभी मनुष्य नश्वर हैं। इसका निगेशन <math>\neg \forall xP(x)\equiv\exists x\neg P(x)</math> है। जिसका अर्थ है कि सभी मनुष्यों में एक व्यक्ति x सम्मिलित है जो नश्वर नहीं है, <nowiki>''</nowiki>या कोई ऐसा सम्मिलित है जो सदैव के लिए जीवित रहता है"। | ||
== अनुमान के नियम == | == अनुमान के नियम == | ||
| Line 144: | Line 143: | ||
[[विस्मयादिबोधक चिह्न]]<code>!</code> B, (प्रोग्रामिंग भाषा), [[सी प्रोग्रामिंग भाषा|C प्रोग्रामिंग भाषा]] और C-प्रेरित सिंटैक्स जैसे [[सी ++|C ++]], [[जावा (प्रोग्रामिंग भाषा)]], [[जावास्क्रिप्ट]], [[पर्ल]] और [[पीएचपी]] वाली भाषाओं में तार्किक नहीं है। <code>NOT</code>[[ALGOL 60|ऐल्गॉल 60]], प्रारंभ का सर्व-उद्देश्यीय प्रतीकात्मक निर्देश कोड प्रोग्रामिंग भाषा, और ऐल्गॉल- या बेसिक-प्रेरित सिंटैक्स वाली भाषाओं जैसे [[पास्कल प्रोग्रामिंग भाषा]], एडीए प्रोग्रामिंग भाषा, एफिल (प्रोग्रामिंग भाषा) और [[Seed7|एसईईदी 7]] में उपयोग किया जाने वाला संक्रियक है। कुछ भाषाएँ (C++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे | [[विस्मयादिबोधक चिह्न]]<code>!</code> B, (प्रोग्रामिंग भाषा), [[सी प्रोग्रामिंग भाषा|C प्रोग्रामिंग भाषा]] और C-प्रेरित सिंटैक्स जैसे [[सी ++|C ++]], [[जावा (प्रोग्रामिंग भाषा)]], [[जावास्क्रिप्ट]], [[पर्ल]] और [[पीएचपी]] वाली भाषाओं में तार्किक नहीं है। <code>NOT</code>[[ALGOL 60|ऐल्गॉल 60]], प्रारंभ का सर्व-उद्देश्यीय प्रतीकात्मक निर्देश कोड प्रोग्रामिंग भाषा, और ऐल्गॉल- या बेसिक-प्रेरित सिंटैक्स वाली भाषाओं जैसे [[पास्कल प्रोग्रामिंग भाषा]], एडीए प्रोग्रामिंग भाषा, एफिल (प्रोग्रामिंग भाषा) और [[Seed7|एसईईदी 7]] में उपयोग किया जाने वाला संक्रियक है। कुछ भाषाएँ (C++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे पीएल/एल और [[Ratfor|रैटफोर]] <code>¬</code> निगेशन के लिए उपयोग करती हैं। अधिकांश आधुनिक भाषाएँ <code>if (!(r == t))</code> को <code>if (r != t)</code> उपरोक्त कथन को कम करने की स्वीकृति देती हैं जो कभी-कभी स्वीकृति देता है कि जब संकलक/दुभाषिया इसे तीव्रता से प्रोग्राम को अनुकूलित करने में सक्षम नहीं होता है। | ||
कंप्यूटर विज्ञान में बिटवाइज़ निगेशन भी है। यह दिया गया मान लेता है और सभी बाइनरी अंक प्रणाली 1s को 0s और 0s को 1s में बदल देता है। [[बिटवाइज़ ऑपरेशन|बिटवाइज़ संचालन]] देखें। इसका उपयोग प्रायः हस्ताक्षरित संख्या प्रतिनिधित्व बनाने के लिए किया जाता है | एक पूरक या<code>~C</code> या C ++ और दो के पूरक में ( सरलीकृत<code>-</code>या ऋणात्मक चिह्न क्योंकि यह संख्या के अंकगणितीय ऋणात्मक मान को लेने के समान है) क्योंकि यह मूल रूप से मान के विपरीत (ऋणात्मक मान समतुल्य) या गणितीय पूरक बनाता है (जहां दोनों मान एक साथ जोड़े जाते हैं वे एक संपूर्ण बनाते हैं)। | कंप्यूटर विज्ञान में बिटवाइज़ निगेशन भी है। यह दिया गया मान लेता है और सभी बाइनरी अंक प्रणाली 1s को 0s और 0s को 1s में बदल देता है। [[बिटवाइज़ ऑपरेशन|बिटवाइज़ संचालन]] देखें। इसका उपयोग प्रायः हस्ताक्षरित संख्या प्रतिनिधित्व बनाने के लिए किया जाता है | एक पूरक या<code>~C</code> या C ++ और दो के पूरक में ( सरलीकृत<code>-</code>या ऋणात्मक चिह्न क्योंकि यह संख्या के अंकगणितीय ऋणात्मक मान को लेने के समान है) क्योंकि यह मूल रूप से मान के विपरीत (ऋणात्मक मान समतुल्य) या गणितीय पूरक बनाता है (जहां दोनों मान एक साथ जोड़े जाते हैं वे एक संपूर्ण बनाते हैं)। | ||
Revision as of 13:07, 23 February 2023
| NOT | |
|---|---|
 | |
| Definition | |
| Truth table | |
| Logic gate |  |
| Normal forms | |
| Disjunctive | |
| Conjunctive | |
| Zhegalkin polynomial | |
| Post's lattices | |
| 0-preserving | no |
| 1-preserving | no |
| Monotone | no |
| Affine | yes |
तर्क में, निगेशन(निषेध), जिसे तार्किक पूरक भी कहा जाता है, एक संचालन है जो एक समस्या दूसरे समस्या के लिए ''not '' पर ले जाता है जिसे , या मे लिखा जाता है। इसे सामान्य रूप से सत्य के रूप में व्याख्या की जाती है असत्य है, और असत्य है जब सत्य है।[1][2] इस प्रकार निगेशन एक गैर संक्रियक तार्किक संयोजक है। इसे सामान्य रूप से, समस्या, सत्यमान, या सिमेंटिक मानों पर एक संचालन के रूप में प्रयुक्त किया जा सकता है। उत्कृष्ट तर्क में, निगेशन को सामान्य रूप से सत्यमान फलन के साथ पहचाना जाता है जो सत्य-मान को असत्यता (और इसके विपरीत) पर ले जाता है। अंतर्ज्ञानवादी तर्क में, ब्रौवर-हेटिंग-कोल्मोगोरोव व्याख्या के अनुसार, एक समस्या की उपेक्षा वह समस्या है जिसके प्रमाण का विभाजक (रेफ्यूशन) है।
परिभाषा
उत्कृष्ट निगेशन एक तार्किक मान पर एक तार्किक संचालन है, सामान्य रूप से एक समस्या का मान, जो सत्य मान उत्पन्न करता है जब उसका ऑपरेंड असत्य होता है, और जब उसका ऑपरेंड सत्य होता है तो असत्य का मान होता है। इस प्रकार यदि कथन P सत्य है, तो (उच्चारण not P ) तब असत्य होगा; और इसके विपरीत, यदि असत्य है तो P सत्य होगा।
की सत्य तालिका इस प्रकार है:
True False False True
निगेशन को अन्य तार्किक संचालन के संदर्भ में परिभाषित किया जा सकता है। उदाहरण के लिए, के रूप में परिभाषित किया जा सकता है (जहां तार्किक परिणाम है और असत्य (तर्क) है)। इसके विपरीत परिभाषित किया जा सकता है जैसा