नकार

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

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

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


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

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

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

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

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

समुच्चय सिद्धांत मे,  $$\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 असत्य क्वाडलिबेट भी कहा जाता है), और द्विक निगेशन निरसन (से $$\neg \neg P$$ तर्क $$P$$) एक ही तरह से अंतर्ज्ञानवादी निगेशन के लिए नियम प्राप्त करता है लेकिन द्विक निगेशन निरसन को छोड़कर प्राप्त करता है।

निगेशन परिचय में कहा गया है कि यदि $$P$$ से निष्कर्ष के रूप में एक असंगति निकाली जा सकती है तब $$P$$ स्थिति नहीं होना चाहिए (अर्थात $$P$$ असत्य (उत्कृष्ट रूप से) या खंडन योग्य (सामान्य ज्ञान युक्त) या आदि) है। निगेशन निरसन बताता है कि कुछ भी असंगति से होता है। कभी-कभी एक प्राथमिक असंगति चिह्न $$\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++, पर्ल, आदि) निगेशन के लिए एक से अधिक संक्रियक प्रदान करती हैं। कुछ भाषाएँ जैसे पीएल/एल और रैटफोर   निगेशन के लिए उपयोग करती हैं। अधिकांश आधुनिक भाषाएँ   को   उपरोक्त कथन को कम करने की स्वीकृति देती हैं जो कभी-कभी स्वीकृति देता है कि जब संकलक/दुभाषिया इसे तीव्रता से प्रोग्राम को अनुकूलित करने में सक्षम नहीं होता है।

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

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

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