नकार: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (8 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|Logical operation}} | {{short description|Logical operation}} | ||
{{Infobox logical connective | {{Infobox logical connective | ||
| title = | | title = निषेध | ||
| other titles = NOT | | other titles = NOT | ||
| Venn diagram = Venn10.svg | | Venn diagram = Venn10.svg | ||
| Line 18: | 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 33: | 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> किसी समस्या के लिए {{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 48: | Line 47: | ||
| style="text-align:center" | <math>\neg p</math> | | style="text-align:center" | <math>\neg p</math> | ||
| style="text-align:center" | {{mono|¬p}} | | style="text-align:center" | {{mono|¬p}} | ||
| | | not ''p'' | ||
|- | |- | ||
| style="text-align:center" | <math>\mathord{\sim} p</math> | | style="text-align:center" | <math>\mathord{\sim} p</math> | ||
| style="text-align:center" | {{mono|~p}} | | style="text-align:center" | {{mono|~p}} | ||
| | | not ''p'' | ||
|- | |- | ||
| style="text-align:center" | <math>-p</math> | | style="text-align:center" | <math>-p</math> | ||
| style="text-align:center" | {{mono|-p}} | | style="text-align:center" | {{mono|-p}} | ||
| | | not ''p'' | ||
|- | |- | ||
| style="text-align:center" | N''p'' | | style="text-align:center" | N''p'' | ||
| | | | ||
| | | En ''p'' | ||
|- | |- | ||
| style="text-align:center" | <math>p'</math> | | style="text-align:center" | <math>p'</math> | ||
| Line 84: | Line 83: | ||
|- | |- | ||
|} | |} | ||
संकेतन | संकेतन Np लुकासिविक्ज़ संकेतन है। | ||
समुच्चय सिद्धांत | समुच्चय सिद्धांत मे, <nowiki>''</nowiki><math>\setminus</math><nowiki>''</nowiki> का उपयोग समुच्चय में 'not' को इंगित करने के लिए भी किया जाता है: <math>U \setminus A</math> के सभी इकाइयों का समुच्चय {{mvar|U}} है जो {{mvar|A}} के भाग नहीं हैं। | ||
तथापि यह कैसे | तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन <math>\neg P</math> की स्थिति <nowiki>''</nowiki>नहीं है कि {{mvar|P}}, <nowiki>''</nowiki>not that {{mvar|P}}<nowiki>''</nowiki>, या सामान्य रूप से अधिक सरल रूप में not {{mvar|P}} के रूप में पढ़ा जा सकता है। | ||
== गुण == | == गुण == | ||
=== | === द्विक निगेशन === | ||
उत्कृष्ट तर्क की एक प्रणाली के अंदर, द्विक निगेशन, अर्थात, एक समस्या के निगेशन का निगेशन <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> है। | ||
परिणामस्वरूप, | परिणामस्वरूप, समस्या के स्थिति में, एक कथन उत्कृष्ट रूप से सिद्ध होता है, यदि इसकी दोहरी अस्वीकृति अंतर्ज्ञानवादी रूप से सिद्ध होती है। इस परिणाम को ग्लिवेंको प्रमेय के रूप में जाना जाता है। | ||
=== | === वितरण === | ||
डी मॉर्गन के नियम तार्किक संयोजन और तार्किक संयोजन पर वितरणात्मक | डी मॉर्गन के नियम तार्किक संयोजन और तार्किक संयोजन पर वितरणात्मक गुण निगेशन का एक तरीका प्रदान करते हैं: | ||
:<math>\neg(P \lor Q) \equiv (\neg P \land \neg Q)</math>, | :<math>\neg(P \lor Q) \equiv (\neg P \land \neg Q)</math>, और | ||
:<math>\neg(P \land Q) \equiv (\neg P \lor \neg Q)</math>. | :<math>\neg(P \land Q) \equiv (\neg P \lor \neg Q)</math>. | ||
=== रैखिकता === | === रैखिकता === | ||
मान लीजिए <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>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>. | |||
=== परिमाणकों का | === परिमाणकों का निगेशन === | ||
प्रथम क्रम तर्क में, दो | प्रथम क्रम तर्क में, दो परिमाणक होते हैं, एक सार्वभौमिक परिमाणक होता है <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>या कोई ऐसा सम्मिलित है जो सदैव के लिए जीवित रहता है"। | ||
== अनुमान के नियम == | == अनुमान के नियम == | ||
{{see also| | {{see also|द्विक निगेशन}} | ||
निगेशन के लिए नियम तैयार करने के कई समतुल्य तरीके हैं। एक [[प्राकृतिक कटौती|प्राकृतिक परिणाम]] संस्थापन में उत्कृष्ट निगेशन को तैयार करने का एक सामान्य तरीका अनुमान निगेशन परिचय के प्राथमिक नियमों के रूप में लेना है (की व्युत्पत्ति से) <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> किया जाता है फिर निगेशन परिचय और असंगति निहितार्थ परिचय ([[सशर्त प्रमाण]]) और विलोपन ([[मूड सेट करना|एक वैध, सरल तर्क और निष्कर्ष के नियम के रूप]]) के विशेष स्थिति हैं। इस स्थिति में एक प्राथमिक नियम के रूप में भी जोड़ा जाना चाहिए। | |||
== प्रोग्रामिंग भाषा और सामान्य भाषा == | == प्रोग्रामिंग भाषा और सामान्य भाषा == | ||
''"वोट" यहाँ पुनर्प्रेषित होता है। विकिपीडिया तर्कओं में वोटों के उपयोग के लिए, विकिपीडिया देखें: पोलिंग तर्क का विकल्प नहीं है § not-वोट्स।'' | |||
गणित की तरह, तार्किक कथनों के निर्माण के लिए [[कंप्यूटर विज्ञान]] में | |||
गणित की तरह, तार्किक कथनों के निर्माण के लिए [[कंप्यूटर विज्ञान]] में निगेशन का उपयोग किया जाता है। | |||
if (!(r == t)) | if (!(r == t)) | ||
| Line 148: | Line 142: | ||
कंप्यूटर | [[विस्मयादिबोधक चिह्न]]<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>या ऋणात्मक चिह्न क्योंकि यह संख्या के अंकगणितीय ऋणात्मक मान को लेने के समान है) क्योंकि यह मूल रूप से मान के विपरीत (ऋणात्मक मान समतुल्य) या गणितीय पूरक बनाता है (जहां दोनों मान एक साथ जोड़े जाते हैं वे एक संपूर्ण बनाते हैं)। | |||
किसी दिए गए पूर्णांक का पूर्ण ( | किसी दिए गए पूर्णांक का पूर्ण (धनात्मक समतुल्य) मान प्राप्त करने के लिए निम्नलिखित <code>-</code>के रूप में काम करेगा जो इसे ऋणात्मक से धनात्मक में परिवर्तित कर देता है क्योंकि<code>x < 0</code> सत्य सत्य है)। | ||
unsigned int abs(int x) | unsigned int abs(int x) | ||
{ | { | ||
| Line 164: | Line 156: | ||
return x; | return x; | ||
} | } | ||
तार्किक | तार्किक निगेशन प्रदर्शित करने के लिए: | ||
unsigned int abs(int x) | unsigned int abs(int x) | ||
| Line 175: | Line 167: | ||
स्थिति को प्रतिलोमक और परिणामों को प्रतिवर्ती से कोड उत्पन्न होता है जो तार्किक रूप से मूल कोड के समतुल्य होता है, अर्थात किसी भी इनपुट के लिए समान परिणाम होंगे (ध्यान दें कि उपयोग किए गए कंपाइलर के आधार पर, कंप्यूटर द्वारा किए गए वास्तविक निर्देश भिन्न हो सकते हैं)। | |||
यह कन्वेंशन कभी-कभी साधारण लिखित भाषा में कंप्यूटर से संबंधित अपरिष्कृत भाषा 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> | |||