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

का वेन आरेख $P\nleftarrow Q$
(लाल क्षेत्र सत्य है)

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

परिभाषा

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

सत्यतालिका

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

$P$	$Q$	$P\nleftarrow Q$
True	True	False
True	False	False
False	True	True
False	False	False

नोटेशन

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

विकल्पों में शामिल हैं

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

गुण

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

प्राकृतिक भाषा

व्याकरणिक

उदाहरण,

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

अलंकारिक

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

बूलियन बीजगणित

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

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

${\textstyle {}\sim x}$ 1 0 x 0 1	और	y 1 1 1 0 0 1 ${\textstyle y_{\vee }x}$ 0 1 x	और	y 1 0 1 0 0 0 ${\textstyle y_{\wedge }x}$ 0 1 x	फिर $\scriptstyle {y\nleftarrow x}\!$ साधन	y 1 0 0 0 0 1 $\scriptstyle {y\nleftarrow x}\!$ 0 1 x
(नकार)		(समावेशी या)		(और)		(विपरीत गैर-निरूपण)

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

$\scriptstyle {x^{c}}\!$ 6 3 2 1 x 1 2 3 6	और	y 6 6 6 6 6 3 3 6 3 6 2 2 2 6 6 1 1 2 3 6 $\scriptstyle {y_{\vee }x}\!$ 1 2 3 6 x	और	y 6 1 2 3 6 3 1 1 3 3 2 1 2 1 2 1 1 1 1 1 $\scriptstyle {y_{\wedge }x}$ 1 2 3 6 x	फिर $\scriptstyle {y\nleftarrow x}\!$ साधन	y 6 1 1 1 1 3 1 2 1 2 2 1 1 3 3 1 1 2 3 6 $\scriptstyle {y\nleftarrow x}\!$ 1 2 3 6 x
(कोडिवाइजर 6)		(न्यूनतम समापवर्त्य)		(सबसे बड़ा सामान्य भाजक)		(x का सबसे बड़ा भाजक y के साथ सहअभाज्य है)

गुण

असंगत

$r\nleftarrow (q\nleftarrow p)=(r\nleftarrow q)\nleftarrow p$ अगर और केवल अगर $rp=0$ #NonAssociative|#s5 (दो-तत्व बूलियन बीजगणित में बाद की स्थिति को कम कर दिया गया है $r=0$ या $p=0$). इसलिए एक गैर-तुच्छ बूलियन बीजगणित में कन्वर्स नॉनइम्प्लिकेशन नॉनसोशिएटिव है।

$${\begin{aligned}(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{aligned}}$$

स्पष्टतः, यह साहचर्य है यदि और केवल यदि $rp=0$.

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

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

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

• 0 एक वाम तटस्थ तत्व है ($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.

Converse Nonimplication is noncommutative
Step	Make use of	Resulting in
s.1	Definition	$\scriptstyle {q{\tilde {\leftarrow }}p=q'p\,}\!$
s.2	Definition	$\scriptstyle {p{\tilde {\leftarrow }}q=p'q\,}\!$
s.3	s.1 s.2	$\scriptstyle {q{\tilde {\leftarrow }}p=p{\tilde {\leftarrow }}q\ \Leftrightarrow \ q'p=qp'\,}\!$
s.4		$\scriptstyle {q\,}\!$	$\scriptstyle {=\,}\!$	$\scriptstyle {q.1\,}\!$
s.5	s.4.right - expand Unit element		$\scriptstyle {=\,}\!$	$\scriptstyle {q.(p+p')\,}\!$
s.6	s.5.right - evaluate expression		$\scriptstyle {=\,}\!$	$\scriptstyle {qp+qp'\,}\!$
s.7	s.4.left = s.6.right	$\scriptstyle {q=qp+qp'\,}\!$
s.8		$\scriptstyle {q'p=qp'\,}\!$	$\scriptstyle {\Rightarrow \,}\!$	$\scriptstyle {qp+qp'=qp+q'p\,}\!$
s.9	s.8 - regroup common factors		$\scriptstyle {\Rightarrow \,}\!$	$\scriptstyle {q.(p+p')=(q+q').p\,}\!$
s.10	s.9 - join of complements equals unity		$\scriptstyle {\Rightarrow \,}\!$	$\scriptstyle {q.1=1.p\,}\!$
s.11	s.10.right - evaluate expression		$\scriptstyle {\Rightarrow \,}\!$	$\scriptstyle {q=p\,}\!$
s.12	s.8 s.11	$\scriptstyle {q'p=qp'\ \Rightarrow \ q=p\,}\!$
s.13		$\scriptstyle {q=p\ \Rightarrow \ q'p=qp'\,}\!$
s.14	s.12 s.13	$\scriptstyle {q=p\ \Leftrightarrow \ q'p=qp'\,}\!$
s.15	s.3 s.14	$\scriptstyle {q{\tilde {\leftarrow }}p=p{\tilde {\leftarrow }}q\ \Leftrightarrow \ q=p\,}\!$

Implication is the dual of Converse Nonimplication
Step	Make use of	Resulting in
s.1	Definition	$\scriptstyle {\operatorname {dual} (q{\tilde {\leftarrow }}p)\,}\!$	$\scriptstyle {=\,}\!$	$\scriptstyle {\operatorname {dual} (q'p)\,}\!$
s.2	s.1.right - .'s dual is +		$\scriptstyle {=\,}\!$	$\scriptstyle {q'+p\,}\!$
s.3	s.2.right - Involution complement		$\scriptstyle {=\,}\!$	$\scriptstyle {(q'+p)''\,}\!$
s.4	s.3.right - De Morgan's laws applied once		$\scriptstyle {=\,}\!$	$\scriptstyle {(qp')'\,}\!$
s.5	s.4.right - Commutative law		$\scriptstyle {=\,}\!$	$\scriptstyle {(p'q)'\,}\!$
s.6	s.5.right		$\scriptstyle {=\,}\!$	$\scriptstyle {(p{\tilde {\leftarrow }}q)'\,}\!$
s.7	s.6.right		$\scriptstyle {=\,}\!$	$\scriptstyle {p\leftarrow q\,}\!$
s.8	s.7.right		$\scriptstyle {=\,}\!$	$\scriptstyle {q\rightarrow p\,}\!$
s.9	s.1.left = s.8.right	$\scriptstyle {\operatorname {dual} (q{\tilde {\leftarrow }}p)=q\rightarrow p\,}\!$

कंप्यूटर विज्ञान

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

संदर्भ

• Knuth, Donald E. (2011). The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1 (1st ed.). Addison-Wesley Professional. ISBN 978-0-201-03804-0.

बाहरी संबंध

• Media related to व्युत्क्रम अनिहितार्थ at Wikimedia Commons