नकार

निषेध

NOT
Definition	${\overline {x}}$
Truth table	$(10)$
Logic gate	File:NOT ANSI.svg
Normal forms
Disjunctive	${\overline {x}}$
Conjunctive	${\overline {x}}$
Zhegalkin polynomial	$1\oplus x$
Post's lattices
0-preserving	no
1-preserving	no
Monotone	no
Affine	yes

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

परिभाषा

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

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

$P$	$\neg P$
True	False
False	True

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

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

संकेत

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

संकेत	प्लेनटेक्स्ट	शब्दोच्चारण
$\neg p$	¬p	not p
${\mathord {\sim }}p$	~p	not p
$-p$	-p	not p
Np		En p
$p'$	p'	p prime, p complement
${\overline {p}}$	̅p	p bar, Bar p
$!p$	!p	Bang p Not 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)$, और

$\mathrm{\neg <!--\; \neg \; -->}(P\wedge <!--\; \wedge \; -->Q)\equiv <!--\; \equiv \; -->(\mathrm{\neg <!--\; \neg \; -->}$