व्युत्क्रम अनिहितार्थ

तर्क में, विपरीत अनिहितीकरण एक तार्किक संयोजक है जो विपरीत निहितार्थ का निषेध है (समकक्ष रूप से, भौतिक सशर्त के रूपांतरण (तर्क) का निषेध)।

परिभाषा
उलटा गैर-निहितार्थ नोट किया गया है $$P \nleftarrow Q$$, या $$P \not \subset Q$$, और तार्किक रूप से इसके बराबर है $$\neg (P \leftarrow Q)$$ और $$\neg P \wedge Q$$.

सत्यतालिका
की सत्य तालिका $$ P \nleftarrow Q $$.

नोटेशन
उलटा गैर-निहितार्थ नोट किया गया है $p \nleftarrow q$, जो विपरीत निहितार्थ से बायां तीर है ($ \leftarrow$ ), एक झटके से नकार दिया गया ($/$).

विकल्पों में शामिल हैं
 * $p \not\subset q$, जो विपरीत निहितार्थ|विपरीत निहितार्थ को जोड़ता है $$\subset$$, एक झटके से नकार दिया गया ($/$).
 * $p \tilde{\leftarrow} q$, जो व्युत्क्रम निहितार्थ को जोड़ता है | व्युत्क्रम निहितार्थ का बायाँ तीर ($\leftarrow$ ) निषेध के साथ| निषेध की भावना ($\sim$ ).
 * एमपीक्यू, जोज़ेफ मारिया बोचेंस्की|बोचेंस्की संकेतन में

गुण
झूठ-संरक्षण: वह व्याख्या जिसके तहत सभी चरों को 'झूठा' का सत्य मान दिया जाता है, विपरीत गैर-निहितार्थ के परिणामस्वरूप 'झूठा' का सत्य मान उत्पन्न करता है

व्याकरणिक
उदाहरण,

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

अलंकारिक
Q का अर्थ P नहीं है।

बूलियन बीजगणित
 एक सामान्य बूलियन बीजगणित (संरचना) में व्युत्क्रम गैर-निहितार्थ को इस प्रकार परिभाषित किया गया है $q \nleftarrow p=q'p$.

 2-तत्व बूलियन बीजगणित का उदाहरण: 2 तत्व {0,1} जिसमें 0 शून्य और 1 एकता तत्व, ऑपरेटर हैं $\sim$ पूरक ऑपरेटर के रूप में, $\vee$  जॉइन ऑपरेटर के रूप में और $\wedge$  मीट ऑपरेटर के रूप में, प्रस्तावात्मक तर्क के बूलियन बीजगणित का निर्माण करें।

4-तत्व बूलियन बीजगणित का उदाहरण: 6 के 4 विभाजक {1,2,3,6} जिनमें 1 शून्य और 6 एकता तत्व, संचालक हैं $$\scriptstyle{ ^{c}}\!$$ (6 का कोडिवाइजर) पूरक ऑपरेटर के रूप में, $$\scriptstyle{_\vee}\!$$ (न्यूनतम समापवर्त्य) जॉइन ऑपरेटर के रूप में और $$\scriptstyle{_\wedge}\!$$ (सबसे बड़ा सामान्य भाजक) मीट ऑपरेटर के रूप में, एक बूलियन बीजगणित बनाएं।

असंगत
$$r \nleftarrow (q \nleftarrow p) = (r \nleftarrow q) \nleftarrow p$$ अगर और केवल अगर $$rp = 0$$ #NonAssociative|#s5 (दो-तत्व बूलियन बीजगणित में बाद की स्थिति को कम कर दिया गया है $$r = 0$$ या $$p=0$$). इसलिए एक गैर-तुच्छ बूलियन बीजगणित में कन्वर्स नॉनइम्प्लिकेशन नॉनसोशिएटिव है। $$\begin{align} (r \nleftarrow q) \nleftarrow p &= r'q \nleftarrow p & \text{(by definition)} \\ &= (r'q)'p & \text{(by definition)} \\ &= (r + q')p & \text{(De Morgan's laws)} \\ &= (r + r'q')p & \text{(Absorption law)} \\ &= rp + r'q'p \\ &= rp + r'(q \nleftarrow p) & \text{(by definition)} \\ &= rp + r \nleftarrow (q \nleftarrow p) & \text{(by definition)} \\ \end{align}$$ स्पष्टतः, यह साहचर्य है यदि और केवल यदि $$rp=0$$.

नॉन-कम्यूटेटिव

 * $$q \nleftarrow p=p \nleftarrow q$$ अगर और केवल अगर $$q = p$$ #नॉनकम्यूटेटिव|#s6. इसलिए कन्वर्स नॉनइम्प्लीकेशन नॉनकम्यूटेटिव है।

तटस्थ और अवशोषक तत्व

 * $1$ एक वाम तटस्थ तत्व है ($$0 \nleftarrow p=p$$) और एक सही अवशोषित तत्व ($${p \nleftarrow 0=0}$$).
 * $$1 \nleftarrow p=0$$, $$p \nleftarrow 1=p'$$, और $$p \nleftarrow p=0$$.
 * निहितार्थ $$q \rightarrow p$$ व्युत्क्रम अनिहितीकरण का द्वैत है $$q \nleftarrow p$$ #दोहरी|#s7.



कंप्यूटर विज्ञान
किसी डेटाबेस से तालिकाओं के सेट पर जॉइन (एसक्यूएल)#राइट आउटर जॉइन निष्पादित करते समय कंप्यूटर विज्ञान में कॉनवर्स नॉनइम्प्लिकेशन का एक उदाहरण पाया जा सकता है, यदि बाईं तालिका से जॉइन-कंडीशन से मेल नहीं खाने वाले रिकॉर्ड को बाहर रखा जा रहा है।