नकार: 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> दूसरे प्रस्ताव के लिए <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> इस प्रकार है: | ||
:{| class="wikitable" style="text-align:center; background-color: #ddffdd;" | :{| class="wikitable" style="text-align:center; background-color: #ddffdd;" | ||
| 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>\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}} चर्चा के विभिन्न संदर्भों और | एक प्रस्ताव की अस्वीकृति {{mvar|p}} चर्चा के विभिन्न संदर्भों और अनुप्रयोग के क्षेत्रों में अलग-अलग तरीकों से प्रलेखित किया जाता है। निम्नलिखित तालिका में इनमें से कुछ प्रकार हैं: | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 85: | Line 85: | ||
संकेतन एनपी लुकासिविक्ज़ संकेतन है। | संकेतन एनपी लुकासिविक्ज़ संकेतन है। | ||
समुच्चय सिद्धांत मे, <math>\setminus</math> का उपयोग | समुच्चय सिद्धांत मे, <nowiki>''</nowiki><math>\setminus</math><nowiki>''</nowiki> का उपयोग समुच्चय में not' को इंगित करने के लिए भी किया जाता है: <math>U \setminus A</math> के सभी इकाइयों का समुच्चय {{mvar|U}} है जो {{mvar|A}} के भाग नहीं हैं। | ||
तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन <math>\neg P</math> को ऐसा नहीं कि {{mvar|P}}, <nowiki>''</nowiki>not that {{mvar|P}}<nowiki>''</nowiki>, या सामान्य रूप से अधिक सरल रूप में not {{mvar|P}} के रूप में पढ़ा जा सकता है। | तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन <math>\neg P</math> को ऐसा नहीं कि {{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>\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> सम्मिलित है। | ||
इसे व्यक्त करने का एक अन्य तरीका यह है कि प्रत्येक चर सदैव संचालन | इसे व्यक्त करने का एक अन्य तरीका यह है कि प्रत्येक चर सदैव संचालन के सत्यमान में अंतर करता है, या यह कभी भी अंतर नहीं करता है। निगेशन एक रैखिक तार्किक ऑपरेटर (संकारक) है। | ||
=== स्व द्वैत === | === स्व द्वैत === | ||
बूलियन बीजगणित (तर्क) में, एक स्व-द्वैत | बूलियन बीजगणित (तर्क) में, एक स्व-द्वैत फंक्शन एक ऐसा फंक्शन है जो: | ||
<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>. निगेशन एक स्व- द्वैत तार्किक संक्रिया है। | ||
=== परिमाणकों का निगेशन === | === परिमाणकों का निगेशन === | ||
| Line 125: | Line 125: | ||
{{see also|द्विक निगेशन}} | {{see also|द्विक निगेशन}} | ||
निगेशन के लिए नियम तैयार करने के कई समतुल्य तरीके हैं। एक [[प्राकृतिक कटौती|प्राकृतिक परिणाम]] संस्थापन में उत्कृष्ट निगेशन को तैयार करने का एक सामान्य तरीका अनुमान निगेशन परिचय के प्राथमिक नियमों के रूप में लेना है (की व्युत्पत्ति से) <math>P</math> दोनों के लिए <math>Q</math> और <math>\neg Q</math>, अनुमान <math>\neg P</math> | निगेशन के लिए नियम तैयार करने के कई समतुल्य तरीके हैं। एक [[प्राकृतिक कटौती|प्राकृतिक परिणाम]] संस्थापन में उत्कृष्ट निगेशन को तैयार करने का एक सामान्य तरीका अनुमान निगेशन परिचय के प्राथमिक नियमों के रूप में लेना है (की व्युत्पत्ति से) <math>P</math> दोनों के लिए <math>Q</math> और <math>\neg Q</math>, अनुमान <math>\neg P</math> है, इस नियम को रिडक्टियो एड एब्सर्डम भी कहा जाता है), निगेशन निरसन (से <math>P</math> और <math>\neg P</math> अनुमान <math>Q</math> से इस नियम को x असत्य क्वाडलिबेट भी कहा जाता है), और द्विक निगेशन निरसन (से <math>\neg \neg P</math> तर्क <math>P</math>) एक ही तरह से अंतर्ज्ञानवादी निगेशन के लिए नियम प्राप्त करता है लेकिन द्विक निगेशन निरसन को छोड़कर प्राप्त करता है। | ||
निगेशन परिचय में कहा गया है कि यदि <math>P</math> से निष्कर्ष के रूप में एक असंगति निकाली जा सकती है तब <math>P</math> स्थिति नहीं होना चाहिए (अर्थात <math>P</math> असत्य (उत्कृष्ट रूप से) या खंडन योग्य (सामान्य ज्ञान युक्त) या आदि) है। निगेशन निरसन बताता है कि कुछ भी असंगति से होता है। कभी-कभी एक प्राथमिक असंगति चिह्न <math>\bot</math> का उपयोग करके निगेशन निरसन तैयार किया जाता है इस स्थिति में नियम कहता है कि से <math>P</math> और <math>\neg P</math> एक असंगति का अनुसरण करता है। द्विक निगेशन निरसन के साथ-साथ हमारे मूल रूप से तैयार किए गए नियम का अनुमान लगाया जा सकता है, अर्थात् कुछ भी असंगति से होता है। | |||
सामान्य रूप से अंतर्ज्ञानवादी निगेशन <math>\neg P</math> का <math>P</math> परिभाषित <math>P \rightarrow \bot</math> किया जाता है फिर निगेशन परिचय और असंगति निहितार्थ परिचय ([[सशर्त प्रमाण]]) और विलोपन ([[मूड सेट करना|एक वैध, सरल तर्क और निष्कर्ष के नियम के रूप]]) के विशेष स्थिति हैं। इस स्थिति में एक प्राथमिक नियम के रूप में भी जोड़ा जाना चाहिए। | सामान्य रूप से अंतर्ज्ञानवादी निगेशन <math>\neg P</math> का <math>P</math> परिभाषित <math>P \rightarrow \bot</math> किया जाता है फिर निगेशन परिचय और असंगति निहितार्थ परिचय ([[सशर्त प्रमाण]]) और विलोपन ([[मूड सेट करना|एक वैध, सरल तर्क और निष्कर्ष के नियम के रूप]]) के विशेष स्थिति हैं। इस स्थिति में एक प्राथमिक नियम के रूप में भी जोड़ा जाना चाहिए। | ||
| Line 144: | Line 144: | ||
[[विस्मयादिबोधक चिह्न]]<code>!</code> B, (प्रोग्रामिंग भाषा), [[सी प्रोग्रामिंग भाषा|C प्रोग्रामिंग भाषा]] और C-प्रेरित सिंटैक्स जैसे [[सी ++|C ++]], [[जावा (प्रोग्रामिंग भाषा)]], [[जावास्क्रिप्ट]], [[पर्ल]] और [[पीएचपी]] वाली भाषाओं में तार्किक नहीं है। <code>NOT</code>[[ALGOL 60|ऐल्गॉल 60]], प्रारंभ का सर्व-उद्देश्यीय प्रतीकात्मक निर्देश कोड प्रोग्रामिंग भाषा, और ऐल्गॉल- या बेसिक-प्रेरित सिंटैक्स वाली भाषाओं जैसे [[पास्कल प्रोग्रामिंग भाषा]], एडीए प्रोग्रामिंग भाषा, एफिल (प्रोग्रामिंग भाषा) और [[Seed7|एसईईदी 7]] में उपयोग किया जाने वाला संक्रियक है। कुछ भाषाएँ (C++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे PL/I और [[Ratfor|रैटफोर]] <code>¬</code> निगेशन के लिए उपयोग करती हैं। अधिकांश आधुनिक भाषाएँ <code>if (!(r == t))</code> को <code>if (r != t)</code> उपरोक्त कथन को कम करने की स्वीकृति देती हैं जो कभी-कभी स्वीकृति देता है कि जब संकलक/दुभाषिया इसे | [[विस्मयादिबोधक चिह्न]]<code>!</code> B, (प्रोग्रामिंग भाषा), [[सी प्रोग्रामिंग भाषा|C प्रोग्रामिंग भाषा]] और C-प्रेरित सिंटैक्स जैसे [[सी ++|C ++]], [[जावा (प्रोग्रामिंग भाषा)]], [[जावास्क्रिप्ट]], [[पर्ल]] और [[पीएचपी]] वाली भाषाओं में तार्किक नहीं है। <code>NOT</code>[[ALGOL 60|ऐल्गॉल 60]], प्रारंभ का सर्व-उद्देश्यीय प्रतीकात्मक निर्देश कोड प्रोग्रामिंग भाषा, और ऐल्गॉल- या बेसिक-प्रेरित सिंटैक्स वाली भाषाओं जैसे [[पास्कल प्रोग्रामिंग भाषा]], एडीए प्रोग्रामिंग भाषा, एफिल (प्रोग्रामिंग भाषा) और [[Seed7|एसईईदी 7]] में उपयोग किया जाने वाला संक्रियक है। कुछ भाषाएँ (C++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे PL/I और [[Ratfor|रैटफोर]] <code>¬</code> निगेशन के लिए उपयोग करती हैं। अधिकांश आधुनिक भाषाएँ <code>if (!(r == t))</code> को <code>if (r != t)</code> उपरोक्त कथन को कम करने की स्वीकृति देती हैं जो कभी-कभी स्वीकृति देता है कि जब संकलक/दुभाषिया इसे तीव्रता से प्रोग्राम को अनुकूलित करने में सक्षम नहीं होता है। | ||
कंप्यूटर विज्ञान में बिटवाइज़ निगेशन भी है। यह दिया गया मान लेता है और सभी बाइनरी अंक प्रणाली 1s को 0s और 0s को 1s में बदल देता है। [[बिटवाइज़ ऑपरेशन|बिटवाइज़ संचालन]] देखें। इसका उपयोग प्रायः हस्ताक्षरित संख्या प्रतिनिधित्व बनाने के लिए किया जाता है | एक | कंप्यूटर विज्ञान में बिटवाइज़ निगेशन भी है। यह दिया गया मान लेता है और सभी बाइनरी अंक प्रणाली 1s को 0s और 0s को 1s में बदल देता है। [[बिटवाइज़ ऑपरेशन|बिटवाइज़ संचालन]] देखें। इसका उपयोग प्रायः हस्ताक्षरित संख्या प्रतिनिधित्व बनाने के लिए किया जाता है | एक पूरक या<code>~C</code> या C ++ और दो के पूरक में ( सरलीकृत<code>-</code>या ऋणात्मक चिह्न क्योंकि यह संख्या के अंकगणितीय ऋणात्मक मान को लेने के समान है) क्योंकि यह मूल रूप से मान के विपरीत (ऋणात्मक मान समतुल्य) या गणितीय पूरक बनाता है (जहां दोनों मान एक साथ जोड़े जाते हैं वे एक संपूर्ण बनाते हैं)। | ||
किसी दिए गए पूर्णांक का पूर्ण (धनात्मक समतुल्य) मान प्राप्त करने के लिए निम्नलिखित <code>-</code>के रूप में काम करेगा जो इसे ऋणात्मक | किसी दिए गए पूर्णांक का पूर्ण (धनात्मक समतुल्य) मान प्राप्त करने के लिए निम्नलिखित <code>-</code>के रूप में काम करेगा जो इसे ऋणात्मक से धनात्मक में परिवर्तित कर देता है क्योंकि<code>x < 0</code> सत्य सत्य है)। | ||
unsigned int abs(int x) | unsigned int abs(int x) | ||
| Line 169: | Line 169: | ||
स्थिति को प्रतिलोमक और परिणामों को | स्थिति को प्रतिलोमक और परिणामों को प्रतिवर्ती से कोड उत्पन्न होता है जो तार्किक रूप से मूल कोड के समतुल्य होता है, अर्थात किसी भी इनपुट के लिए समान परिणाम होंगे (ध्यान दें कि उपयोग किए गए कंपाइलर के आधार पर, कंप्यूटर द्वारा किए गए वास्तविक निर्देश भिन्न हो सकते हैं)। | ||
यह कन्वेंशन कभी-कभी साधारण लिखित भाषा में कंप्यूटर से संबंधित अपरिष्कृत भाषा NOT सामने आता है। उदाहरण के लिए, चरण <code>!voting</code> का तात्पर्य not वोटिंग है। एक अन्य उदाहरण <code>!clue</code> जिसका उपयोग नो-क्लू या क्लूलेस के पर्याय के रूप में किया जाता है।<ref>[[Eric S. Raymond|Raymond, Eric]] and Steele, Guy. [https://books.google.com/books?id=g80P_4v4QbIC&pg=PA18&lpg=PA18 The New Hacker's Dictionary], p. 18 (MIT Press 1996).</ref><ref>Munat, Judith. [https://books.google.com/books?id=UOPXXYslemYC&pg=PA148&lpg=PA148 Lexical Creativity, Texts and Context], p. 148 (John Benjamins Publishing, 2007).</ref> | यह कन्वेंशन कभी-कभी साधारण लिखित भाषा में कंप्यूटर से संबंधित अपरिष्कृत भाषा NOT सामने आता है। उदाहरण के लिए, चरण <code>!voting</code> का तात्पर्य not वोटिंग है। एक अन्य उदाहरण <code>!clue</code> जिसका उपयोग नो-क्लू या क्लूलेस के पर्याय के रूप में किया जाता है।<ref>[[Eric S. Raymond|Raymond, Eric]] and Steele, Guy. [https://books.google.com/books?id=g80P_4v4QbIC&pg=PA18&lpg=PA18 The New Hacker's Dictionary], p. 18 (MIT Press 1996).</ref><ref>Munat, Judith. [https://books.google.com/books?id=UOPXXYslemYC&pg=PA148&lpg=PA148 Lexical Creativity, Texts and Context], p. 148 (John Benjamins Publishing, 2007).</ref> | ||
| Line 175: | Line 175: | ||
== [[कृपके शब्दार्थ|कृपके सिमेन्टिक]] == | == [[कृपके शब्दार्थ|कृपके सिमेन्टिक]] == | ||
कृपके | कृपके सिमेन्टिक में जहां सूत्रों के [[कृपके शब्दार्थ|सिमेन्टिक]] मान संभावित विश्व के समुच्चय हैं, [[सेट-सैद्धांतिक पूरक|समुच्चय-सैद्धांतिक पूरक]]ता के अर्थ में निगेशन को लिया जा सकता है{{citation needed|date=August 2012}} (अधिक के लिए [[संभावित विश्व शब्दार्थ|संभावित विश्व]] [[कृपके शब्दार्थ|सिमेन्टिक]] भी देखें)। | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 13:00, 22 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] इस प्रकार निगेशन एक एकात्मक संक्रियक तार्किक संयोजक है। इसे सामान्य रूप से धारणा (दर्शन), प्रस्ताव, सत्यमान, या सिमेंटिक मानों पर एक संचालन के रूप में प्रयुक्त किया जा सकता है। उत्कृष्ट तर्क में, निगेशन को सामान्य रूप से सत्यमान फंक्शन के साथ पहचाना जाता है जो सत्यमान को असत्यता (और इसके विपरीत) में ले जाता है। अंतर्ज्ञानवादी तर्क में, ब्रौवर-हेटिंग-कोल्मोगोरोव व्याख्या के अनुसार, एक प्रस्ताव की उपेक्षा वह प्रस्ताव है जिसके प्रमाण का विखंडन (रेफ्यूशन) है।