नकार

तर्क में, निगेशन (निषेध), जिसे तार्किक पूरक भी कहा जाता है, एक संचालन है जो एक प्रस्ताव $$P$$ दूसरे प्रस्ताव के लिए  not $$P$$  मे ले जाता है जिसे $$\neg P$$, $$\mathord{\sim} P$$ या $$\overline{P}$$ मे लिखा जाता है। इसे सहज रूप से true होने के रूप में व्याख्या की जाती है $$P$$ false है, और false है जब $$P$$ true है। इस प्रकार निगेशन एक एकात्मक संचालन तार्किक संयोजक है। इसे सामान्य रूप से धारणा (दर्शन), प्रस्ताव, सत्य मान, या सिमेंटिक मानों पर एक संचालन के रूप में प्रयुक्त किया जा सकता है। क्लासिक तर्क में, निगेशन को सामान्य रूप से सत्यमान फलन के साथ पहचाना जाता है जो सत्यमान को असत्यता (और इसके विपरीत) में ले जाता है। अंतर्ज्ञानवादी तर्क में, ब्रौवर-हेटिंग-कोल्मोगोरोव व्याख्या के अनुसार, एक प्रस्ताव $$P$$ की उपेक्षा वह प्रस्ताव है जिसके प्रमाण का $$P$$ खंडन (रेफ्यूशन) है।

परिभाषा
उत्कृष्ट निगेशन एक तार्किक मान पर एक तार्किक संचालन है, सामान्य रूप से एक प्रस्ताव का मान, जो true का मान उत्पन्न करता है जब उसका ऑपरेंड false होता है, और जब उसका ऑपरेंड true होता है तो false का मान होता है। इस प्रकार यदि कथन $P$ true है, तो $$\neg P$$ (उच्चारण not P ) तब false होगा; और इसके विपरीत, यदि $$\neg P$$ false है तो $P$ true होगा।

की true तालिका $$\neg P$$ इस प्रकार है:


 * {| class="wikitable" style="text-align:center; background-color: #ddffdd;"

निगेशन को अन्य तार्किक संचालन के संदर्भ में परिभाषित किया जा सकता है। उदाहरण के लिए, $$\neg P$$ के रूप में परिभाषित किया जा सकता है $$P \rightarrow \bot$$ (जहां $$\rightarrow$$ तार्किक परिणाम है और $$\bot$$ false (तर्क) है)। इसके विपरीत परिभाषित किया जा सकता है $$\bot$$ जैसा $$Q \land \neg Q$$ किसी प्रस्ताव के लिए $Q$ (जहां $$\land$$ तार्किक संयोजन है)। यहाँ विचार यह है कि कोई भी विरोधाभास false है, और जबकि ये विचार क्लासिक (शास्रीय) और अंतर्ज्ञानवादी तर्क दोनों में कार्य करते हैं, वे परासंगत तर्क में कार्य नहीं करते हैं, जहाँ विरोधाभास आवश्यक रूप से false नहीं हैं। क्लासिक तर्कशास्त्र में हमें एक अन्य पहचान भी मिलती है, $$P \rightarrow Q$$ को $$\neg P \lor Q$$ के रूप में परिभाषित किया जा सकता है जहां $$\lor$$ तार्किक वियोजन है।
 * - bgcolor="#ddeeff"
 * $$ P $$ || $$ \neg P $$
 * True || False
 * False || True
 * }
 * False || True
 * }

बीजगणितीय रूप से, क्लासिक निगेशन एक बूलियन बीजगणित (संरचना) में पूरक (आदेश सिद्धांत) से अनुरूप है, और एक हेटिंग बीजगणित में छद्म पूरकता के लिए अंतर्ज्ञानवादी निगेशन है। ये बीजगणित क्रमशः क्लासिक और अंतर्ज्ञानवादी तर्क के लिए बीजगणितीय शब्दार्थ (गणितीय तर्क) प्रदान करते हैं।

संकेत
एक प्रस्ताव की अस्वीकृति $p$ चर्चा के विभिन्न संदर्भों और एप्लीकेशन के क्षेत्रों में अलग-अलग तरीकों से प्रलेखित किया जाता है। निम्नलिखित तालिका में इनमें से कुछ प्रकार हैं:

संकेतन एनपी लुकासिविक्ज़ संकेतन है।

समुच्चय सिद्धांत मे, $$\setminus$$ का उपयोग 'के समुच्चय में not' को इंगित करने के लिए भी किया जाता है: $$U \setminus A$$ के सभी इकाइयों का समुच्चय $U$ है जो $A$ के भाग नहीं हैं।

तथापि यह कैसे संकेतित या प्रतीकित हो, निगेशन $$\neg P$$ को ऐसा नहीं कि $P$,  not that $P$ , या सामान्य रूप से अधिक सरल रूप में not $P$ के रूप में पढ़ा जा सकता है।

द्विक निगेशन
उत्कृष्ट तर्क की एक प्रणाली के अंदर, दोहरा निगेशन, अर्थात, एक प्रस्ताव के निगेशन का निगेशन $$P$$, तार्किक रूप से समकक्ष है $$P$$. प्रतीकात्मक शब्दों में $$\neg \neg P \equiv P$$ व्यक्त किया जाता है। अंतर्ज्ञानवादी तर्क में, एक प्रस्ताव का तात्पर्य इसके दोहरे निगेशन से है लेकिन इसके विपरीत नहीं है। यह उत्कृष्ट और अंतर्ज्ञानवादी निगेशन के बीच एक महत्वपूर्ण अंतर को चिन्हित करता है। बीजगणितीय रूप से, क्लासिक निगेशन को दो आवर्तनांक का एक समावेशन (गणित) कहा जाता है।

हालांकि, अंतर्ज्ञानवादी तर्क में, दुर्बल समानता $$\neg \neg \neg P \equiv \neg P$$ धारण करता है। ऐसा इसलिए है क्योंकि अंतर्ज्ञानवादी तर्क में, $$\neg P$$ के लिए मात्र एक आशुलिपि $$P \rightarrow \bot$$, हमारे पास $$P \rightarrow \neg \neg P $$ भी है। त्रिपक्षीय निगेशन के साथ उस अंतिम निहितार्थ की रचना करना $$\neg \neg P  \rightarrow  \bot $$ इसका आशय $$P \rightarrow \bot$$ है।

परिणामस्वरूप, प्रस्ताव के स्थितिमें, एक कथन उत्कृष्ट रूप से सिद्ध होता है, यदि इसकी दोहरी अस्वीकृति अंतर्ज्ञानवादी रूप से सिद्ध होती है। इस परिणाम को ग्लिवेंको प्रमेय के रूप में जाना जाता है।

वितरण
डी मॉर्गन के नियम तार्किक संयोजन और तार्किक संयोजन पर वितरणात्मक गुण निगेशन का एक तरीका प्रदान करते हैं:


 * $$\neg(P \lor Q) \equiv (\neg P \land \neg Q)$$, और
 * $$\neg(P \land Q) \equiv (\neg P \lor \neg Q)$$.

रैखिकता
मान लीजिए $$\oplus$$ तार्किक एकमात्र संचालन को निरूपित करें। बूलियन बीजगणित में, एक रेखीय फलन ऐसा होता है कि:

यदि $$a_0, a_1, \dots, a_n \in \{0,1\}$$, $$f(b_1, b_2, \dots, b_n) = a_0 \oplus (a_1 \land b_1) \oplus \dots \oplus (a_n \land b_n)$$, सभी के लिए $$b_1, b_2, \dots, b_n \in \{0,1\}$$ सम्मिलित है।

इसे व्यक्त करने का एक अन्य तरीका यह है कि प्रत्येक चर सदैव संचालन केसत्यमान में अंतर करता है, या यह कभी भी अंतर नहीं करता है। निगेशन एक रैखिक तार्किक ऑपरेटर (संकारक) है।

स्व द्वैत
बूलियन बीजगणित (तर्क) में, एक स्व-द्वैत फलन एक ऐसा फलन है जो:

$$f(a_1, \dots, a_n) = \neg f(\neg a_1, \dots, \neg a_n)$$ सभी के लिए $$a_1, \dots, a_n \in \{0,1\}$$. निगेशन एक स्व- द्वैत तार्किक संचालिका है।

परिमाणकों का निगेशन
प्रथम क्रम तर्क में, दो परिमाणक होते हैं, एक सार्वभौमिक परिमाणक होता है $$\forall$$ (तात्पर्य सबके लिए) और दूसरा अस्तित्वगत परिमाणक $$\exists$$ है (तात्पर्य वहाँ सम्मिलित है)। एक परिमाणक का निगेशन अन्य परिमाणक ($$\neg \forall xP(x)\equiv\exists x\neg P(x)$$ और $$\neg \exists xP(x)\equiv\forall x\neg P(x)$$) है। उदाहरण के लिए, विधेय P के साथ x नश्वर (मॉर्टल) है और सभी मनुष्यों के संग्रह के रूप में x का प्रक्षेत्र है, $$\forall xP(x)$$ का अर्थ है कि सभी मनुष्यों में एक व्यक्ति x नश्वर है या सभी मनुष्य नश्वर हैं। इसका निगेशन $$\neg \forall xP(x)\equiv\exists x\neg P(x)$$ है। जिसका अर्थ है कि सभी मनुष्यों में एक व्यक्ति x सम्मिलित है जो नश्वर नहीं है, '' या कोई ऐसा सम्मिलित है जो सदैव के लिए जीवित रहता है"।

अनुमान के नियम
निगेशन के लिए नियम तैयार करने के कई समतुल्य तरीके हैं। एक प्राकृतिक परिणाम संस्थापन में उत्कृष्ट निगेशन को तैयार करने का एक सामान्य तरीका अनुमान निगेशन परिचय के प्राथमिक नियमों के रूप में लेना है (की व्युत्पत्ति से) $$P$$ दोनों के लिए $$Q$$ और $$\neg Q$$, अनुमान $$\neg P$$; इस नियम को रिडक्टियो एड एब्सर्डम भी कहा जाता है), निगेशन उन्मूलन (से $$P$$ और $$\neg P$$ अनुमान $$Q$$ से इस नियम को x false क्वाडलिबेट भी कहा जाता है), और द्विक निगेशन उन्मूलन (से $$\neg \neg P$$ तर्क $$P$$) एक ही तरह से अंतर्ज्ञानवादी निगेशन के लिए नियम प्राप्त करता है लेकिन द्विक निगेशन उन्मूलन को छोड़कर प्राप्त करता है।

निगेशनात्मक परिचय में कहा गया है कि यदि $$P$$ से निष्कर्ष के रूप में एक असंगति निकाली जा सकती है तब $$P$$ स्थिति नहीं होना चाहिए (अर्थात $$P$$ false (उत्कृष्ट रूप से) या खंडन योग्य (सहज ज्ञान युक्त) या आदि) है। निगेशनात्मक उन्मूलन बताता है कि कुछ भी असंगति से होता है। कभी-कभी एक प्राथमिक असंगति चिह्न $$\bot$$ का उपयोग करके निगेशनात्मक उन्मूलन तैयार किया जाता है इस स्थिति में नियम कहता है कि से $$P$$ और $$\neg P$$ एक असंगति का अनुसरण करता है। द्विक निगेशन उन्मूलन के साथ-साथ हमारे मूल रूप से तैयार किए गए नियम का अनुमान लगाया जा सकता है, अर्थात् कुछ भी असंगति से होता है।

सामान्य रूप से अंतर्ज्ञानवादी निगेशन $$\neg P$$ का $$P$$ परिभाषित $$P \rightarrow \bot$$ किया जाता है फिर निगेशन परिचय और असंगति निहितार्थ परिचय (सशर्त प्रमाण) और विलोपन (एक वैध, सरल तर्क और निष्कर्ष के नियम के रूप) के विशेष स्थिति हैं। इस स्थिति में एक प्राथमिक नियम के रूप में भी जोड़ा जाना चाहिए।

प्रोग्रामिंग भाषा और सामान्य भाषा
"वोट" यहाँ पुनर्प्रेषित होता है। विकिपीडिया चर्चाओं में वोटों के उपयोग के लिए, विकिपीडिया देखें: पोलिंग चर्चा का विकल्प नहीं है § not-वोट्स।

गणित की तरह, तार्किक कथनों के निर्माण के लिए कंप्यूटर विज्ञान में निगेशन का उपयोग किया जाता है।

if (!(r == t))

{    /*...statements executed when r does NOT equal t...*/ }

विस्मयादिबोधक चिह्न B, (प्रोग्रामिंग भाषा), C प्रोग्रामिंग भाषा और C-प्रेरित सिंटैक्स जैसे C ++, जावा (प्रोग्रामिंग भाषा), जावास्क्रिप्ट, पर्ल और पीएचपी वाली भाषाओं में तार्किक नहीं है।  ऐल्गॉल 60, प्रारंभ का सर्व-उद्देश्यीय प्रतीकात्मक निर्देश कोड प्रोग्रामिंग भाषा, और ऐल्गॉल- या बेसिक-प्रेरित सिंटैक्स वाली भाषाओं जैसे पास्कल प्रोग्रामिंग भाषा, एडीए प्रोग्रामिंग भाषा, एफिल (प्रोग्रामिंग भाषा) और एसईईदी 7 में उपयोग किया जाने वाला संक्रियक है। कुछ भाषाएँ (C++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे PL/I और रैटफोर   निगेशन के लिए उपयोग करती हैं। अधिकांश आधुनिक भाषाएँ   को   उपरोक्त कथन को कम करने की स्वीकृति देती हैं जो कभी-कभी स्वीकृति देता है कि जब संकलक/दुभाषिया इसे तेजी से प्रोग्राम को अनुकूलित करने में सक्षम नहीं होता है।

कंप्यूटर विज्ञान में बिटवाइज़ निगेशन भी है। यह दिया गया मान लेता है और सभी बाइनरी अंक प्रणाली 1s को 0s और 0s को 1s में बदल देता है। बिटवाइज़ संचालन देखें। इसका उपयोग प्रायः हस्ताक्षरित संख्या प्रतिनिधित्व बनाने के लिए किया जाता है | एक का पूरक या या C ++ और दो के पूरक में (बस सरलीकृत या ऋणात्मक चिह्न क्योंकि यह संख्या के अंकगणितीय ऋणात्मक मान को लेने के समान है) क्योंकि यह मूल रूप से मान के विपरीत (ऋणात्मक मान समतुल्य) या गणितीय पूरक बनाता है (जहां दोनों मान एक साथ जोड़े जाते हैं वे एक संपूर्ण बनाते हैं)।

किसी दिए गए पूर्णांक का पूर्ण (धनात्मक समतुल्य) मान प्राप्त करने के लिए निम्नलिखित के रूप में काम करेगा जो इसे ऋणात्मक  से धनात्मक में परिवर्तित कर देता है क्योंकि  true सत्य है)।

unsigned int abs(int x) { if (x < 0) return -x; else return x; } तार्किक निगेशन प्रदर्शित करने के लिए:

unsigned int abs(int x) { if (!(x < 0)) return x;    else return -x; }

स्थिति को प्रतिलोमक और परिणामों को उत्क्रमी से कोड उत्पन्न होता है जो तार्किक रूप से मूल कोड के समतुल्य होता है, अर्थात किसी भी इनपुट के लिए समान परिणाम होंगे (ध्यान दें कि उपयोग किए गए कंपाइलर के आधार पर, कंप्यूटर द्वारा किए गए वास्तविक निर्देश भिन्न हो सकते हैं)।

यह कन्वेंशन कभी-कभी साधारण लिखित भाषा में कंप्यूटर से संबंधित अपरिष्कृत भाषा NOT सामने आता है। उदाहरण के लिए, चरण  का तात्पर्य not वोटिंग है। एक अन्य उदाहरण   जिसका उपयोग नो-क्लू या क्लूलेस के पर्याय के रूप में किया जाता है।

कृपके सिमेन्टिक
कृपके शब्दार्थ में जहां सूत्रों के सिमेन्टिक मान संभावित विश्व के समुच्चय हैं, समुच्चय-सैद्धांतिक पूरकता के अर्थ में निगेशन को लिया जा सकता है (अधिक के लिए संभावित विश्व सिमेन्टिक भी देखें)।

यह भी देखें

 * पुष्टि और निगेशन (व्याकरणिक ध्रुवीयता)
 * अम्फेक
 * एपोफैसिस
 * बाइनरी विपक्ष
 * बिटवाइज़ NOT
 * विरोधाभास
 * चक्रीय निगेशन
 * तार्किक संयोजन
 * तार्किक विच्छेदन
 * असफलता के रूप में निगेशन
 * गेट NOT
 * प्लेटो बेयर्ड
 * वर्ग का विरोध
 * सत्य फलन
 * सत्य तालिका

अग्रिम पठन

 * Gabbay, Dov, and Wansing, Heinrich, eds., 1999. What is Negation?, Kluwer.
 * Horn, L., 2001. A Natural History of Negation, University of Chicago Press.
 * G. H. von Wright, 1953–59, "On the Logic of Negation", Commentationes Physico-Mathematicae 22.
 * Wansing, Heinrich, 2001, "Negation", in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic, Blackwell.

बाहरी संबंध

 * NOT, on MathWorld
 * Tables of Truth of composite clauses
 * NOT, on MathWorld
 * Tables of Truth of composite clauses